826 search results - page 98 / 166 » Resolving Concurrent Interactions |
165
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
130
click to vote
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
125
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
124
click to vote
PPOPP
2010
ACM
16 years 15 days ago
2010
ACM
Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on multiple cores when the d...
144
click to vote
ICCAD
2007
IEEE
16 years 4 days ago
2007
IEEE
Global routing is an important step in the physical design process. In this paper, we propose a new global routing algorithm Archer, which resolves some of the most common problem...