4722 search results - page 29 / 945 » Representation-independent program analysis |
146
click to vote
WCET
2010
15 years 20 days ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
111
Voted
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
123
click to vote
WCET
2010
15 years 20 days ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
135
click to vote
SAS
2012
Springer
13 years 5 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
109
click to vote
SIGPLAN
2002
15 years 2 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...