139 search results - page 28 / 28 » Modeling and Validating Distributed Embedded Real-Time Syste... |
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
AAAI
2006
13 years 6 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
DAC
2003
ACM
13 years 10 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...