2595 search results - page 187 / 519 » Modes in Asynchronous Systems |
140
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
122
Voted
KI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
155
Voted
TIME
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
127
Voted
USENIX
1993
15 years 6 months ago
1993
We present the motivation, design, implementation, and performance evaluation of a UNIX kernel mechanism capable of establishing fast in-kernel data pathways between I/O objects. ...
155
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we introduce the concept of witness anonymity for peer-to-peer systems. Witness anonymity combines the seemingly conflicting requirements of anonymity (for honest p...