635 search results - page 43 / 127 » Path Optimization in Programs and Its Application to Debuggi... |
110
Voted
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
108
Voted
MICCAI
2003
Springer
16 years 3 months ago
2003
Springer
A general-purpose augmented reality apparatus was developed. The system uses rapidly scanned lasers to display information directly onto the patient using the patient as a ``proje...
116
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— The distribution of broadcast TV across large provider networks has become a highly topical subject as satellite distribution capacity exhausts and competitive pressures increa...
126
Voted
OOPSLA
2010
Springer
15 years 15 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
148
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Multicore processors have become ubiquitous in today’s systems, but exploiting the parallelism they offer remains difficult, especially for legacy application and applications ...