6020 search results - page 1173 / 1204 » A New Approach to Model Counting |
177
click to vote
PODC
2006
ACM
15 years 10 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
139
click to vote
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
Bids submitted in auctions are usually treated as enforceable commitments in most bidding and auction theory literature. In reality bidders often withdraw winning bids before the ...
139
click to vote
STORAGESS
2005
ACM
15 years 9 months ago
2005
ACM
Recently, the Network-Attached Secure Disk (NASD) model has become a more widely used technique for constructing large-scale storage systems. However, the security system proposed...
140
click to vote
DMSN
2004
ACM
15 years 9 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
148
click to vote
ICIAR
2004
Springer
15 years 9 months ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...