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