271 search results - page 41 / 55 » Visualizing the behavior of higher dimensional dynamical sys... |
ATVA
2006
Springer
14 years 5 days ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
MASCOTS
2001
13 years 9 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
APSEC
2009
IEEE
13 years 12 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
HPDC
2000
IEEE
14 years 1 days ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...