1206 search results - page 232 / 242 » Concurrent Abstract Predicates |
ICCD
2005
IEEE
14 years 7 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
PDP
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract—As computing capabilities have increased, the coupling of computational models has become an increasingly viable and therefore important way of improving the physical ï¬...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
We show that recursive programs where variables range over ï¬nite domains can be effectively and efï¬ciently analyzed by describing the analysis algorithm using a formula in a ï...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Efï¬ciently locating information in large-scale distributed systems is a challenging problem to which Peer-to-Peer (P2P) Distributed Hash Tables (DHTs) can provide a hi...
DEXA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling...