143 search results - page 1 / 29 » A Virtual Machine for Functional Logic Computations |
IFL
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
ICYCS
2008
IEEE
13 years 11 months ago
2008
IEEE
A single physical machine provides multiple network monitoring and analysis services (e.g., IDS, QoS) which are installed on the same operating system. Isolation between services ...
DATE
2002
IEEE
13 years 10 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
COMCOM
2008
13 years 5 months ago
2008
People enjoy the convenience of on-line services, Automated Teller Machines (ATMs), and pervasive computing, but online environments, ATMs, and pervasive computing may bring many r...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we report the design, implementation and experimental results of Machine Bank, a system engineered towards the popular shared-lab scenario, where users outnumber av...