854 search results - page 159 / 171 » Addressing Dynamic Issues of Program Model Checking |
ICPP
2008
IEEE
15 years 6 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...
BTW
2007
Springer
15 years 5 months ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
90
Voted
ISORC
2006
IEEE
15 years 5 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
132
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
179
click to vote
ASPLOS
2009
ACM
16 years 9 days ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...