440 search results - page 18 / 88 » A challenge for atomicity verification |
VLSID
2009
IEEE
14 years 8 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
VLSID
2006
IEEE
14 years 7 months ago
2006
IEEE
SoC design methodologies are under constant revision due to adoption of fast shrinking process technologies at nanometer levels. Nanometer process geometries exhibit new complex d...
HUC
2010
Springer
13 years 6 months ago
2010
Springer
This workshop promotes ubiquitous computing research in authentic urban setting, with real users and with sufficient scale and time span. We first motivate why such research is im...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
IJEH
2008
13 years 7 months ago
2008
: South Central Texas emergency planners have organised a regional Personal Identity Verification (PIV) project for hospital and emergency workers. This paper describes the develop...