5180 search results - page 28 / 1036 » Concurrency, Time, and Constraints |
119
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
119
click to vote
COMCOM
1998
15 years 1 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
131
click to vote
VLDB
1991
ACM
15 years 5 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...
115
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
1 This paper presents a test scheduling approach for system-onchip production tests with peak-power constraints. An abort-onfirst-fail test approach is assumed, whereby the test is...
136
click to vote
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...