חיפוש חיפוש תמונות מפות YouTube חדשות Gmail Drive יומן עוד »
כניסה
ספרים ספרים 1 - 10 מתוך 12 עבור In Proc. International Symposium on Advanced Research in Asynchronous Circuits and....
" In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, Apr. "
Principles of Asynchronous Circuit Design: A Systems Perspective - עמוד 328
נערך על ידי - 2001 - 337 דפים
תצוגה מקדימה מוגבלת - מידע על ספר זה

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

Wolfgang Reisig, Grzegorz Rozenberg - 1998 - 487 דפים
...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, University of British Columbia. Dept. of Computer Science, University of British Columbia. Center for Integrated Computer Systems Research - 1998 - 552 דפים
...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 - 533 דפים
...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, Luis Gomes, Luciano Lavagno - 2000 - 331 דפים
...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...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Logic Synthesis and Verification

Soha Hassoun, Tsutomu Sasao - 2001 - 454 דפים
...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, M. Kishinevsky, A. Kondratyev, Luciano Lavagno, Alex Yakovlev - 2002 - 273 דפים
...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 - 286 דפים
...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...
תצוגה מקדימה מוגבלת - מידע על ספר זה

Asynchronous Circuit Design

Chris J. Myers - 2001 - 404 דפים
...Technology, 1991. 66. SM Burns. General condition for the decomposition of state holding elements. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, Los Alamitos, CA, March 1996. 67. SM Burns and AJ Martin. Syntax-directed...
תצוגה מקדימה מוגבלת - מידע על ספר זה

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

Ali E. Abdallah - 2005 - 320 דפים
...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 - 476 דפים
...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. חיפוש מתקדם של ספרים