9842 search results - page 1593 / 1969 » Compositional timing analysis |
123
click to vote
GLVLSI
2003
IEEE
15 years 10 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
149
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
123
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Collaboration to accomplish tasks has taken on a new meaning over the past few years. The majority of organizations are viewing information technology (IT) as a key enabler to tra...
137
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
132
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...