6800 search results - page 656 / 1360 » Testing with Functions as Specifications |
228
click to vote
FPGA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
174
click to vote
HOTDEP
2008
15 years 9 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
172
Voted
CARDIS
2008
Springer
15 years 9 months ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
152
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
Applications of complex variables and related manifolds appear throughout mathematics and science. Here we review a family of basic methods for applying visualization concepts to ...
209
click to vote
COMMA
2008
15 years 8 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...