20126 search results - page 273 / 4026 » Timed Transition Systems |
162
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
146
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Synchronization is an important issue in orthogonal frequency-division multiplexing (OFDM) systems including symbol timing and carrier frequency offset (CFO) estimation....
149
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...
167
click to vote
RTCSA
2003
IEEE
15 years 10 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
120
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...