20573 search results - page 3806 / 4115 » The Computer's New Clothes |
144
click to vote
SPAA
1998
ACM
15 years 9 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
131
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
133
Voted
ICDCS
1997
IEEE
15 years 9 months ago
1997
IEEE
Conventional implementations of CORBA communication middleware incur significant overhead when used for performance-sensitive applications over high-speed networks. As gigabit ne...
135
click to vote
WG
1998
Springer
15 years 9 months ago
1998
Springer
In this work we introduce the class of graphs with bounded induced distance of order k, (BID(k) for short). A graph G belongs to BID(k) if the distance between any two nodes in ev...
132
click to vote
CVRMED
1997
Springer
15 years 9 months ago
1997
Springer
The majority of the available rigid registration measures are based on a 2-dimensional histogram of corresponding grey-values in the registered images. This paper shows that these ...