Sciweavers

527 search results - page 4 / 106
» Case Study: System Model of Crane and Embedded Control
Sort
View
151
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 9 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
124
Voted
CASES
2006
ACM
15 years 9 months ago
A case study of multi-threading in the embedded space
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
Greg Hoover, Forrest Brewer, Timothy Sherwood
87
Voted
CASES
2004
ACM
15 years 9 months ago
LNS architectures for embedded model predictive control processors
Jesus Garcia, Mark G. Arnold, Leonidas G. Bleris, ...
109
Voted
COORDINATION
1997
Springer
15 years 7 months ago
Modeling Railway Control Systems Using Graph Grammars: A Case Study
A. A. Holzbacher, M. Périn, Mario Südh...
138
Voted
ENTCS
2006
231views more  ENTCS 2006»
15 years 3 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson