20126 search results - page 158 / 4026 » Timed Transition Systems |
200
Voted
VEE
2012
ACM
13 years 11 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
101
click to vote
ASYNC
2002
IEEE
15 years 8 months ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
117
Voted
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
157
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— We propose low-complexity equalizers for Alamouti space-time coded orthogonal frequency-division multiplexing (OFDM) systems in time- and frequency-selective channels, ...
116
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...