8828 search results - page 156 / 1766 » Formal methods in practice |
121
click to vote
MPC
1998
Springer
15 years 8 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
135
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Often the deployed pan-tilt-zoom (PTZ) cameras undergo a pure pan or pure tilt rotation. This is a degenerate case for most of the PTZ camera calibration methods. That is, under t...
111
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
We propose a method for power optimization that considers glitch reduction by gate sizing based on the statistical estimation of glitch transitions. Our method reduces not only th...