717 search results - page 100 / 144 » Kill-safe synchronization abstractions |
169
click to vote
IPPS
2009
IEEE
16 years 16 days ago
2009
IEEE
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
161
click to vote
CSL
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
167
click to vote
EUROPAR
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...
157
click to vote
IFM
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
156
click to vote
POLICY
2009
Springer
16 years 13 days ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...