Graham Birtwistle – författare
Visar alla böcker från författaren Graham Birtwistle. Handla med fri frakt och snabb leverans.
9 produkter
IV Higher Order Workshop, Banff 1990
Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
E-bok, 2012
755 kr
Lägg i varukorg
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current …
Asynchronous Digital Circuit Design
Av Alan Davis, Graham Birtwistle
E-bok, 2013
755 kr
Lägg i varukorg
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods …
Current Trends in Hardware Verification and Automated Theorem Proving
Av P.A. Subrahmanyam, Graham Birtwistle
E-bok, 2012
1416 kr
Lägg i varukorg
This report describes the partially completed correctness proof of the Viper ''block model''. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth ''RSRE'') for use in …
Current Trends in Hardware Verification and Automated Theorem Proving
Av Graham Birtwistle, P.A. Subrahmanyam
Häftad, 2011
1098 kr
Lägg i varukorg
This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth 'RSRE') for use in safety-critical …
VLSI Specification, Verification and Synthesis
Av Graham Birtwistle, P.A. Subrahmanyam
Häftad, 2013
1098 kr
Lägg i varukorg
VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the …
VLSI Specification, Verification and Synthesis
Av P.A. Subrahmanyam, Graham Birtwistle
E-bok, 2012
1459 kr
Lägg i varukorg
VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the …
IV Higher Order Workshop, Banff 1990
Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
Häftad, 1991
569 kr
Lägg i varukorg
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current …
Asynchronous Digital Circuit Design
Av Graham Birtwistle, Alan Davis
Häftad, 1995
551 kr
Lägg i varukorg
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods …
Logics for Concurrency
Structure versus Automata
Av Faron Moller, Graham Birtwistle
Häftad, 1996
569 kr
Lägg i varukorg
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one …
