25 search results - page 5 / 5 » A Model Complete Theory of Valued D-Fields |
DAC
1998
ACM
14 years 6 months ago
1998
ACM
In this paper we present a statistical method for estimating the maximum power consumption in VLSI circuits. The method is based on the theory of extreme order statistics applied ...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
ICDE
2010
IEEE
13 years 5 months ago
2010
IEEE
ā Database Management Systems (DBMSs) are often required to simultaneously process multiple diverse workloads while enforcing business policies that govern workload performance. ...
JAR
2007
13 years 5 months ago
2007
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
CTCS
1989
Springer
13 years 9 months ago
1989
Springer
We introduce the notion of a candidate for āmultiple valued universal constructionsā and deļ¬ne stable functors (which generalise functors with left adjoints) in terms of fac...