260 search results - page 41 / 52 » A Semantics for Concurrent Separation Logic |
139
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
121
click to vote
POPL
2010
ACM
16 years 23 days ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
118
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
118
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
134
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...