655 search results - page 6 / 131 » Coinduction in Concurrent Timed Systems |
TCS
2008
13 years 9 months ago
2008
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
ICEIS
2003
IEEE
14 years 3 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
RTSS
1990
IEEE
14 years 1 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...
VLDB
1991
ACM
14 years 1 months ago
1991
ACM
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...