974 search results - page 141 / 195 » Hardware Synthesis from Term Rewriting Systems |
EDCC
2006
Springer
14 years 1 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
COMGEO
2010
ACM
13 years 10 months ago
2010
ACM
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
— The unscented Kalman filter (UKF) has recently been proposed for filtering noisy chaotic signals. Though computationally advantageous, the UKF has not been thoroughly analyze...