Sciweavers

794 search results - page 12 / 159
» Adopting a Software Component Model in Real-Time Systems Dev...
Sort
View
SIMPAR
2010
110views Robotics» more  SIMPAR 2010»
14 years 10 months ago
Improving a Robotics Framework with Real-Time and High-Performance Features
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
Jesús Martínez, Adrián Romero...
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 1 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
HASE
1997
IEEE
15 years 3 months ago
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
Monica Brockmeyer, Farnam Jahanian, Elly Winner, C...
ICANN
2005
Springer
15 years 5 months ago
A Hardware/Software Framework for Real-Time Spiking Systems
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
Matthias Oster, Adrian M. Whatley, Shih-Chii Liu, ...
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
15 years 3 months ago
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
Joel Huselius, Johan Kraft, Hans Hansson, Sasikuma...