212 search results - page 6 / 43 » Rapid Abstract Control Model for Signal Processing Implement... |
HYBRID
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
RSP
1999
IEEE
15 years 3 months ago
1999
IEEE
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
115
click to vote
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
104
click to vote
CAV
1998
Springer
15 years 3 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
FSTTCS
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...