5180 search results - page 98 / 1036 » Concurrency, Time, and Constraints |
165
click to vote
MASCOTS
2010
15 years 4 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
182
click to vote
IS
2002
15 years 6 months ago
2002
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
174
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
163
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
154
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
Imitating successful behavior is a natural and frequently applied approach to trust in when facing scenarios for which we have little or no experience upon which we can base our d...