645 search results - page 10 / 129 » concurrency 2007 |
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
FORTE
1994
15 years 3 months ago
1994
143
Voted
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
PDPTA
2000
15 years 3 months ago
2000
: Concurrency is thought to be an advanced topic
123
click to vote
AEI
2000
15 years 1 months ago
2000
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...