196 search results - page 40 / 40 » Model Checking Safety Properties of Servo-Loop Control Syste... |
132
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...