The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Hypervisor with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2007 (41) 2008 (30) 2009 (27) 2010 (27) 2011 (19) 2012 (7)
Publication types (Num. hits)
article(22) inproceedings(128) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 237 occurrences of 134 keywords

Results
Found 151 publication records. Showing 151 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
3Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato Hypervisor-based prevention of persistent rootkits. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF persistent rootkit, security, file system, hypervisor
3Prashant Dewan, David Durham, Hormuzd Khosravi, Men Long, Gayathri Nagabhushan A hypervisor-based system for protecting software runtime memory and persistent storage. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF runtime memory, performance evaluation, computer security, virtual machine monitor, hypervisor
3Jisoo Yang, Kang G. Shin Using hypervisor to provide data secrecy for user applications on a per-page basis. Search on Bibsonomy VEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF application protection, virtualization, data privacy, hypervisor
3Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF code attestation, memory virtualization, hypervisor, code injection attacks, preventing, code integrity
3Jinpeng Huai, Qin Li, Chunming Hu CIVIC: a Hypervisor based Virtual Computing Environment. Search on Bibsonomy ICPP Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CIVIC, Distributed Systems, Virtual Machine, Hypervisor, Virtual Computing Environment
2Zhi Wang, Xuxian Jiang HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Control-Flow Integrity, Hypervisor, Rootkits
2Alfons Crespo, Ismael Ripoll, Miguel Masmano Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. Search on Bibsonomy EDCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time, hypervisor, secure kernel
2Alex Landau, David Hadas, Muli Ben-Yehuda Plugging the hypervisor abstraction leaks caused by virtual networking. Search on Bibsonomy SYSTOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF I/O virtualization, network abstraction, network virtualization
2Johan Fornaeus Device hypervisors. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time, separation, real-time operating system, hypervisor, embedded devices, consolidation, general purpose operating system
2Eric Keller, Jakub Szefer, Jennifer Rexford, Ruby B. Lee NoHype: virtualized cloud infrastructure without the virtualization. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF security, cloud computing, virtualization, multi-core, system architecture, hypervisor, many-core
2Vahid Kazempour, Ali Kamali, Alexandra Fedorova AASH: an asymmetry-aware scheduler for hypervisors. Search on Bibsonomy VEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF heterogeneous, scheduling algorithms, multicore processors, virtual machine monitor, hypervisor, asymmetric
2Aravind Menon, Simon Schubert, Willy Zwaenepoel TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF virtualization
2Qingbo Wu, Chunguang Wang, Yusong Tan System Monitoring and Controlling Mechanism Based on Hypervisor. Search on Bibsonomy ISPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Security, Controlling, System Monitoring, Hypervisor
2Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato BitVisor: a thin hypervisor for enforcing i/o device security. Search on Bibsonomy VEE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parapass-through, shadow dma descriptor, virtual machine monitors, hypervisors, trusted computing base
2Dirk Leinenbach, Thomas Santen Verifying the Microsoft Hyper-V Hypervisor with VCC. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Hendrik Tews, Marcus Völp, Tjark Weber Formal Memory Models for the Verification of Low-Level Operating-System Code. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Micro-hypervisor, Memory-mapped devices, Formal verification, Virtual memory, Operating-system kernel
2Harry J. Foxwell Review of "The Definitive Guide to the Xen Hypervisor" (Prentice Hall Open Source Software Development Series) David Chisnall, Prentice Hall PTR, 2007, ISBN 013234971X. Search on Bibsonomy ACM Queue The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Qin Li, Jinpeng Huai, Jianxin Li, Tianyu Wo, Minxiong Wen HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Yuki Kinebuchi, Midori Sugaya, Shuichi Oikawa, Tatsuo Nakajima Task Grain Scheduling for Hypervisor-Based Embedded System. Search on Bibsonomy HPCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Ravi Bhargava, Ben Serebrin, Francesco Spadini, Srilatha Manne Accelerating two-dimensional page walks for virtualized systems. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMD, nested paging, page walk caching, virtualization, memory management, virtual machine monitor, hypervisor, TLB
2John P. McDermott, Leo Freitas A formal security policy for xenon. Search on Bibsonomy FMSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF refinement, open-source, z, csp, hypervisor, information-flow security, circus
2Enriquillo Valdez, Reiner Sailer, Ronald Perez Retrofitting the IBM POWER Hypervisor to Support Mandatory Access Control. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Jinpeng Huai, Qin Li, Chunming Hu CIVIC: A Hypervisor Based Virtual Computing Environment. Search on Bibsonomy HPCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic Bowman, Zhihua Wen, Calton Pu An Analysis of Performance Interference Effects in Virtual Environments. Search on Bibsonomy ISPASS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF performance interference, system-level workload characteristics, runtime characteristics, Ken hypervisor, virtual environment, virtual machines, virtualization, data analysis, performance metrics, performance isolation, system throughput
2Matt T. Yourst PTLsim: A Cycle Accurate Full System x86-64 Microarchitectural Simulator. Search on Bibsonomy ISPASS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF client-server networked benchmark, PTLsim, cycle accurate full system, x86-64 microarchitectural simulator, superscalar x86-64 processor core, full-speed native execution, microarchitectural simulators, x86 ISA, microoperation level, multiprocessor capable simulation, Xen hypervisor, AMD Athlon 64 machine, virtual machine
2Ernie Cohen Validating the Microsoft Hypervisor. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Reiner Sailer, Trent Jaeger, Enriquillo Valdez, Ramón Cáceres, Ronald Perez, Stefan Berger, John Linwood Griffin, Leendert van Doorn Building a MAC-Based Security Architecture for the Xen Open-Source Hypervisor. Search on Bibsonomy ACSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Thomas C. Bressoud, Fred B. Schneider Hypervisor-Based Fault Tolerance. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF primary/backup approach, virtual-machine manager, fault-tolerant computing system
1Ashiq Khan, Alf Zugenmaier, Dan Jurca, Wolfgang Kellerer Network virtualization: a hypervisor for the internet? Search on Bibsonomy IEEE Communications Magazine The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dirk Fox Hypervisor. Search on Bibsonomy Datenschutz und Datensicherheit The full citation details ... 2012 DBLP  BibTeX  RDF
1Jakub Szefer, Ruby B. Lee Architectural support for hypervisor-secure virtualization. Search on Bibsonomy ASPLOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daisuke Yamaguchi, Takumi Yajima, Chen-Yi Lee, Hiromasa Shimada, Yuki Kinebuchi, Tatsuo Nakajima Spatial Isolation on Realtime Hypervisor using Core-local Memory. Search on Bibsonomy PECCS The full citation details ... 2012 DBLP  BibTeX  RDF
1Yoginder S. Dandass, Samuel T. Shannon, David A. Dampier Teaching Hypervisor Design, Implementation, and Control to Undergraduate Computer Science and Computer Engineering Students. Search on Bibsonomy HICSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuki Ashino, Masayuki Nakae Virtual Machine Migration Method between Different Hypervisor Implementations and Its Evaluation. Search on Bibsonomy AINA Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Haibo Chen, Binyu Zang A case for secure and scalable hypervisor using safe language. Search on Bibsonomy PMAM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young Toward the Verification of a Simple Hypervisor Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Leo Freitas, John P. McDermott Formal methods for security in the Xenon hypervisor. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Quist, Lorie M. Liebrock, Joshua Neil Improving antivirus accuracy with hypervisor assisted analysis. Search on Bibsonomy Journal in Computer Virology The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexandra Aguiar, Fabiano Hessel Virtual Hellfire Hypervisor: Extending Hellfire Framework for embedded virtualization support. Search on Bibsonomy ISQED The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jun Jiang, Xiaoqi Jia, Dengguo Feng, Shengzhi Zhang, Peng Liu HyperCrop: A Hypervisor-Based Countermeasure for Return Oriented Programming. Search on Bibsonomy ICICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D. Gill RT-Xen: towards real-time hypervisor scheduling in xen. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saketh Bharadwaja, Weiqing Sun, Mohammed Y. Niamat, Fangyang Shen Collabra: A Xen Hypervisor Based Collaborative Intrusion Detection System. Search on Bibsonomy ITNG The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter Loscocco, Andrew Warfield Breaking up is hard to do: security and functionality in a commodity hypervisor. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Min Lee, A. S. Krishnakumar, P. Krishnan, Navjot Singh, Shalini Yajnik Hypervisor-assisted application checkpointing in virtualized environments. Search on Bibsonomy DSN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Seongwook Jin, Jeongseob Ahn, Sanghoon Cha, Jaehyuk Huh Architectural support for secure virtualization under a vulnerable hypervisor. Search on Bibsonomy MICRO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yan Wen, Jinjing Zhao, Minhuan Huang, Hua Chen Aquarius: A Tiny Hypervisor to Introspect Commodity OSes in a Non-bypassable Way. Search on Bibsonomy IMIS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yoshihiro Oyama, Youhei Hoshi A Hypervisor for Injecting Scenario-Based Attack Effects. Search on Bibsonomy COMPSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ying-Shiuan Pan, Jui-Hao Chiang, Han-Lin Li, Po-Jui Tsao, Ming-Fen Lin, Tzi-cker Chiueh Hypervisor Support for Efficient Memory De-duplication. Search on Bibsonomy ICPADS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Le, Yuval Tamir ReHype: enabling VM survival across hypervisor failures. Search on Bibsonomy VEE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cornelius Moucha, Enrico Lovat, Alexander Pretschner A Hypervisor-Based Bus System for Usage Control. Search on Bibsonomy ARES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jakub Szefer, Eric Keller, Ruby B. Lee, Jennifer Rexford Eliminating the hypervisor attack surface for a more secure cloud. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhitao Wan A Network Virtualization Approach in Many-core Processor Based Cloud Computing Environment. Search on Bibsonomy CICSyN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF cloud computing, hypervisor, network virtualization, many-core processor
1Balazs Gerofi, Yutaka Ishikawa RDMA Based Replication of Multiprocessor Virtual Machines over High-Performance Interconnects. Search on Bibsonomy CLUSTER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Fault-Tolerance, Virtualization, Checkpoint, Recovery, Hypervisor, RDMA, High-Performance Interconnects
1Sixto Ortiz Jr. The Problem with Cloud-Computing Standardization. Search on Bibsonomy IEEE Computer The full citation details ... 2011 DBLP  DOI  BibTeX  RDF IEEE P2301, IEEE P2302, Cloud computing, Standards, Virtualization, Hypervisor
1Kenneth C. Barr, Prashanth P. Bungale, Stephen Deasy, Viktor Gyuris, Perry Hung, Craig Newell, Harvey Tuch, Bruno Zoppis The VMware mobile virtualization platform: is that a hypervisor in your pocket? Search on Bibsonomy Operating Systems Review The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael R. Head, Andrzej Kochut, Charles Schulz, Hidayatullah Shaikh Virtual Hypervisor: Enabling fair and economical resource partitioning in cloud environments. Search on Bibsonomy NOMS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ajay Gulati, Arif Merchant, Peter J. Varman mClock: Handling Throughput Variability for Hypervisor IO Scheduling. Search on Bibsonomy OSDI The full citation details ... 2010 DBLP  BibTeX  RDF
1Jun Zhu, Wei Dong, Zhefu Jiang, Xiaogang Shi, Zhen Xiao, Xiaoming Li Improving the performance of hypervisor-based fault tolerance. Search on Bibsonomy IPDPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tsutomu Nomoto, Yoshihiro Oyama, Hideki Eiraku, Takahiro Shinagawa, Kazuhiko Kato Using a Hypervisor to Migrate Running Operating Systems to Secure Virtual Machines. Search on Bibsonomy COMPSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Min Lee, A. S. Krishnakumar, P. Krishnan, Navjot Singh, Shalini Yajnik Supporting soft real-time tasks in the xen hypervisor. Search on Bibsonomy VEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF enterprise telephony workloads, laxity, virtualization, xen, server consolidation
1Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova Automated Verification of a Small Hypervisor. Search on Bibsonomy VSTTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Naughton, Geoffroy Vallée, Stephen L. Scott, Ferrol Aderholdt Loadable Hypervisor Modules. Search on Bibsonomy HICSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tobias Distler, Rüdiger Kapitza, Hans P. Reiser State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services. Search on Bibsonomy Sicherheit The full citation details ... 2010 DBLP  BibTeX  RDF
1Peijie Yu, Mingyuan Xia, Qian Lin, Min Zhu, Shang Gao, Zhengwei Qi, Kai Chen 0006, Haibing Guan Real-time Enhancement for Xen Hypervisor. Search on Bibsonomy EUC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ahmed M. Azab, Peng Ning, Zhi Wang, Xuxian Jiang, Xiaolan Zhang, Nathan C. Skalsky HyperSentry: enabling stealthy in-context measurement of hypervisor integrity. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amit Vasudevan, Jonathan M. McCune, Ning Qu, Leendert van Doorn, Adrian Perrig Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture. Search on Bibsonomy TRUST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2010 DBLP  DOI  BibTeX  RDF small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
1Omer Khan, Sandip Kundu Thread Relocation: A Runtime Architecture for Tolerating Hard Errors in Chip Multiprocessors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hard-error tolerance, virtualization, Chip multiprocessor (CMP), hardware/software codesign, hypervisor
1Udo Steinberg, Bernhard Kauer NOVA: a microhypervisor-based secure virtualization architecture. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF architecture, virtualization
1Vijayaraghavan Soundararajan, Jennifer M. Anderson The impact of management operations on the virtualized datacenter. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF datacenter management, management workload, virtual machine management, cloud computing
1Weidong Shi, Yang Lu Video indexed VM continuous checkpoints: time travel support for virtual 3d graphics applications. Search on Bibsonomy NOSSDAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF continuous checkpoint, virtualization, video, time travel
1Keisuke Okamura, Yoshihiro Oyama Load-based covert channels between Xen virtual machines. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF covert channels, virtual machine monitors
1Gernot Heiser, Ben Leslie The OKL4 microvisor: convergence point of microkernels and hypervisors. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time systems, embedded systems, virtual machines, hypervisors, microkernels
1Ben-Ami Yassour, Muli Ben-Yehuda, Orit Wasserman On the DMA mapping problem in direct device assignment. Search on Bibsonomy SYSTOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF DMA mapping, I/O virtualization, IOMMU, IOMMU protection strategies, SR-IOV, device assignment, direct access, on-demand mapping
1Hans-Jörg Höxer Optimierung der Schnittstelle zwischen Hypervisor und Betriebssystemkern bei virtuellen Maschinen. Search on Bibsonomy 2009   RDF
1Haogang Chen, Xiaolin Wang, Zhenlin Wang, Xiang Wen, Xinxin Jin, Yingwei Luo, Xiaoming Li REMOCA: Hypervisor Remote Disk Cache. Search on Bibsonomy ISPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ahmed M. Azab, Peng Ning, Emre Can Sezer, Xiaolan Zhang HIMA: A Hypervisor-Based Integrity Measurement Agent. Search on Bibsonomy ACSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Flavio Lombardi, Roberto Di Pietro KvmSec: a security extension for Linux kernel virtual machines. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF kernel virtual machine, integrity, virtual machine, hypervisor, real-time monitoring
1Sunay Tripathi, Nicolas Droux, Thirumalai Srinivasan, Kais Belgaied Crossbow: from hardware virtualized NICs to virtualized networks. Search on Bibsonomy VISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF VNICs, crossbow, vWire, performance, classification, networking, virtualization, hypervisor, zones, VMs, VLAN
1Yusong Tan, Weihua Zhang, Qingbo Wu Block-Based In-Place Replacement Strategy for x86 Sensitive Instructions in Virtual Machine. Search on Bibsonomy ISPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Block-based In-Place Replacement, Binary Translation, Hypervisor
1Manabu Hirano, Tomohiro Umeda, Takeshi Okuda, Eiji Kawai, Suguru Yamaguchi T-PIM: Trusted Password Input Method against Data Stealing Malware. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Data Stealing Malware, Virus, Hypervisor, Spyware
1Manabu Hirano, Takahiro Shinagawa, Hideki Eiraku, Shoichi Hasegawa, Kazumasa Omote, Kouichi Tanimoto, Takashi Horie, Seiji Mune, Kazuhiko Kato, Takeshi Okuda, Eiji Kawai, Suguru Yamaguchi A Two-Step Execution Mechanism for Thin Secure Hypervisors. Search on Bibsonomy SECURWARE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF TCB, ID management, Security, Virtual machine monitor, Hypervisor, Trusted Computing Base, VMM
1Paul A. Karger Securing virtual machine monitors: what is needed? Search on Bibsonomy ASIACCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF virtual machine monitors, hypervisors, security kernels
1Monirul I. Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi Secure in-VM monitoring using hardware virtualization. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2009 DBLP  DOI  BibTeX  RDF kernel integrity, virtual machines, malware, secure monitoring
1Muli Ben-Yehuda, David Breitgand, Michael Factor, Hillel Kolodner, Valentin Kravtsov, Dan Pelleg NAP: a building block for remediating performance bottlenecks via black box network analysis. Search on Bibsonomy ICAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF elastic computing, cloud computing, autonomic computing, traffic analysis, performance management
1Thomas Gazagnaire, Vincent Hanquez OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF databases, concurrency, transactions, prefix trees
1Michael R. Hines, Kartik Gopalan Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning. Search on Bibsonomy VEE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF post-copy, virtual machines, operating systems, xen, process migration
1Gary Grider, James Nunez, John Bent, Steve Poole, Robert B. Ross, Evan Felix Coordinating government funding of file system and I/O research through the high end computing university research activity. Search on Bibsonomy Operating Systems Review The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xu Zhang, Chuang Lin, Xiangzhen Kong Model-Driven Dependability Analysis of Virtualization Systems. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Bernstein, Erik Ludvigson, Krishna Sankar, Steve Diamond, Monique Morrow Blueprint for the Intercloud - Protocols and Formats for Cloud Computing Interoperability. Search on Bibsonomy ICIW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pradipta De, Vijay Mann, Umang Mittaly Handling OS jitter on multicore multithreaded systems. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mohamed A. El-Refaey, Mohamed Abu Rizkaa Virtual Systems Workload Characterization: An Overview. Search on Bibsonomy WETICE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xumei Shan, Hefeng Liu Enterprise Cloud Architecture for Chinese Ministry of Railway. Search on Bibsonomy CloudCom The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tashi, Cloud Computing, Hadoop, Map Reduce, HDFS
1Chunqiang Tang DSF: A Common Platform for Distributed Systems Research and Development. Search on Bibsonomy Middleware The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutable replay, massive multi-tenancy, chaotic timing test, simulation, distributed systems, debugging
1Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer Formal Verification of a Microkernel Used in Dependable Software Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies VCC: A Practical System for Verifying Concurrent C. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lionel Litty, H. Andrés Lagar-Cavilla, David Lie Hypervisor Support for Identifying Covertly Executing Binaries. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2008 DBLP  BibTeX  RDF
1Yujiro Mochizuki, Kazuhiko Higashi, Kumiko Goto, Minoru Kato Virtualization-Based Operation Support Systems: Performance Evaluation and Systems Design. Search on Bibsonomy APNOMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Virtualization, Virtual Machine Monitor, Xen, Hypervisor, Server Consolidation, Operation Support Systems
1Mark Thober, J. Aaron Pendergrass, C. Durward McDonell Improving coherency of runtime integrity measurement. Search on Bibsonomy STC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF LKIM, coherency, XEN, copy-on-write, integrity measurement
1Georgios Portokalidis, Herbert Bos Eudaemon: involuntary and on-demand emulation against zero-day exploits. Search on Bibsonomy EuroSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, operating systems, honeypots
Displaying result #1 - #100 of 151 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.