1027 search results - page 150 / 206 » Callgraph properties of executables |
144
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
129
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Most of today’s distributed computing systems in the field do not support the migration of execution entities among computing nodes during runtime. The relatively static associa...
111
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
124
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
126
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...