10891 search results - page 428 / 2179 » Combining Model Reductions |
168
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We have investigated the adaptation of AI-based search techniques as topologyindependent fault-tolerant routing strategies on multiprocessor networks [9]. The results sho...
142
click to vote
POPL
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...
186
Voted
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
168
click to vote
IPPS
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a hybrid shared memory architecture which combines the scalability of a multistage interconnection network with the contention reduction benefits of coherent c...
177
click to vote
DFT
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a novel delay fault testing technique, which can be used as an alternative to the enhanced scan based delay fault testing, with significantly less design overh...