1183 search results - page 216 / 237 » Risk Management with Benchmarking |
VLSID
2004
IEEE
16 years 4 days ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
HPCA
2006
IEEE
16 years 4 days ago
2006
IEEE
Transactional memory (TM) simplifies parallel programming by guaranteeing that transactions appear to execute atomically and in isolation. Implementing these properties includes p...
107
click to vote
HPCA
2006
IEEE
16 years 4 days ago
2006
IEEE
Computer systems increasingly rely on dynamic, phasebased system management techniques, in which system hardware and software parameters may be altered or tuned at runtime for dif...
173
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
105
click to vote
CADE
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...