Sciweavers

11172 search results - page 823 / 2235
» Testing Physical Systems
Sort
View
ICDE
2007
IEEE
116views Database» more  ICDE 2007»
16 years 2 months ago
On-Line Index Selection for Shifting Workloads
This paper introduces COLT (Continuous On-Line Tuning), a novel framework that continuously monitors the workload of a database system and enriches the existing physical design wi...
Karl Schnaitter, Serge Abiteboul, Tova Milo, Neokl...
AHS
2006
IEEE
142views Hardware» more  AHS 2006»
16 years 1 months ago
On-Chip Evolution Using a Soft Processor Core Applied to Image Recognition
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...
Kyrre Glette, Jim Torresen, Moritoshi Yasunaga, Yo...
190
Voted
MEMOCODE
2006
IEEE
16 years 1 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
ISORC
2005
IEEE
16 years 1 months ago
An Integrated Architecture for Future Car Generations
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
Philipp Peti, Roman Obermaisser, Fulvio Tagliabo, ...
240
Voted
IWDC
2005
Springer
117views Communications» more  IWDC 2005»
16 years 1 months ago
Oasis: A Hierarchical EMST Based P2P Network
Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems and ...
Pankaj Ghanshani, Tarun Bansal