9425 search results - page 183 / 1885 » Some Notes on Models and Modelling |
80
Voted
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
ICCAD
1996
IEEE
15 years 2 months ago
1996
IEEE
-- In this tutorial we discuss concepts and techniques for the accurate and efficient modeling and extraction of interconnect parasitics in VLSI designs. Due toincreasing operating...
ICRA
1993
IEEE
15 years 2 months ago
1993
IEEE
This paper investigates the problem of "formclosure"for three-fingered grasps of polygonal objects under various combinations of contact models at the contact points. We...
78
Voted
CP
2006
Springer
15 years 1 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
ECBS
2006
IEEE
15 years 1 months ago
2006
IEEE
In this paper, we propose an equivalent model in a serial queue for representing the serial connection of the load balancer and a Web server of the Web cluster. We have set up an ...