688 search results - page 99 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
PVM
1999
Springer
13 years 12 months ago
1999
Springer
The problem of solving sparse Systems of Linear Algebraic Equations (SLAE) by parallel Monte Carlo numerical methods is considered. The almost optimal Monte Carlo algorithms are pr...
SIGGRAPH
1993
ACM
13 years 11 months ago
1993
ACM
Sensor-actuator networks (SANs) are a new approach for the physically-based animation of objects. The user supplies the configuratíon of a mechanical system that hás been augmen...
NCA
2006
IEEE
13 years 7 months ago
2006
IEEE
The goal of this paper is to design a new control algorithm for open-loop control of complex systems. This control approach is based on a genealogical decision tree for both regula...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Data broadcast is a widely accepted data dissemination method for mobile computing systems. When data broadcast is used to deliver frequently updated data to mobile read-only tran...