4520 search results - page 257 / 904 » Algebraic Techniques for Timed Systems |
180
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
240
click to vote
ATC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
217
click to vote
EMSOFT
2004
Springer
16 years 20 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
197
click to vote
EMSOFT
2004
Springer
16 years 20 days ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
200
click to vote
IDEAL
2004
Springer
16 years 19 days ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...