Sciweavers

15644 search results - page 290 / 3129
» Brittle System Analysis
Sort
View
NOSSDAV
2004
Springer
16 years 1 days ago
Analysis of state exposure control to prevent cheating in online games
Kang Li, Shanshan Ding, Doug McCreary, Steve Webb
RTSS
2003
IEEE
15 years 12 months ago
FAST: Frequency-Aware Static Timing Analysis
Kiran Seth, Aravindh Anantaraman, Frank Mueller, E...
DIAGRAMS
2000
Springer
15 years 11 months ago
Case Analysis in Euclidean Geometry: An Overview
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
Nathaniel Miller
HYBRID
2000
Springer
15 years 10 months ago
Ellipsoidal Techniques for Reachability Analysis
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
Alexander B. Kurzhanski, Pravin Varaiya