692 search results - page 51 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
104
click to vote
IWPC
2003
IEEE
15 years 5 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
104
click to vote
PLILP
1992
Springer
15 years 3 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
113
Voted
IPMI
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. For medical image analysis issues where the domain mappings between images involve large geometrical shape changes, such as the cases of nonrigid motion recovery and inte...
ICONIP
2007
15 years 1 months ago
2007
The understanding of nonstationarity, from both a dynamical and a statistical point of view, has turned from a constraint on application of a specific type of analysis (e.g. spectr...