Sciweavers

196 search results - page 40 / 40
» Model Checking Safety Properties of Servo-Loop Control Syste...
Sort
View
IPPS
2006
IEEE
14 years 29 days ago
Analysis of checksum-based execution schemes for pipelined processors
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
Bernhard Fechner