4781 search results - page 276 / 957 » Complexity at large |
150
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
143
click to vote
SIGDOC
1995
ACM
15 years 7 months ago
1995
ACM
This paper describes ongoing research into the use of a domain-retargetable reverse engineering environment to aid the structural understanding of large information spaces. In par...
132
click to vote
DAC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we propose a novel simulation algorithm for large scale structured power grid networks. The new method formulates the traditional linear system as a special two-dim...
120
click to vote
CAE
2005
15 years 6 months ago
2005
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...
119
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Constraints that are defined by tables of allowed tuples of assignments are common in constraint programming. In this paper we present an approach to reformulating table constraint...