Sciweavers

1081 search results - page 39 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
CODES
2008
IEEE
13 years 10 months ago
Application specific non-volatile primary memory for embedded systems
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...
Kwangyoon Lee, Alex Orailoglu
CCE
2006
13 years 8 months ago
Hierarchical multiscale model-based design of experiments, catalysts, and reactors for fuel processing
In this paper a hierarchical multiscale simulation framework is outlined and experimental data injection into this framework is discussed. Specifically, we discuss multiscale mode...
D. G. Vlachos, A. B. Mhadeshwar, N. S. Kaisare
JLP
2006
126views more  JLP 2006»
13 years 8 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
WOA
2000
13 years 9 months ago
HEMASL: A Flexible Language to Specify Heterogeneous Agents
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
Simone Marini, Maurizio Martelli, Viviana Mascardi...
IJRR
2006
95views more  IJRR 2006»
13 years 8 months ago
Experiments with a Large Heterogeneous Mobile Robot Team: Exploration, Mapping, Deployment and Detection
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
Andrew Howard, Lynne E. Parker, Gaurav S. Sukhatme