"Verifiable Design of Asynchronous Software"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Asynchronous Circuit Design	Chris J. Myers PhD,	2001	John Wiley & Sons
Asynchronous Digital Circuit Design	Graham Birtwistle; Alan Davis	1995	Springer London
Verifiable programming	Ole-Johan Dahl	1992	Prentice Hall
Principles of Asynchronous Circuit Design: A Systems Perspective	Jens Sparsø; Steve Furber	2001	Springer US
Design of totally self-checking asynchronous sequential machines.	Daniel Avery Pitt	1973	[Dept. of Computer Science, University of Illinois at Urbana-Champaign
Asynchronous Circuit Design for VLSI Signal Processing	Teresa H. Meng; Sharad Malik	1994	Springer US
Software Design	Budgen, David	2003;2007	Addison Wesley Publishing Company; Pearson Education UK
Software design	D. Budgen	1994	Addison-Wesley Pub. Co.
Foundations of software design	J. F. Leathrum	1983	Reston Pub. Co.
Verifiable Composition of Signature and Encryption: A Comprehensive Study of the Design Paradigms	Laila El Aimani	1st ed. 2017	Springer International Publishing
Software Design Methodology	Hong Zhu	2005	Butterworth-Heinemann
6502 software design	Leo J. Scanlon	1980	H. W. Sams
A Philosophy of Software Design	Ousterhout, John K	2018;2019	Yaknyam Press
Asynchronous Circuits	Janusz A. Brzozowski; Carl-Johan H. Seger	1995	Springer New York
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog	Lionel Bening; Harry D. Foster	2000	Springer US
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog	Lionel Bening; Harry D. Foster	2nd ed. 2001	Springer US
Theory of asynchronous circuits	David E. Muller	1955	University of Illinois, Graduate College, Digital Computer Laboratory
Hardware/Software Co-Design	Giovanni DeMicheli; M.G. Sami	1996	Springer Netherlands
Aufgabenangemessenes Design flexibler Software	Volker Hornung	1991	Springer Berlin Heidelberg
Software Design – Cognitive Aspect	Francoise Detienne	2002	Springer London
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Verifiable Design of Asynchronous Software	Prakash Chandrasekaran; Christopher L. Conway; Joseph M. Joy; Sriram K. Rajamani	Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R& D Workshop, Bangalore, India, January 2007	S. Ramesh; P. Sampath	2007	Springer Netherlands
Asynchronous Verifiable Information Dispersal	Christian Cachin; Stefano Tessaro	Distributed Computing: 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings	Pierre Fraigniaud	2005	Springer Berlin Heidelberg
Asynchronous Software		Software Applications Concepts Methodologies Tools and Applications	Tiako, Pierre F.	2009	Information Science Reference
Asynchronous Design	John Bainbridge	Asynchronous System-on-Chip Interconnect	John Bainbridge	2002	Springer London
Asynchronous Design	S. B. Furber	Low Power Design in Deep Submicron Electronics	W. Nebel; Jean Mermet	1997	Springer US
Asynchronous Design	Clive ″Max″ Maxfield	Designus Maximus Unleashed	Clive ″Max″ Maxfield	1998	Newnes
Asynchronous Design		Design Automation of Real-Life Asynchronous Devices and Systems (Foundations and Trends(R) in Electronic Design Automation)	Alexander Taubin, Jordi Cortadella, Luciano Lavagno	2007	Now Publishers Inc
Principles of Verifiable RTL Design		Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog	Lionel Bening; Harry D. Foster	2000	Springer US
Principles of Verifiable RTL Design		Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog	Lionel Bening; Harry D. Foster	2nd ed. 2001	Springer US
Software Verification and Verifiable Witnesses	Dirk Beyer	Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings	Christel Baier; Cesare Tinelli	2015	Springer Berlin Heidelberg
Design of Asynchronous Circuits	Janusz A. Brzozowski; Scott Hauck; Carl-Johan H. Seger	Asynchronous Circuits	Janusz A. Brzozowski; Carl-Johan H. Seger	1995	Springer New York
Design of asynchronous circuits	D. Lewin; D. Protheroe	Design of Logic Systems	DAVID PROTHEROE DOUGLAS LEWIN	2nd ed. 1992	Springer US
Asynchronous Design Flows		Design Automation of Real-Life Asynchronous Devices and Systems (Foundations and Trends(R) in Electronic Design Automation)	Alexander Taubin, Jordi Cortadella, Luciano Lavagno	2007	Now Publishers Inc
1091 Asynchronous Design		Digital Systems Design Using VHDL 3rd Edition	Charles H. Roth, Lizy Kurian John	2018	Cengage Learning
CAIS: collaborative asynchronous inspection of software	Vahid Mashayekhi; Chris Feuller; ; John Riedl	SIGSOFT '94: proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering: New Orleans, Louisiana, USA, December 6-9, 1994	ACM SIGSOFT Symposium on the Foundations of Software Engineering (2nd 1994 New Orleans, La.)	1994	ACM Press
Design of Asynchronous Parallel Architectures	Teresa H.-Y. Meng	Parallel Algorithms and Architectures for DSP Applications	Magdy A. Bayoumi	1991	Springer US
133 Design of Asynchronous Circuits		Digital System Design with Systemverilog (Paperback) (Prentice Hall PTR Signal Integrity Library)	Mark Zwolinski	2016	Prentice Hall
133 Design of Asynchronous Circuits		Digital system design with SystemVerilog	Zwoliński, Mark	2009;2010	Prentice Hall
Design of asynchronous sequential circuits		Digital system design with VHDL	Zwoliński, Mark	2004;2010	Pearson; Prentice-Hall
High-Level Asynchronous Software Systems	Geoffrey C. Fox; Roy D. Williams; Paul C. Messina	Parallel Computing Works!	Geoffrey C. Fox; Roy D. Williams and Paul C. Messina	1994	Morgan Kaufmann
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verifiable Design of Asynchronous Software" - similar Books and Chapters