1702 search results - page 128 / 341 » Doomed program points |
141
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
153
click to vote
ICALP
1992
Springer
15 years 9 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
153
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
Conventional MPC uses quadratic programming (QP) to minimise, on-line, a cost over n linearly constrained control moves. However, stability constraints often require the use of la...
152
click to vote
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...
161
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...