9210 search results - page 355 / 1842 » Analyzing Real-Time Systems |
128
click to vote
IWEC
2010
15 years 5 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
114
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
144
Voted
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
120
Voted
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
133
Voted
GVD
2004
15 years 5 months ago
2004
Data with temporal information is constantly generated, sampled, gathered, and analyzed in different domains, such as medicine, finance, engineering, environmental sciences, and e...