Computer Science (CS): Recent submissions
Now showing items 37-39 of 104
-
Keyword Join: Realizing Keyword Search in P2P-based Database Systems
(2005-01)In this paper, we present a P2P-based database sharing system that provides information sharing capabilities through keyword-based search techniques. Our system requires neither a global schema nor schema mappings between ... -
An Interpolative Analytical Cache Model with Application to Performance-Power Design Space Exploration
(2005-01)Caches are known to consume up to half of all system power in embedded processors. Co-optimizing performance and power of the cache subsystems is therefore an important step in the design of embedded systems, especially ... -
Incremental Verification of Timing Constraints for Real-Time Systems
(2005-01)Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ...
