972 search results - page 68 / 195 » Reasoning with Conditional Time-Intervals |
PLDI
2010
ACM
14 years 24 days ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Skin detection or segmentation is employed in many tasks related to the detection and tracking of humans and human-body parts. However, skin detection is not robust enough for dea...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
LORI
2009
Springer
14 years 2 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...