4604 search results - page 659 / 921 » Concurrency in Synchronous Systems |
87
Voted
DAC
1999
ACM
15 years 5 months ago
1999
ACM
In this paper, we present a new method to the built-in selftestable data path synthesis based on integer linear programming (ILP). Our method performs system register assignment, ...
132
Voted
SAC
1999
ACM
15 years 5 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
110
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
FSTTCS
1998
Springer
15 years 5 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
129
Voted
PODC
1997
ACM
15 years 5 months ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...