5235 search results - page 117 / 1047 » Analysis of Multithreaded Programs |
103
click to vote
CSMR
2005
IEEE
15 years 7 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
117
click to vote
POPL
2011
ACM
14 years 4 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...
148
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
106
click to vote
IWPC
1997
IEEE
15 years 5 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
ICALP
2009
Springer
15 years 8 months ago
2009
Springer