204 search results - page 10 / 41 » Abstract Simulators for the DSDE Formalism |
142
click to vote
FAABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
125
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
140
click to vote
ISQED
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
101
Voted
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
161
click to vote
COMPENG
2010
15 years 8 months ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...