645 search results - page 10 / 129 » concurrency 2007 |
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
82
Voted
FORTE
1994
15 years 1 months ago
1994
124
click to vote
APLAS
2007
ACM
15 years 4 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 1 months ago
2000
: Concurrency is thought to be an advanced topic
107
Voted
AEI
2000
15 years 1 days 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...