|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | 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 |
| 1 | Luis Angel D. Bathen, Nikil D. Dutt, Alex Nicolau, Puneet Gupta |
VaMV: Variability-aware Memory Virtualization. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Li Ruan, Huixiang Wang, Limin Xiao, Mingfa Zhu, Feibo Li |
Memory Virtualization for MIPS Processor Based Cloud Server. |
GPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Agne, Marco Platzner, Enno Lübbers |
Memory Virtualization for Multithreaded Reconfigurable Hardware. |
FPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolin Wang, Jiarui Zang, Zhenlin Wang, Yingwei Luo, Xiaoming Li |
Selective hardware/software memory virtualization. |
VEE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Angel D. Bathen, Nikil D. Dutt, Dongyoun Shin, Sung-Soo Lim |
SPMVisor: dynamic scratchpad memory virtualization for secure, low power, and high performance distributed on-chip memories. |
CODES+ISSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Trinitis, Michael Bader, Martin Schulz |
8th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Daum, Jan Dörrenbächer, Burkhart Wolff |
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL |
| 1 | Hai Jin, Xiaofei Liao, Song Wu, Zhiyuan Shao, Yingwei Luo |
ChinaV: Building Virtualized Computing System. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Trinitis, Martin Schulz |
7th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008). |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eyad Alkassar, Norbert Schirmer, Artem Starostin |
Formal Pervasive Verification of a Paging Mechanism. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Trinitis, Martin Schulz |
6th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments New Directions and Work-in-Progress ParSim 2007. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | JaeWoong Chung, Chi Cao Minh, Austen McDonald, Travis Skare, Hassan Chafi, Brian D. Carlstrom, Christos Kozyrakis, Kunle Olukotun |
Tradeoffs in transactional memory virtualization. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
OS support, virtualization, transactional memory, chip multi-processor |
| 1 | David E. Lowell, Yasushi Saito, Eileen J. Samberg |
Devirtualizable virtual machines enabling general, single-node, online maintenance. |
ASPLOS |
2004 |
DBLP DOI BibTeX RDF |
online maintenance, planned downtime, virtual machines, availability |
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")