109 search results - page 17 / 22 » On minimising automata with errors |
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
— In this contribution, we propose an adaptive Turbo Trellis Coded Modulation (TTCM) aided Distributed Space-Time Trellis Coding (STTC) scheme for cooperative communication over ...
OPODIS
2010
13 years 5 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
FORMATS
2003
Springer
14 years 28 days ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...