Sciweavers

1234 search results - page 12 / 247
» Privacy-preserving Virtual Machine
Sort
View
IFL
2004
Springer
15 years 4 months ago
A Virtual Machine for Functional Logic Computations
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...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
ARCS
2004
Springer
15 years 5 months ago
The SDVM: A Self Distributing Virtual Machine for Computer Clusters
Computer systems of the future will consist more and more of autonomous and cooperative system parts and behave self-organizing. Self-organizing is mainly characterized by adaptive...
Jan Haase, Frank Eschmann, Bernd Klauer, Klaus Wal...
VEE
2009
ACM
171views Virtualization» more  VEE 2009»
15 years 6 months ago
Dynamic memory balancing for virtual machines
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
Weiming Zhao, Zhenlin Wang
FMICS
2009
Springer
15 years 3 months ago
A Certified Implementation on Top of the Java Virtual Machine
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
Javier de Dios, Ricardo Peña-Marí
88
Voted
ICYCS
2008
IEEE
15 years 6 months ago
VM-based Architecture for Network Monitoring and Analysis
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 ...
Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li