22,725 Hits in 8.0 sec

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization [chapter]

José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
2005 Lecture Notes in Computer Science  
To ameliorate those problems, we propose a systematic approach to the automatic generation of implementations of abstract machines.  ...  Alternative versions of the abstract machine are therefore easier to produce, and variants of their implementation can be created mechanically, with specific characteristics for a particular application  ...  Conclusions and Further Work We have presented the design and implementation of an emulator compiler that generates efficient code using a high-level description of the instruction set of an abstract machine  ... 
doi:10.1007/11562931_5 fatcat:pzsdiruyk5cyvddkk2ydkjazqy

I/O Virtualization

Mendel Rosenblum, Carl Waldspurger
2011 Queue  
BENEFITS Many of the benefits of virtualized systems depend on the decoupling of a VM's logical I/O devices from its physical implementation.  ...  A virtualization software layer, known as a hypervisor, provides the level of indirection that decouples an operating system and its applications from physical hardware.  ...  A back-end optimized for a server machine that efficiently shuttles emulated reads and writes to a portion of a local disk may have very low virtualization overheads.  ... 
doi:10.1145/2063166.2071256 fatcat:enq3tcmzjfabvokwnjeajcvxhq

A Virtual Machine for a Process Calculus [chapter]

Luís Lopes, Fernando Silva, Vasco T. Vasconcelos
1999 Lecture Notes in Computer Science  
The design and implementation of the virtual machine focuses on performance, compactness, and architecture independence with a view to mobile computing.  ...  The assembly code emphasizes readability and efficient byte code generation. The byte code has a simple layout and is a compromise between size and performance.  ...  Acknowledgments We would like to thank the anonymous referees for their valuable comments and suggestions.  ... 
doi:10.1007/10704567_15 fatcat:r7m3rx7okzcllbuwywy5x56ocm

Emulating an operating system on top of another

Michael Franz
1993 Software, Practice & Experience  
This software interface provides the services of one operating system (Oberon) on a machine running a different operating system (Macintosh), by mapping the functions of the first onto equivalent calls  ...  In this paper, we present the design of an operating-system emulator.  ...  We were able to adapt a compiler for the Oberon language to the Macintosh in less time than it took us to implement the operating-system interface on the same machine, although a complete code-generator  ... 
doi:10.1002/spe.4380230607 fatcat:eoubqrudnbc5fmtxwdps44l3ja

Drift: A highly condensed emulation framework for mobile nodes in server clusters

Xinyu Zhang, Baochun Li
2008 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems  
It balances the fundamental trade-off between scalability and emulation accuracy, focusing on maximizing scalability with minimal loss of accuracy.  ...  In this paper, we present Drift, a highperformance wireless emulation testbed that takes advantage of the benefits of both simulation and real implementation, while trying to avoid their drawbacks.  ...  To enable distributed emulation, the lower layer models must also be distributed and can be efficiently implemented.  ... 
doi:10.1109/mahss.2008.4660048 dblp:conf/mass/ZhangL08 fatcat:s63s23j4hrc47jgoppbbzemi5i

Designing a high performance parallel logic programming system

M. V. Hermenegildo, R. A. Warren
1987 SIGARCH Computer Architecture News  
At a lower level, special attention is also given to design and simulation detail and to the architectural implications of the execution model behavior.  ...  Compilation techniques such as those portrayed by the Warren Abstract Machine (WAM) have greatly improved the speed of execution of logic programs.  ...  overhead, etc.) the emulator can also genérate a trace file of memory references.  ... 
doi:10.1145/25372.25377 fatcat:3ol4sv2g5ncjbfepr6klr2gx5m

Unshackle the Cloud!

Dan Williams, Eslam Elnikety, Mohamed Eldehiry, Hani Jamjoom, Hai Huang, Hakim Weatherspoon
2011 USENIX Workshop on Hot Topics in Cloud Computing  
For example, we are unaware of a true hybrid cloud, where its users can migrate virtual machines freely across clouds.  ...  Infrastructure-as-a-Service (IaaS) clouds are evolving from offering simple on-demand resources to providing diverse sets of tightly-coupled monolithic services.  ...  Also, the Cornell group is partially funded and supported by an IBM Faculty Award received by Hakim Weatherspoon and NSF TRUST.  ... 
dblp:conf/hotcloud/WilliamsEEJHW11 fatcat:4t4mqaecrze2zfrgiscejgjphy

Lightweight Snapshots and System-level Backtracking

Edouard Bugnion, Vitaly Chipounov, George Candea
2013 USENIX Workshop on Hot Topics in Operating Systems  
The abstraction can give arbitrary x86 programs and libraries system-level support for backtracking (akin to logic programming) and the ability to manipulate an entire address space as an immutable data  ...  We propose a new system-level abstraction, the lightweight immutable execution snapshot, which combines the immutable characteristics of checkpoints with the direct integration into the virtual memory  ...  From an application perspective, the operating system ensures that the application can make forward progress by granting it resources and serving its system calls in an efficient and fair manner.  ... 
dblp:conf/hotos/BugnionCC13 fatcat:ciqd743pu5amjbxfdevsr6iidm

GPU virtualization on VMware's hosted I/O architecture

Micah Dowty, Jeremy Sugerman
2009 ACM SIGOPS Operating Systems Review  
We analyze the performance of our GPU virtualization with a combination of applications and microbenchmarks.  ...  We find that taking advantage of hardware acceleration significantly closes the gap between pure emulation and native, but that different implementations and host graphics stacks show distinct variation  ...  We would specifically like to thank Tony Cannon and Ramesh Dharan for their work on the foundations of our display emulation.  ... 
doi:10.1145/1618525.1618534 fatcat:tm5aawpxqffpjgaqys2dqzzmom

FPGA prototyping of a RISC processor core for embedded applications

M. Gschwind, V. Salapura, D. Maurer
2001 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
To reduce development cost and avoid duplication of design effort, FPGA prototypes and ASIC implementations are derived from a common source.  ...  By using a common base instruction set, development cost can be reduced and design space exploration is focused on the application-specific aspects of performance.  ...  Mautner for his help with the final partitioning and placement. The Synopsys and Xilinx XACT tools have been made available to them through the EUROPRACTICE program of the European Commission.  ... 
doi:10.1109/92.924027 fatcat:y2lgnrazwbfchixzfge7kpmbxu

Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems

Michel Kinsy, Omer Khan, Ivan Celanovic, Dusan Majstorovic, Nikola Celanovic, Srinivas Devadas
2011 2011 IEEE 32nd Real-Time Systems Symposium  
This paper details the design and application of a new ultrahigh speed real-time emulation platform for Hardware-in-the-Loop (HiL) testing and design of high-power power electronics systems.  ...  Today these abstractions are mostly thought of as embedded systems, and the overall framework needs to be reformed in order to fully realize the potential of the emerging field of cyber-physical systems  ...  In addition, due to minimal circuit representation it has the potential to be efficiently implemented on an application-specific digital architecture.  ... 
doi:10.1109/rtss.2011.35 dblp:conf/rtss/KinsyKCMCD11 fatcat:p5g4mwqlcbgpvovedevvjpqtyq

Towards Structured Parallel Computing on Architecture-Independent Parallel Algorithm Design for Distributed-Memory Architectures

Feng Gao
1996 Journal of computer and system sciences (Print)  
) for the algorithm, and design of emulations of the virtual networks on physical networks.  ...  In a paper by Gao, a general theory of portable optimality of parallel algorithms is presented.  ...  I thank Maria Klawe and Nick Pippenger for valuable comments and for criticism on a draft of this paper.  ... 
doi:10.1006/jcss.1996.0053 fatcat:36p2jze2gzee7nibaxrja7fl7m

I/O virtualization

Carl Waldspurger, Mendel Rosenblum
2012 Communications of the ACM  
A back end optimized for a server machine that efficiently shuttles emulated reads and writes to a portion of a local disk may have very low virtualization overheads.  ...  A pluggable structure for back-end implementations makes it easy to generate new capabilities for virtual devices.  ...  Although IOMMUs can safely and efficiently allow virtualization-aware I/O devices to access the memory of a virtual machine directly, there are implications for some of the more sophisticated memory virtualization  ... 
doi:10.1145/2063176.2063194 fatcat:k2dddjnzxjfsdfuk75sn2hdzo4

The power of partial tanslation

Paul Tarau, Bart Demoen, Koen De Bosschere
1995 Proceedings of the 1995 ACM symposium on Applied computing - SAC '95  
We describe a new language translation framework (partial translation) and the implementation of one of its instances: the C-$cation of Binary Prolog.  ...  library routines and handwritten C-code can all be compiled and linked together to a form a stand-alone application.  ...  Acknowledgements Paul Tarau ( thanks for support from NSERC (grant OGP0107411), from the FESR of the The code shown in this paper has been generated with Bin-Prolog 3.00, available  ... 
doi:10.1145/315891.315943 dblp:conf/sac/TarauDB95 fatcat:fllc7jicq5f2ljousoh2urzavu

The OKL4 microvisor

Gernot Heiser, Ben Leslie
2010 Proceedings of the first ACM asia-pacific workshop on Workshop on systems - APSys '10  
We assert that the requirements for both types of systems can be met with a single set of abstractions, a single design, and a single implementation.  ...  It is also a third-generation microkernel that aims to support the construction of similarly componentised systems as classical microkernels.  ...  Acknowledgements We would like to thank the OK Labs engineering team, especially Carl van Schaik, for their contributions to designing and implementing the OKL4 microvisor.  ... 
doi:10.1145/1851276.1851282 dblp:conf/sigcomm/HeiserL10 fatcat:7nvoytnyvje7lpuovswpbdjpmi
« Previous Showing results 1 — 15 out of 22,725 results