37 search results - page 3 / 8 » Safe Programming with Pointers Through Stateful Views |
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
105
Voted
LCR
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
197
click to vote
POPL
2005
ACM
16 years 16 days ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
114
Voted
ENTCS
2007
15 years 5 days ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
102
Voted
JFP
2010
14 years 10 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...