Sciweavers

244 search results - page 3 / 49
» A Framework for Using Benefit Functions In Complex Real Time...
Sort
View
ICFEM
1997
Springer
13 years 9 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
SIMPAR
2010
110views Robotics» more  SIMPAR 2010»
13 years 3 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...
ETFA
2006
IEEE
13 years 11 months ago
A Framework for Fault Tolerant Real Time Systems Based on Reconfigurable FPGAs
♦ To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its ...
Manuel G. Gericota, Luís F. Lemos, Gustavo ...
RTCSA
2003
IEEE
13 years 10 months ago
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
Anders Wall, Johan Andersson, Jonas Neander, Chris...
ISORC
2003
IEEE
13 years 10 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...