1914 search results - page 68 / 383 » Abstract lambda-Calculus Machines |
103
click to vote
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...
141
click to vote
EUROPAR
2009
Springer
15 years 6 months ago
2009
Springer
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...
103
click to vote
FUIN
2007
15 years 1 months ago
2007
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
160
click to vote
JOT
2007
15 years 1 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
139
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...