Sciweavers

1742 search results - page 201 / 349
» Embedded MPLS Architecture
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
14 years 2 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
RTCSA
1999
IEEE
14 years 1 months ago
Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...
Pascal Chevochot, Isabelle Puaut
RTAS
1998
IEEE
14 years 1 months ago
Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations
Windows NT was not designed as a real-time operating system, but market forces and the acceptance of NT in industrial applications have generated a need for achieving real-time fu...
Krithi Ramamritham, Chia Shen, Oscar Gonzál...
HPCA
1996
IEEE
14 years 1 months ago
Co-Scheduling Hardware and Software Pipelines
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded process...
Ramaswamy Govindarajan, Erik R. Altman, Guang R. G...
ISARCS
2010
188views Hardware» more  ISARCS 2010»
14 years 1 months ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler