250 search results - page 14 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
100
click to vote
SAFECOMP
1999
Springer
15 years 1 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
87
Voted
DSD
2009
IEEE
15 years 1 months ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
ASPDAC
2006
ACM
15 years 3 months ago
2006
ACM
— This paper presents an architecture and a synthesis method for programmable numerical function generators (NFGs) for trigonometric, logarithmic, square root, and reciprocal fun...