4693 search results - page 820 / 939 » Verifying Hybrid Systems |
122
click to vote
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...
92
Voted
VLDB
1995
ACM
15 years 4 months ago
1995
ACM
Applications in finance and telecommunications (intelligent network, network management, mobile computing) cause renewed interest in distributed and replicated data management. Si...
SPIEVIP
2008
15 years 3 months ago
2008
In this work we propose a method for securing port facilities which uses a set of video cameras to automatically detect various vessel classes moving within buffer zones and off-l...
107
Voted
WSC
2007
15 years 3 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
96
Voted
ACSAC
2008
IEEE
15 years 2 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...