4164 search results - page 17 / 833 » Timing model reduction for hierarchical timing analysis |
JSS
2008
13 years 8 months ago
2008
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
CCGRID
2009
IEEE
14 years 3 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
ESANN
2001
13 years 10 months ago
2001
Prediction of financial time series using artificial neural networks has been the subject of many publications, even if the predictability of financial series remains a subject of ...
ENTCS
2006
13 years 9 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
FORMATS
2005
Springer
14 years 2 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...