2129 search results - page 59 / 426 » Cutting-Edge Timing Analysis Techniques |
COCOON
2001
Springer
15 years 2 months ago
2001
Springer
We consider generalized discrete timed automata with general linear relations over clocks and parameterized constants as clock constraints and with parameterized durations. We look...
MASCOTS
2004
14 years 11 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
105
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
ICDM
2006
IEEE
15 years 3 months ago
2006
IEEE
Several spatio-temporal data collected in many applications, such as fMRI data in medical applications, can be represented as a Multivariate Time Series (MTS) matrix with m rows (...
CCGRID
2009
IEEE
15 years 4 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...