Sciweavers

8141 search results - page 1192 / 1629
» Higher Order Generalization
Sort
View
ITC
2000
IEEE
124views Hardware» more  ITC 2000»
15 years 11 months ago
Wrapper design for embedded core test
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external test modes. Together with a test access mechanism (T...
Yervant Zorian, Erik Jan Marinissen, Maurice Lousb...
SRDS
2000
IEEE
15 years 11 months ago
Optimistic Virtual Synchrony
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...
Jeremy B. Sussman, Idit Keidar, Keith Marzullo
224
Voted
VISUALIZATION
2000
IEEE
15 years 11 months ago
Volume illustration: non-photorealistic rendering of volume models
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...
David S. Ebert, Penny Rheingans
SIGOPSE
2000
ACM
15 years 11 months ago
An algorithm for stabilising multiple stores
The algorithm for stabilising multiple stores, which we present in this paper, was developed in the process of designing the global stability and resilience mechanism for Grasshopp...
Ewa Z. Bem, John Rosenberg
186
Voted
SIGSOFT
2000
ACM
15 years 11 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
« Prev « First page 1192 / 1629 Last » Next »