71 search results - page 12 / 15 » Executable structural operational semantics in Maude |
189
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
285
click to vote
POPL
2005
ACM
16 years 6 months 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...
232
click to vote
TON
2010
15 years 1 months ago
2010
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
174
click to vote
LFP
1992
15 years 7 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
174
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...