3130 search results - page 273 / 626 » Design Correctness of Digital Systems |
160
click to vote
SDL
2003
15 years 6 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
152
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
122
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
161
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
Hard-disk drive power consumption reduction methods focus mainly on increasing the amount of time the disk is in standby mode (disk spun down) by implementing aggressive data read...
126
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a real-time system that transforms your shadows on a floor into colorful visual media. This system is based on the effect of complementary color and multipro...