1178 search results - page 145 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
142
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Search results generated by searchable databases are served dynamically and far larger than the static documents on the Web. These results pages have been referred to as the Deep ...
103
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we address the complex problem of rapid modeling
of large-scale areas and present a novel approach for the automatic
reconstruction of cities from remote sensor da...
126
Voted
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
We present an all-optical approach to constructing data networks on chip that combines the following key features: (1) Wavelengthbased routing, where the route followed by a packe...