2227 search results - page 255 / 446 » Reversibility and Models for Concurrency |
IPL
2010
13 years 9 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
PPOPP
2012
ACM
12 years 6 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
CAV
2012
Springer
12 years 1 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
ICALP
1989
Springer
14 years 2 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
CSEE
2009
Springer
14 years 5 months ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...