Sciweavers

11172 search results - page 480 / 2235
» Testing Physical Systems
Sort
View
DFT
2003
IEEE
154views VLSI» more  DFT 2003»
16 years 7 days ago
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
Ying Zhang, Krishnendu Chakrabarty
SRDS
1997
IEEE
15 years 11 months ago
Comparing Operating Systems Using Robustness Benchmarks
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
Philip J. Koopman Jr., John Sung, Christopher P. D...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
16 years 1 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
FUIN
2002
80views more  FUIN 2002»
15 years 6 months ago
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
Joaquin Aguado, Tudor Balanescu, Anthony J. Cowlin...
ICDAR
2009
IEEE
16 years 1 months ago
How to Improve a Handwriting Recognition System
The recognition of handwritten characters, words, and text arouses great interest today. To develop the best working system is subject of many papers published. With this paper, m...
Haikal El Abed, Volker Märgner