1027 search results - page 132 / 206 » Callgraph properties of executables |
129
click to vote
ISSAC
1995
Springer
15 years 7 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
111
click to vote
COMAD
2008
15 years 5 months ago
2008
A read-only transaction (ROT) does not modify any data. Efforts are being made in the literature to improve the performance of ROTs without correctness and data currency issues. T...
165
click to vote
OPODIS
2004
15 years 5 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
130
click to vote
CONCURRENCY
1998
15 years 3 months ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
157
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...