717 search results - page 104 / 144 » Kill-safe synchronization abstractions |
146
Voted
APN
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
145
click to vote
CONCUR
2007
Springer
16 years 1 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
159
click to vote
ESOP
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
169
click to vote
EUROPAR
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
148
click to vote
FASE
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...