Sciweavers

1746 search results - page 158 / 350
» Residual for Component Specifications
Sort
View
WWW
2004
ACM
16 years 5 months ago
A storage and indexing framework for p2p systems
We present a modularized storage and indexing framework that cleanly separates the functional components of a P2P system, enabling us to tailor the P2P infrastructure to the speci...
Adina Crainiceanu, Prakash Linga, Ashwin Machanava...
ICSE
2003
IEEE-ACM
16 years 4 months ago
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
Jeffry T. Russell, Margarida F. Jacome
PERCOM
2007
ACM
16 years 4 months ago
Designing Ubiquitous Computing Systems for Sports Equipment
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
Matthias Kranz, Wolfgang Spiessl, Albrecht Schmidt
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
15 years 11 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
EUROGP
2003
Springer
259views Optimization» more  EUROGP 2003»
15 years 9 months ago
Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Cha...