4719 search results - page 693 / 944 » Newtonian program analysis |
145
Voted
IFIP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...
178
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
164
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
173
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
163
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a complete and efficient solution to the stochastic allocation and scheduling for Multi-Processor System-on-Chip (MPSoC). Given a conditional task graph charac...