387 search results - page 56 / 78 » A generic topology library |
SAS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
CODES
1999
IEEE
14 years 3 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
KBSE
1994
IEEE
14 years 3 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
We show how to implement an arbitrary two-qubit unitary operation using any of several quantum gate libraries with small a priori upper bounds on gate counts. In analogy to librar...
EKAW
2000
Springer
14 years 2 months ago
2000
Springer
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...