2375 search results - page 345 / 475 » Analyze Grid from the Perspective of a Computing System |
165
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
150
click to vote
ICAT
2007
IEEE
16 years 24 days ago
2007
IEEE
Virtual reality technologies dramatically change the game experience when compared to most popular console games. VR systems may provide a higher user involvement due to the possi...
169
click to vote
ISCAS
2007
IEEE
16 years 23 days ago
2007
IEEE
— The unscented Kalman filter (UKF) has recently been proposed for filtering noisy chaotic signals. Though computationally advantageous, the UKF has not been thoroughly analyze...
177
click to vote
QEST
2007
IEEE
16 years 22 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
203
click to vote
CMSB
2007
Springer
16 years 19 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...