400 search results - page 41 / 80 » An Extensible Meta-Model for Program Analysis |
106
click to vote
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
128
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
CSSE
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
GPCE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...