Sciweavers

4397 search results - page 604 / 880
» Relational Algebra Operations
Sort
View
VLSISP
2008
93views more  VLSISP 2008»
15 years 3 months ago
Performance and Energy Consumption Improvements in Microprocessor Systems Utilizing a Coprocessor Data-Path
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...
Michalis D. Galanis, Gregory Dimitroulakos, Costas...
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 3 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
APIN
2000
75views more  APIN 2000»
15 years 3 months ago
Context Knowledge Representation and Reasoning in the Context Interchange System
The Context Interchange Project presents a unique approach to the problem of semantic conflict resolution among multiple heterogeneous data sources. The system presents a semantic...
Stéphane Bressan, Cheng Hian Goh, Natalia L...
JSC
2000
68views more  JSC 2000»
15 years 3 months ago
New Structure Theorem for Subresultants
We give a new structure theorem for subresultants precising their gap structure and derive from it a new algorithm for computing them. If d is a bound on the degrees and a bound o...
Henri Lombardi, Marie-Françoise Roy, Mohab ...
JCISE
2002
148views more  JCISE 2002»
15 years 3 months ago
Hybrid Cellular-functional Modeling of Heterogeneous Objects
An approach to modeling heterogeneous objects as multidimensional point sets with multiple attributes (hypervolumes) is presented. Attributes given at each point represent object ...
Valery Adzhiev, Elena Kartasheva, Tosiyasu L. Kuni...