585 search results - page 46 / 117 » Better Abstractions for Timed Automata |
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
90
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Abstract - This paper presents a fast and accurate global routing algorithm, DpRouter, based on two efficient techniques: (1) dynamic pattern routing (Dpr), and (2) segment movemen...
99
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Most user cooperation protocols work in a timesharing manner, where each user transmits its own message and relays for the other at different segments of a time slot. We...
92
Voted
CEE
2010
15 years 19 days ago
2010
Abstract-- The paper examines the implementation of QuasiOrthogonal Space-Time-Frequency Codes (QOSTFCs) to increase data rates and error performance in recently proposed STFC Mult...
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...