4520 search results - page 85 / 904 » Algebraic Techniques for Timed Systems |
122
click to vote
IJCSA
2007
15 years 1 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
155
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
141
click to vote
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
120
click to vote
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
108
click to vote
TCOM
2010
14 years 8 months ago
2010
Abstract--This paper proposes spectral efficient relayassisted transmit diversity techniques, i.e., space-time and space-frequency block codes (STBC/SFBC), for single carrier frequ...