חיפוש חיפוש תמונות מפות Play YouTube חדשות Gmail Drive עוד »
כניסה
ספרים ספרים
" In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, Apr. "
Asynchronous Circuit Design - עמוד 384
מאת Chris J. Myers - 2001 - 424 דפים
תצוגה מקדימה מוגבלת - מידע על ספר זה

Lectures on Petri Nets II: Applications: Advances in Petri Nets

Wolfgang Reisig, Grzegorz Rozenberg - 1998 - 942 דפים
...Hulgaard and Steven M. Burns. Bounded delay timing analysis of a class of CSP programs with choice. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 2-11, November 1994. 45. R. J&niCki and M. Koutny. On equivalent execution semantics of concurrent...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Computer Aided Verification: 10th International Conference, CAV'98 ..., כרך 10

Alan J. Hu - 1998 - 568 דפים
...W. Belluomini and CJ Myers. Efficient timing analysis algorithms for timed state space exploration. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, April 1997. 18. W. Belluomini and CJ Myers. Timed event/level structures....
תצוגה מקדימה מוגבלת - מידע על ספר זה

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm ...

Reiner W. Hartenstein, Andres Keevallik - 1998 - 808 דפים
...Eng., Stanford University, October 1995. 9. Ken Stevens, Ran Ginosar, and Shai Rotem. Relative timing. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'99), Barcelona, Spain, pages 208-218, April 1999. 10. http://www.chips.ibm.com/techlib/products/asics/databooks....
תצוגה מקדימה מוגבלת - מידע על ספר זה

Hardware Design and Petri Nets

Alex Yakovlev, Alexandre Yakovlev, Luis Gomes, Luciano Lavagno - 2000 - 344 דפים
...Beerel, PA (1999). Bounding average time separation of events in stochastic timed Petri nets with choice. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC). [32] Yakovlev, A. and Koelmans, AM (1998). Petri nets and digital hardward design. In Lectures...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Principles of Asynchronous Circuit Design: A Systems Perspective

Jens Sparsø, Stephen Bo Furber - 2001 - 372 דפים
...1997. [51] DA Gilbert and JD Garside. A result forwarding mechanism for asynchronous pipelined systems. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (Async'97), pages 2-11. IEEE Computer Society Press, April 1997. [53] LA Glasser and DW Dobbeipuhl....
תצוגה מקדימה מוגבלת - מידע על ספר זה

Logic Synthesis and Verification

Soha Hassoun, Tsutomu Sasao - 2001 - 474 דפים
...Computer-Aided Design, vol. l6:l2, pp. l5l4-l52l, Dec. l997. [47] SM Nowick. KY Yun, PA Beerel. and AE Dooply. "Speculative completion for the design of high-performance asynchronous dynamic adders." in Proc. lEEE lnt. Symp. on Advanced Research in Asynchronous Circuits and Systems, pp. 2 l 0-223. lEEE Computer...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Logic Synthesis for Asynchronous Controllers and Interfaces: With 146 Figures

Jordi Cortadella - 2002 - 292 דפים
...pp. 64-75 3. AJ Martin: Formal Methods in System Design 1(1), 119-137 (1992) 4. SM Nowick, KY Yun, PA Beerel: "Speculative completion for the design...Advanced Research in Asynchronous Circuits and Systems (IEEE Computer Society Press, 1997), pp. 210 223 5. SH Unger: Asynchronous Sequential Switching Circuits...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Design and Analysis of Distributed Embedded Systems: IFIP 17th World ...

Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg - 2002 - 306 דפים
...November, 1994 [5] J. Tiemo, R. Manohar, M. Martin, "Energy and entropy measures for low power design". In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, IEEE Computer Society Press, Marz, 1996 [6] PA Beerel, C.-T. Hsieh, S. Wadekar, "Estimation of energy...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Communicating Sequential Processes. The First 25 Years: Symposium on the ...

Ali E. Abdallah - 2005 - 335 דפים
...Communications of the ACM 32 (1989) 720-738 34. Peeters, A., van Berkel, K.: Synchronous handshake circuits. In: Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, IEEE Computer Society Press (2001) 86-95 35. Page, I., Luk, W.: Compiling occam into FPGAs. In Moore,...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th ...

Timo D. H?m?l?inen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis - 2005 - 489 דפים
...K., Kol, R., Dike, C., Roncken, M., Agapiev, B.: RAPPiD: An Asynchronous Instruction Length Decoder. In: Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. (1999) 60-70 14. Back, RJ, von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer-...
תצוגה מקדימה מוגבלת - מידע על ספר זה




  1. הספרייה שלי
  2. עזרה
  3. חיפוש מתקדם של ספרים