2784 search results - page 117 / 557 » Light analysis of complex systems |
CAV
2010
Springer
13 years 6 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
NOMS
2000
IEEE
14 years 14 days ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
BMCBI
2008
13 years 8 months ago
2008
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
VRST
2004
ACM
14 years 1 months ago
2004
ACM
Global illumination dramatically improves realistic appearance of rendered scenes, but usually it is neglected in VR systems due to its high costs. In this work we present an effi...
TPHOL
2006
IEEE
14 years 2 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...