730 search results - page 82 / 146 » Developing a Foundation for Code Optimization |
MICRO
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
IPSN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...
SAC
2003
ACM
14 years 3 months ago
2003
ACM
Microelectronic manufacturing deals with the efficient coordination of manufacturing processes and owning enterprises along a value chain to provide microelectronic products to cu...
JAIR
2008
13 years 10 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...