440 search results - page 18 / 88 » Local reasoning for abstraction and sharing |
127
Voted
SAC
2008
ACM
15 years 10 days ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
85
Voted
ECTEL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The success of recent Web 2.0 platforms shows that people share information and resources within their social community and beyond. The use of these platforms in an e-lea...
108
click to vote
ICTAC
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
107
Voted
PVM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These targets va...
108
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...