400 search results - page 27 / 80 » An Extensible Meta-Model for Program Analysis |
120
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
120
click to vote
JAR
2006
14 years 11 months ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...
116
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...