2756 search results - page 391 / 552 » Computation-Centric Memory Models |
132
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
144
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
140
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
125
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We analyze a series of alternative decomposition...
134
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
The batch least-absolute shrinkage and selection operator (Lasso) has well-documented merits for estimating sparse signals of interest emerging in various applications, where obse...