386 search results - page 52 / 78 » A Consistent Semantics of Self-adjusting Computation |
122
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
114
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
181
Voted
HPCA
2011
IEEE
14 years 5 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de...
105
Voted
GG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
109
click to vote
TSD
2007
Springer
15 years 8 months ago
2007
Springer
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...