1253 search results - page 99 / 251 » order 2000 |
101
Voted
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
95
Voted
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
In this work we show that value prediction can be used to avoid the penalty of long wire delays by predicting the data that is communicated through these long wires and validating...
102
Voted
MTDT
2000
IEEE
15 years 5 months ago
2000
IEEE
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
104
Voted
PARELEC
2000
IEEE
15 years 5 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
97
Voted
PG
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a framework for the interactive simulation of surgical cuts such as being practiced in surgical treatment. Unlike most existing methods our framework is based on tetrah...