Sciweavers

2357 search results - page 260 / 472
» Computing Refactorings of Behavior Models
Sort
View
139
Voted
GECCO
2008
Springer
261views Optimization» more  GECCO 2008»
15 years 4 months ago
SSNNS -: a suite of tools to explore spiking neural networks
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
Heike Sichtig, J. David Schaffer, Craig B. Laramee
141
Voted
CAD
2000
Springer
15 years 3 months ago
Automatic generation of system-level dynamic equations for mechatronic systems
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
Antonio Diaz-Calderon, Christiaan J. J. Paredis, P...
IPPS
2008
IEEE
15 years 10 months ago
A wireless sensor network based closed-loop system for subsurface contaminant plume monitoring
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...
Qi Han, Anura P. Jayasumana, Tissa H. Illangasekar...
106
Voted
IPPS
2006
IEEE
15 years 9 months ago
A brokering framework for large-scale heterogeneous systems
In this paper we discuss the role of a broker in a market-oriented resource allocation model for largescale heterogeneous systems. The simplified model is based upon a three part...
Xin Bai, Ladislau Bölöni, Dan C. Marines...
140
Voted
CONCUR
2001
Springer
15 years 8 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala