1321 search results - page 255 / 265 » Subtyping in Logical Form |
EDBT
1990
ACM
15 years 1 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Abstract-- SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to represent all the other equivalent nodes. This ...
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
111
click to vote
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...
109
click to vote
CF
2006
ACM
15 years 1 months ago
2006
ACM
Traditionally, cache coherence in large-scale shared-memory multiprocessors has been ensured by means of a distributed directory structure stored in main memory. In this way, the ...