375 search results - page 1 / 75 » Efficient large-scale model checking |
ENTCS
2008
13 years 4 months ago
2008
WSC
1998
13 years 6 months ago
1998
Process oriented views are widely recognized as very useful for modeling, but di cult to implement e ciently in a simulation system, as compared to event oriented views. In partic...
VLSID
2002
IEEE
14 years 5 months ago
2002
IEEE
We present an efficient implementation of an approximate balanced truncation model reduction technique for general large-scale RLC systems, described by a statespace model where t...
CGF
2006
13 years 4 months ago
2006
We describe a system for the rapid acquisition of building interiors. In 40 hours, a two member team with a single acquisition device captured a model of the corridors and 20 indi...
EUROPAR
2007
Springer
13 years 8 months ago
2007
Springer
To understand the principles of information processing in the brain, we depend on models with more than 105 neurons and 109 connections. These networks can be described as graphs o...