162 search results - page 6 / 33 » Design Automation of Real-Life Asynchronous Devices and Syst... |
DAC
2001
ACM
14 years 8 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
NOSSDAV
2010
Springer
14 years 5 days ago
2010
Springer
Second Life (SL) is a virtual world where people interact and socialize through virtual avatars. Avatars behave similarly to their human counterparts in real life and naturally de...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
The use of CMOS nanometer technologies at 65 nm and below will pose serious challenges on the design of mixed-signal integrated systems in the very near future. Rising design comp...
POPL
2010
ACM
13 years 9 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...