1689 search results - page 56 / 338 » Refining abstract interpretations |
101
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...
131
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
107
click to vote
FAC
2002
15 years 1 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
139
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
112
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...