11484 search results - page 663 / 2297 » Modeling in the Large and Modeling in the Small |
211
click to vote
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
252
click to vote
IMR
2004
Springer
16 years 25 days ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
174
click to vote
IMR
2004
Springer
16 years 25 days ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
188
click to vote
EMSOFT
2003
Springer
16 years 20 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
213
click to vote
ICCAD
2002
IEEE
16 years 12 days ago
2002
IEEE
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...