6274 search results - page 863 / 1255 » Proofs, Programs, Processes |
123
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
128
Voted
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...
106
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
147
Voted
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
120
Voted
PVM
2005
Springer
15 years 9 months ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...