2005 search results - page 351 / 401 » Tracking with general regression |
110
Voted
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
Decreasing hardware reliability is expected to impede the exploitation of increasing integration projected by Moore's Law. There is much ongoing research on efficient fault t...
214
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
218
Voted
POPL
2004
ACM
16 years 24 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
124
click to vote
EDBT
2006
ACM
16 years 18 days ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
110
Voted
ICFP
2008
ACM
16 years 13 days ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...