募捐 9月15日2024 – 10月1日2024 关于筹款

Hardware Support of Parallel Asynchronous Processes

Main
Computers - Lectures, monographs
Hardware Support of Parallel...

Hardware Support of Parallel Asynchronous Processes

Varshavsky, V. I. (ed.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Lectures, monographs

年:

1987

出版社:

Helsinki University of Technology

语言:

english

页:

235

ISBN 10:

9517542593

ISBN 13:

9789517542593

系列:

Research Report

文件:

PDF, 17.04 MB

IPFS:

,

english, 1987

线上阅读

正在转换

转换为失败

您可能会感兴趣

Glen G. Langdon, Jr. (Auth.) — Logic Design. A Review Of Theory And Practice

Mika M. Nystrom, Alain Martin — Asynchronous Pulse Logic

Michael Yoeli, Rakefet Kol — Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

Zvi Kohavi, Niraj K. Jha — Switching and Finite Automata Theory

Zvi Kohavi, Niraj K. Jha — Switching and Finite Automata Theory

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis in Distributed Systems

Janusz A. Brzozowski, Carl-Johan H. Seger (auth.) — Asynchronous Circuits

Teresa H. Meng, Sharad Malik (auth.), Teresa H. Meng, Sharad Malik (eds.) — Asynchronous Circuit Design for VLSI Signal Processing

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis for Distributed Systems

Gianfranco Ciardo, Ekkart Kindler (eds.) — Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

Axel Legay, Marius Bozga (eds.) — Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg — Concurrency and Hardware Design

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.) — Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.) — Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Rajeev Alur (auth.), Farn Wang (eds.) — Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.) — Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Susanna Donatelli (auth.), José-Manuel Colom, Maciej Koutny (eds.) — Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings

Pravin Varaiya (auth.), Susanna Donatelli, Jetty Kleijn (eds.) — Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Gianfranco Balbo (auth.), K. Jensen (eds.) — Application and Theory of Petri Nets 1992: 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings

F. Erich Marschner (auth.), Orna Grumberg (eds.) — Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Pravin Varaiya (auth.), Susanna Donatelli, Jetty Kleijn (eds.) — Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev (auth.), Mogens Nielsen, Dan Simpson (eds.) — Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.) — Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Urszula Stańczyk, Bolesław Pochopień, Krzysztof Cyran — Theory of logic circuits

Victor I. Varshavsky — Circuits insensitive to delays in transistors and wires

Guanjun Liu — Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

关键词