| 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... | |
| 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.... | |
| 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.... | |
| 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... | |
| 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.... | |
| 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... | |
| 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... | |
| 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... | |
| 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,... | |
| 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-... | |
| |