354,561 Hits in 3.2 sec

Dynamic Translator-Based Virtualization [chapter]

Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima
2007 Lecture Notes in Computer Science  
In this paper, we present a new model of virtual machine monitor, a flexible dynamic translator constructed on a portable microkernel. Our model offers both high portability and compatibility.  ...  A microkernel based system is highly portable. However, the interface it exposes is inflexible and incompatible with other real hardware interfaces.  ...  The dynamic translation produce two types of overheads, the direct and the indirect. The direct overhead is the processing time of dynamic translation itself.  ... 
doi:10.1007/978-3-540-75664-4_51 fatcat:q6zo7ixmbbfl3mslqq2f2yg3mu

Fast Virtual Fractional Flow Reserve Based Upon Steady-State Computational Fluid Dynamics Analysis

Paul D. Morris, Daniel Alejandro Silva Soto, Jeroen F.A. Feher, Dan Rafiroiu, Angela Lungu, Susheel Varma, Patricia V. Lawford, D. Rodney Hose, Julian P. Gunn
2017 JACC: Basic to Translational Science  
Based on paired steady-state CFD analyses, 2 mathematical methods ("steady" and "pseudotransient") were developed that accelerate the computation of vFFR from >36 h to <4 min.  ...  The authors have developed a novel "pseudotransient" analysis protocol for computing virtual fractional flow reserve (vFFR) based upon angiographic images and steady-state computational fluid dynamics.  ...  Using computational fluid dynamics (CFD) to compute a "virtual" FFR The outputs of any model are determined by variations in input parameters which may occur due to natural biological variability or error  ... 
doi:10.1016/j.jacbts.2017.04.003 pmid:28920099 pmcid:PMC5582193 fatcat:czrwqwyqw5f3relyv3a3sz5pxq

UKCF: A New Graphics Driver Cross-Platform Translation Framework for Virtual Machines [chapter]

Haitao Jiang, Yun Xu, Yin Liao, Guojie Jin, Guoliang Chen
2012 Lecture Notes in Computer Science  
Virtual machine with dynamic binary translation system is the key technology to solve software compatibility problem.  ...  Based on our experiment, the multimedia performance of virtual machines can been improved about 30%.  ...  Interactive virtual machines always use dynamic translation system, which translates instructions dynamically during execution of programs.  ... 
doi:10.1007/978-3-642-35606-3_18 fatcat:7kmwwyal2verhdeb5hmslypgiu

Probing the Limits of Virtualized Software Protection

Joshua Cazalas, J. Todd McDonald, Todd R. Andel, Natalia Stakhanova
2014 Proceedings of the 4th Program Protection and Reverse Engineering Workshop on 4th Program Protection and Reverse Engineering Workshop - PPREW-4  
Our findings help frame research for additional mitigation techniques using hardware-based integration or hybrid virtualization techniques that can better defend legitimate uses of virtualized software  ...  Virtualization is becoming a prominent field of research not only in distributed systems, but also in software protection and obfuscation.  ...  9 Acknowledgments This material is based in part upon work supported by the National Science Foundation under grant CNS-1305369.  ... 
doi:10.1145/2689702.2689707 dblp:conf/acsac/CazalasMAS14 fatcat:wswgbgbb3vb37l4y6yueh3ecp4

STD-TLB: A STT-RAM-based dynamically-configurable translation lookaside buffer for GPU architectures

Xiaoxiao Liu, Yong Li, Yaojun Zhang, Alex K. Jones, Yiran Chen
2014 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)  
work: -Proposed a STT-RAM-based dynamically-configurable TLB (STDTLB) by leveraging differential sensing technique; -Reconfigurable based on real-time application need.  ...  1 • GPUs begin to have TLB to support virtual memory addressing. • The performance of GPUs is more sensitive to the capacity of TLBs: -heavier memory accesses; -Limited by large SRAM cell area. • In this  ...  •• STT-RAM-based dynamically-configurable TLB (STDTLB) Translation Lookaside Buffer(TLB)-Store virtual-to-physical page addresses; -Speedup address translation. •••• STT-RAM Cell: -Transistor and MTJ  ... 
doi:10.1109/aspdac.2014.6742915 dblp:conf/aspdac/LiuLZJC14 fatcat:jbgihkovszctzo375ggy32fzhy

Virtual Constraints Based Control Design of an Inclined Translational Oscillator with Rotational Actuator System

Bingtuan Gao, Chuande Liu, Hongtai Cheng
2015 Shock and Vibration  
A virtual constraints based method is presented to generate periodic trajectories which pass through desired point; and a Lyapunov based control design is proposed to track the generated trajectories.  ...  Following that, a trajectory tracking control method based on virtual constraints is proposed to steer the oscillations of the inclined TORA system.  ...  Dynamics of the inclined TORA is presented in Section 2. Based on the dynamics, virtual constraints based method is employed to generate periodic trajectories for inclined TORA system in Section 3.  ... 
doi:10.1155/2015/769151 fatcat:fmslxhc2dzhzdoxedxo6nc4fba

Fine-grained user-space security through virtualization

Mathias Payer, Thomas R. Gross
2011 Proceedings of the 7th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '11  
This virtualization layer dynamically recompiles the machine code and adds multiple dynamic security guards that verify the running code to protect and contain the application.  ...  A running application is encapsulated in an additional layer of protection using dynamic binary translation in user-space.  ...  Strata [34, 35] is a safe virtual execution environment using software dynamic translation.  ... 
doi:10.1145/1952682.1952703 dblp:conf/vee/PayerG11 fatcat:k7hjtwtdufel3j5xrypel7qqqe

Fine-grained user-space security through virtualization

Mathias Payer, Thomas R. Gross
2011 SIGPLAN notices  
This virtualization layer dynamically recompiles the machine code and adds multiple dynamic security guards that verify the running code to protect and contain the application.  ...  A running application is encapsulated in an additional layer of protection using dynamic binary translation in user-space.  ...  Strata [34, 35] is a safe virtual execution environment using software dynamic translation.  ... 
doi:10.1145/2007477.1952703 fatcat:4vijxslqmzacpnmnx6cnhebhbi

Matryoshka: Strengthening Software Protection via Nested Virtual Machines

Sudeep Ghosh, Jason D. Hiser, Jack W. Davidson
2015 2015 IEEE/ACM 1st International Workshop on Software Protection  
Oakland 2012. n Secure and Practical Defense Against Code-injection Attacks Using Software Dynamic Translation. VEE 2006. n Safe Virtual Execution Using Software Dynamic Translation, ACSAC 2002.  ...  Dynamic Translator Cached?  ... 
doi:10.1109/spro.2015.11 dblp:conf/icse/GhoshHD15 fatcat:24botxo6vjdq3jyozjacrseok4

Enhancing Dynamic Binary Translation in Mobile Computing by Leveraging Polyhedral Optimization

Mingliang Li, Jianmin Pang, Feng Yue, Fudong Liu, Jun Wang, Jie Tan, Shaohua Wan
2021 Wireless Communications and Mobile Computing  
Dynamic binary translation (DBT) is gaining importance in mobile computing.  ...  Mobile Edge Computing (MEC) augments mobile devices with powerful servers, whereas edge servers and smartphones are usually based on heterogeneous architecture.  ...  HQEMU is a trace-based dynamic binary translator that is also built on QEMU and uses LLVM as the backend optimizer.  ... 
doi:10.1155/2021/6611867 fatcat:c7prlqpthvdybmp4hiq3nwvssm

Cross-Platform Embedded-System Dynamic Information Acquisition Method

2017 DEStech Transactions on Computer Science and Engineering  
Although dynamic information extraction and analysis technologies have been successfully used for general platform in vulnerability mining, malicious code detection and so on, its usage on embedded system  ...  The paper provides (1) a Cross-Platform -Dynamic Instrumentation Framework, which, by leveraging an extensible intermediate code module and a semantic constraint database, decouples the instrumentation  ...  DISCUSSION and CONCLUSION Similar work mainly include: Dynamic Analysis technology based on hardware virtualization platform and Dynamic Analysis technology based on whole-system simulation.  ... 
doi:10.12783/dtcse/cii2017/17266 fatcat:mjt54hy5qzejpkdlov2xw6cerm

Hot-patching a web server: A case study of ASAP code repair

Mathias Payer, Thomas R. Gross
2013 2013 Eleventh Annual Conference on Privacy, Security and Trust  
We describe here the effectiveness of an on-the-fly update system that provides ASAP repair by integrating dynamic patches with a sandbox based on dynamic binary translation.  ...  Of the 4 unpatchable bugs, 1 bug is not applicable to dynamic update mechanisms, and 3 bugs require a restart.  ...  The virtualization system offers the opportunity to translate code as it passes through the dynamic binary translator.  ... 
doi:10.1109/pst.2013.6596048 dblp:conf/pst/PayerG13 fatcat:6p5hrixjgbbhbckxkza4uc73lu

Research on establishment and verification of projectile and artillery coupling system virtual prototype

Xuemin You, Yezun Sun, Xu Xu, Bo Li, Zhenqian Yang, Jiangong Liu
2020 IOP Conference Series: Materials Science and Engineering  
Introduction The virtual prototype of the projectile-artillery coupling system is actually a dynamic model that can be used to simulate the firing process of the artillery.  ...  Or velocity function, use Fortran language to write a custom force program and call it during the virtual prototype operation to solve the dynamics.  ...  Conclusions This paper builds a virtual prototype of the projectile-artillery coupling system. Based on the projectile-artillery coupling system, a virtual firing test is performed.  ... 
doi:10.1088/1757-899x/892/1/012093 fatcat:fqi7qys45ng2bbpxjqvitvjzki

E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines

Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi
2005 Journal of Object Technology  
Based on the selective dynamic compilation technique, this technology addresses the J2ME/CLDC (Java 2 Micro Edition for Connected Limited Device Configuration) platform.  ...  This is achieved by the means of integrating a selective dynamic compiler that we called E-Bunny into the J2ME/CLDC virtual machine KVM.  ...  CONCLUSION AND FUTURE WORK We reported, a new acceleration technology for Java embedded virtual machines that is based on selective dynamic compilation.  ... 
doi:10.5381/jot.2005.4.1.a2 fatcat:ojjqxegka5fsne7tj6lzt35yoi

Deterministic Replay of System's Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging

Pavel Dovgalyuk
2012 2012 16th European Conference on Software Maintenance and Reengineering  
DYNAMIC ANALYSIS WITH DETERMINISTIC REPLAY Deterministic replay can be used as a base for different dynamic analysis tools.  ...  VMWare also does not provide any mechanisms for implementing dynamic analysis tools on its base.  ... 
doi:10.1109/csmr.2012.74 dblp:conf/csmr/Dovgalyuk12 fatcat:ycemr3gaxvcvpa5ywcpd4qxyde
« Previous Showing results 1 — 15 out of 354,561 results