1027 search results - page 56 / 206 » Callgraph properties of executables |
139
click to vote
RTSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Resource sharing in priority-based systems can give rise to priority-inversion and blocking, wherein a job’s execution is delayed because a lower-priority job holds some resourc...
133
click to vote
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a non-malleable commitment scheme that retains its security properties even when concurrently executed a polynomial number of times. That is, a manin-the-middle adversa...
158
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
116
Voted
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
119
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...