Sciweavers

123 search results - page 6 / 25
» Abstracting out Byzantine Behavior
Sort
View
DAGSTUHL
2003
13 years 9 months ago
Evolution of Embodied Intelligence
Abstract. We provide an overview of the evolutionary approach to the emergence of artificial intelligence in embodied behavioral agents. This approach, also known as Evolutionary R...
Dario Floreano, Francesco Mondada, Andrés P...
EUROPAR
2003
Springer
14 years 25 days ago
KOJAK - A Tool Set for Automatic Performance Analysis of Parallel Programs
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
Bernd Mohr, Felix Wolf
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 1 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CONCUR
2008
Springer
13 years 9 months ago
Distributed Timed Automata with Independently Evolving Clocks
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan ...
ISCAS
2008
IEEE
106views Hardware» more  ISCAS 2008»
14 years 2 months ago
A quantitative evaluation of C-based synthesis on heterogeneous embedded systems design
C-based design techniques and methodologies have been proposed to tackle the complexity of heterogeneous embedded systems. The heterogeneity comes in the functionalities and the im...
Omar Hammami, Zoukun Wang, Virginie Fresse, Domini...