1253 search results - page 99 / 251 » order 2000 |
LICS
2000
IEEE
14 years 3 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...
MICRO
2000
IEEE
14 years 3 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...
MTDT
2000
IEEE
14 years 3 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...
PARELEC
2000
IEEE
14 years 3 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...
PG
2000
IEEE
14 years 3 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...