10666 search results - page 1609 / 2134 » Quantum programming languages |
191
click to vote
IFIP
2004
Springer
16 years 8 days ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...
206
click to vote
DSN
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
178
click to vote
ERLANG
2003
ACM
16 years 5 days ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
176
click to vote
ERLANG
2003
ACM
16 years 5 days ago
2003
ACM
We present a user-oriented description of features and characteristics of the High Performance Erlang (HiPE) native code compiler, which nowadays is part of Erlang/OTP. In particu...
162
click to vote
SIGIR
2003
ACM
16 years 4 days ago
2003
ACM
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...