570 search results - page 59 / 114 » Robustness and Implementability of Timed Automata |
TACAS
1998
Springer
14 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
CDC
2010
IEEE
13 years 6 months ago
2010
IEEE
We consider a manufacturing plant that purchases raw materials for product assembly and then sells the final products to customers. There are M types of raw materials and K types o...
SIGCSE
2004
ACM
14 years 4 months ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
DDECS
2009
IEEE
14 years 5 months ago
2009
IEEE
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...