65 search results - page 8 / 13 » Generating and measuring instances of hard semidefinite prog... |
SENSYS
2010
ACM
13 years 5 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
ISCA
2010
IEEE
14 years 15 days ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
CGO
2009
IEEE
13 years 11 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...