1023 search results - page 122 / 205 » A Formal Method for Program Slicing |
109
click to vote
IFM
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
120
click to vote
ISOLA
2010
Springer
15 years 1 days ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
172
click to vote
SAS
2010
Springer
14 years 12 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
106
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
115
click to vote
FORTE
2009
14 years 11 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...