37 search results - page 2 / 8 » CoDeL: Automatically Synthesizing Network Interface Controll... |
HYBRID
1995
Springer
13 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
JNCA
2007
13 years 4 months ago
2007
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...
AHS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present a new approach for automatic synthesis of fault detection modules for autonomous mobile robots. The method relies on the fact that hardware faults typica...
PIMRC
2010
IEEE
13 years 2 months ago
2010
IEEE
Wireless mesh networks (WMNs) are comprised of nodes with multiple radio interfaces and provide broadband residential internet access or connectivity to temporal events. Our goal i...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...