Asynchronous Digital Circuit Design /
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 whic...
| Main Author: | Birtwistle, G. M. (Graham M.) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Davis, Alan |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1995.
|
| Series: | Workshops in computing.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
by: Birtwistle, G. M. (Graham M.)
Published: (1991)
by: Birtwistle, G. M. (Graham M.)
Published: (1991)
Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)
4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /
by: Morris, Joseph M.
Published: (1991)
by: Morris, Joseph M.
Published: (1991)
Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)
by: Hammond, Kevin
Published: (1995)
Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)
by: Bicarregui, J. C.
Published: (1998)
Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)
by: Denvir, Tim
Published: (1992)
5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)
by: Jones, Cliff B.
Published: (1992)
Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)
by: Burn, Geoffrey
Published: (1993)
Mural: A Formal Development Support System /
by: Jones, C. B.
Published: (1991)
by: Jones, C. B.
Published: (1991)
Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)
by: Nissanke, Nimal
Published: (1999)
Analysis and Design of Information Systems /
by: Langer, Arthur M.
Published: (2001)
by: Langer, Arthur M.
Published: (2001)
JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)
by: Dudman, K. E.
Published: (1996)
High-Integrity System Specification and Design /
by: Bowen, Jonathan P.
Published: (1999)
by: Bowen, Jonathan P.
Published: (1999)
The Book of L /
by: Rozenberg, G.
Published: (1986)
by: Rozenberg, G.
Published: (1986)
Software Re-use, Utrecht 1989 : Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands /
by: Dusink, Liesbeth M.
Published: (1991)
by: Dusink, Liesbeth M.
Published: (1991)
Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)
by: Mössenböck, Hanspeter
Published: (1995)
APL2 in Depth /
by: Thomson, Norman D.
Published: (1995)
by: Thomson, Norman D.
Published: (1995)
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development /
by: Reiss, Steven P.
Published: (1995)
by: Reiss, Steven P.
Published: (1995)
Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems /
by: Fussell, Donald S.
Published: (1995)
by: Fussell, Donald S.
Published: (1995)
Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1995)
by: Redmill, Felix
Published: (1995)
A Programming Approach to Computability /
by: Kfoury, A. J.
Published: (1982)
by: Kfoury, A. J.
Published: (1982)
Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)
by: Rosenberg, John
Published: (1990)
Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)
by: Gregory, Keith D.
Published: (1992)
Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)
by: Blaschek, Günther
Published: (1990)
Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
by: Redmill, Felix
Published: (2001)
by: Redmill, Felix
Published: (2001)
Modula-2 : An Introduction /
by: Thalmann, Daniel
Published: (1985)
by: Thalmann, Daniel
Published: (1985)
Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)
by: Broy, Manfred
Published: (2002)
The New User's Guide to the Sun Workstation /
by: Russo, Michael
Published: (1991)
by: Russo, Michael
Published: (1991)
The NeWS Book : an Introduction to the Network/Extensible Window System /
by: Gosling, James, 1955-
Published: (1989)
by: Gosling, James, 1955-
Published: (1989)
Using the STL : the C++ Standard Template Library /
by: Robson, Robert
Published: (2000)
by: Robson, Robert
Published: (2000)
Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)
by: Davis, Kei
Published: (1990)
Software Architectures and Component Technology /
by: Akşit, Mehmet
Published: (2002)
by: Akşit, Mehmet
Published: (2002)
Visual Database Systems 4 (VDB4) : IFIP TC2 /
by: Ioannidis, Yannis
Published: (1998)
by: Ioannidis, Yannis
Published: (1998)
Approaches to Prototyping /
by: Budde, Reinhard
Published: (1984)
by: Budde, Reinhard
Published: (1984)
Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)
by: Blaschek, Günther
Published: (1994)
Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)
by: Shaw, Roger
Published: (1997)
Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)
by: Launchbury, John
Published: (1993)
Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
by: Gritzalis, Dimitris
Published: (1997)
by: Gritzalis, Dimitris
Published: (1997)
Empirical Foundations of Information and Software Science III /
by: Rasmussen, Jens
Published: (1987)
by: Rasmussen, Jens
Published: (1987)
The Modula-2 Software Component Library /
by: Lins, C. (Charles)
Published: (1989)
by: Lins, C. (Charles)
Published: (1989)