5235 search results - page 111 / 1047 » Analysis of Multithreaded Programs |
108
click to vote
IFM
2010
Springer
15 years 18 hour ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
171
click to vote
SAS
2010
Springer
14 years 12 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
118
click to vote
CONCUR
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
102
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...