1027 search results - page 21 / 206 » Callgraph properties of executables |
ENTCS
2008
13 years 11 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
SSDBM
2009
IEEE
14 years 5 months ago
2009
IEEE
Scientific experiments produce large volumes of data represented as complex objects that describe independent events such as particle collisions. Scientific analyses can be express...