3820 search results - page 538 / 764 » Bounded Model Debugging |
131
click to vote
ECRTS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...
112
click to vote
IEEEPACT
1998
IEEE
15 years 7 months ago
1998
IEEE
In order to achieve practical efficient execution on a parallel architecture, a knowledge of the data dependencies related to the application appears as the key point for building...
130
click to vote
EUROCRYPT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
131
click to vote
PODC
1997
ACM
15 years 7 months ago
1997
ACM
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...
145
click to vote
CSR
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new model of restricted branching programs specific to solving GEN problems, which we call incremental branching programs. We show that syntactic incremental branchin...