7557 search results - page 1430 / 1512 » Modeling Timed Concurrent Systems |
117
click to vote
PODC
2012
ACM
13 years 3 months ago
2012
ACM
Failure detectors — oracles that provide information about process crashes — are an important ion for crash tolerance in distributed systems. Although current failure-detector...
120
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
123
click to vote
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
139
click to vote
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
117
click to vote
EUROSYS
2009
ACM
15 years 10 months ago
2009
ACM
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...