13101 search results - page 383 / 2621 » The design and implementation of microdrivers |
200
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...
152
click to vote
SIGCOMM
1999
ACM
15 years 11 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
148
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
149
click to vote
ISCAS
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We...
181
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...