1642 search results - page 7 / 329 » SPINning Parallel Systems Software |
89
Voted
LCPC
2000
Springer
15 years 5 months ago
2000
Springer
130
Voted
SIGMETRICS
1998
ACM
15 years 1 months ago
1998
ACM
Implicitcoscheduling is a distributed algorithm fortime-sharing communicating processes in a cluster of workstations. By observing and reacting to implicit information, local sche...
133
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
116
Voted
CIIA
2009
15 years 2 months ago
2009
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
117
Voted
SPIN
2010
Springer
15 years 6 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...