%%======================================================================
%% WARNING: Do NOT edit this file.  It was produced automatically
%% with the UNIX pipeline
%%
%%       biblex xxx.bib | \
%%         gawk -f keywords.awk | \
%%         egrep 'entrytype$' | \
%%         gawk -f fmtwords.awk >xxx.xwx
%%
%% by beebe@psi.math.utah.edu on Fri Jul  4 16:26:41 MDT 2008
%%======================================================================

\ifx \NAMECITE \undefined % User can override this definition 
    \def \NAMECITE #1#2{{\bf #1}~\cite{#2}}
\fi



\NAMECITE{$\omega$}{%
		Arvizo:2002:VMT%
		}.


\NAMECITE{-dienste}{%
		Ward:2003:VWH%
		}.


\NAMECITE{/\penalty0{}{}}{%
		IBM:1988:VMSa%
		}.


\NAMECITE{{0}}{%
		Simpkins:1992:AVP%
		}.
\NAMECITE{'01}{%
		Anonymous:2000:AJV%
		}.
\NAMECITE{'02}{%
		USENIX:2002:PJV%
		}.
\NAMECITE{'03}{%
		ACM:2003:SPA%
		}.
\NAMECITE{'04}{%
		Anonymous:2004:CRV%
		}.
\NAMECITE{'05}{%
		ACM:2005:PFA%
		}.


\NAMECITE{{1}}{%
		Pulman:1991:EER%
		}.
\NAMECITE{1-4}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{1.x}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{{10.0}}{%
		Bauer:2006:PPSa%
		}.
\NAMECITE{{11}}{%
		Popek:1975:PVM%
		}.
\NAMECITE{{1100}}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{11th}{%
		ACM:2004:PWA%
		}.
\NAMECITE{12th}{%
		IEEE:1985:CPA%
		}.
\NAMECITE{14-16}{%
		ACM:2006:VPS%
		}.
\NAMECITE{15th}{%
		ACM:2006:PPI%
		}.
\NAMECITE{16th}{%
		Basin:2003:TPH,%
		Anonymous:1993:NCS%
		}.
\NAMECITE{{1981}}{%
		Martin:1981:RFS%
		}.
\NAMECITE{{1985}}{%
		Jouannaud:1985:FPL%
		}.
\NAMECITE{{1989}}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{{1990}}{%
		ACM:1990:PAC%
		}.
\NAMECITE{{1991}}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{{1992}}{%
		IEEE:1992:PSM%
		}.
\NAMECITE{{1993}}{%
		IEEE:1993:PSI%
		}.
\NAMECITE{19th}{%
		ACM:2003:SPA,%
		Shih:2005:ICA%
		}.
\NAMECITE{1st}{%
		Anonymous:2001:CRJ%
		}.


\NAMECITE{{2}}{%
		Compton:2000:VLB%
		}.
\NAMECITE{{2.0}}{%
		Sun:1997:JCL%
		}.
\NAMECITE{{2000}}{%
		ACM:2000:CPI%
		}.
\NAMECITE{{2001}}{%
		ACM:2001:PAJ%
		}.
\NAMECITE{{2003}}{%
		ACM:2003:ATA%
		}.
\NAMECITE{{2004}}{%
		ACM:2004:PWA%
		}.
\NAMECITE{{2005}}{%
		ACM:2005:APS%
		}.
\NAMECITE{{2006}}{%
		ACM:2006:PIW%
		}.
\NAMECITE{20th}{%
		Vrable:2005:SPA%
		}.
\NAMECITE{21st}{%
		IEEE:2005:PAC%
		}.
\NAMECITE{29-state}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{2nd}{%
		Anonymous:2002:CRJ%
		}.


\NAMECITE{{3.0}}{%
		Malan:1991:MA%
		}.
\NAMECITE{{3.1}}{%
		Bauer:2006:PPSb%
		}.
\NAMECITE{360/\penalty0{}40}{%
		Adair:1966:VMS%
		}.
\NAMECITE{37th}{%
		ACM:2006:PST%
		}.
\NAMECITE{3rd}{%
		Anonymous:2004:CRV%
		}.


\NAMECITE{{4}}{%
		Nanba:1985:VAV%
		}.
\NAMECITE{43rd}{%
		ACM:2006:AAI%
		}.
\NAMECITE{{440}}{%
		Russell:2002:SCI%
		}.


\NAMECITE{{5}}{%
		Warren:2005:VWH%
		}.
\NAMECITE{{5.5}}{%
		Bauer:2006:VWL%
		}.


\NAMECITE{{64}}{%
		DeRose:2006:EXI%
		}.


\NAMECITE{7th}{%
		Thomas:1993:PIS%
		}.


\NAMECITE{{80}}{%
		Ballard:1986:QSD%
		}.
\NAMECITE{{84}}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{{84/\penalty0{}K}}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{'89}{%
		ACM:1989:PSN%
		}.


\NAMECITE{'90}{%
		IEEE:1990:PSN%
		}.
\NAMECITE{{91}}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{'92}{%
		IEEE:1992:PSM%
		}.
\NAMECITE{'93}{%
		Grebe:1993:TAS%
		}.


\NAMECITE{Aachen}{%
		Grebe:1993:TAS%
		}.
\NAMECITE{{AADEBUG}}{%
		ACM:2005:APS%
		}.
\NAMECITE{{Abstract}}{%
		Carr:1987:EUC%
		}.
\NAMECITE{access}{%
		Meleshchuk:1991:IPP%
		}.
\NAMECITE{accountability}{%
		Huang:2006:PMA%
		}.
\NAMECITE{accuracy}{%
		Casey:2007:OIB%
		}.
\NAMECITE{Achieving}{%
		Muller:1992:ASP%
		}.
\NAMECITE{{ACLE}}{%
		Plata:1990:ASP%
		}.
\NAMECITE{ACM/\penalty0{}IEEE}{%
		ACM:2005:PAI%
		}.
\NAMECITE{ACM/\penalty0{}USENIX}{%
		ACM:2005:PFA%
		}.
\NAMECITE{{ACOS}}{%
		Nanba:1985:VAV%
		}.
\NAMECITE{{ACOS-4}}{%
		Nanba:1985:VAV%
		}.
\NAMECITE{Acquiring}{%
		Fertig:1991:FVM%
		}.
\NAMECITE{actors}{%
		Gaudiot:1985:PES%
		}.
\NAMECITE{{Actra}}{%
		Thomas:1989:AMM%
		}.
\NAMECITE{Ada}{%
		Dommergaard:1980:DVM,%
		Groves:1980:DVM%
		}.
\NAMECITE{adaptation}{%
		Zhang:2005:FVM%
		}.
\NAMECITE{Adapting}{%
		Bockisch:2006:AVM%
		}.
\NAMECITE{Adaptive}{%
		Biradar:1994:ADL%
		}.
\NAMECITE{Advanced}{%
		Alfonseca:1991:AAA%
		}.
\NAMECITE{aided}{%
		Sarda:1981:CAD%
		}.
\NAMECITE{AINA}{%
		Shih:2005:ICA%
		}.
\NAMECITE{{ALEP}}{%
		Simpkins:1992:AVP%
		}.
\NAMECITE{{ALEP-0}}{%
		Simpkins:1992:AVP%
		}.
\NAMECITE{algorithm}{%
		Janakiram:1988:RPB%
		}.
\NAMECITE{algorithms}{%
		Saeed:1992:ICM%
		}.
\NAMECITE{Analogy}{%
		Gaines:1975:ACV%
		}.
\NAMECITE{analysis}{%
		Madnick:1973:AAV%
		}.
\NAMECITE{Analysis-Driven}{%
		ACM:2005:APS%
		}.
\NAMECITE{analytic}{%
		Bard:1978:AMV%
		}.
\NAMECITE{Animated}{%
		Perez-Cazares:1989:DAL%
		}.
\NAMECITE{Announcement}{%
		Anonymous:2000:AJV%
		}.
\NAMECITE{Annual}{%
		IEEE:1985:CPA,%
		ACM:2006:AAI%
		}.
\NAMECITE{{Antfarm}}{%
		Jones:2006:ATP%
		}.
\NAMECITE{Anwendung}{%
		Born:2001:VWP%
		}.
\NAMECITE{{APL}}{%
		Alfonseca:1991:AAA%
		}.
\NAMECITE{applets}{%
		Westley:1998:WJA%
		}.
\NAMECITE{Application}{%
		Madnick:1973:AAV%
		}.
\NAMECITE{applications}{%
		Adix:1976:IER%
		}.
\NAMECITE{applicative}{%
		Abramsky:1982:SMV%
		}.
\NAMECITE{applied}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{approach}{%
		Madnick:1973:AAV%
		}.
\NAMECITE{architectural}{%
		Radhakrishnan:2001:JRS%
		}.
\NAMECITE{Architecture}{%
		Goldberg:1973:AVM%
		}.
\NAMECITE{Architectures}{%
		Popek:1974:FRV%
		}.
\NAMECITE{{Arizona}}{%
		IEEE:2005:PAC%
		}.
\NAMECITE{Array}{%
		Muller:1992:ASP%
		}.
\NAMECITE{art}{%
		Barham:2003:VMM%
		}.
\NAMECITE{artificial}{%
		Bessiere:1990:VMM%
		}.
\NAMECITE{aspect}{%
		Bockisch:2006:AVM%
		}.
\NAMECITE{Aspects}{%
		Knaggs:1993:PTA%
		}.
\NAMECITE{Assembly}{%
		Sebes:1993:MAL%
		}.
\NAMECITE{Assembly-Language}{%
		Sebes:1993:MAL%
		}.
\NAMECITE{Asynchronous}{%
		Cavender:1993:APV%
		}.
\NAMECITE{Atlanta}{%
		USENIX:1986:SCP%
		}.
\NAMECITE{{ATMS}}{%
		Crookston:2000:VCM%
		}.
\NAMECITE{attribute}{%
		Farrow:1989:VCB%
		}.
\NAMECITE{Auditing}{%
		Seiden:1990:AFV%
		}.
\NAMECITE{August}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{Australia}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{Automated}{%
		ACM:2005:APS%
		}.
\NAMECITE{Automatic}{%
		Suski:1976:AGC%
		}.
\NAMECITE{Automating}{%
		Muller:2006:SVP%
		}.
\NAMECITE{Automation}{%
		ACM:2006:AAI%
		}.
\NAMECITE{automaton}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{avionics}{%
		Armbruster:2007:RTJ%
		}.
\NAMECITE{Avoiding}{%
		Bershad:1994:ACM%
		}.


\NAMECITE{{B5500}}{%
		Hamlet:1976:PBT%
		}.
\NAMECITE{Bahamas}{%
		Anonymous:1999:PII%
		}.
\NAMECITE{balancing}{%
		Xu:1990:HMD%
		}.
\NAMECITE{Baltimore}{%
		Anonymous:1993:NCS%
		}.
\NAMECITE{barriers}{%
		Lewis:1999:EBP%
		}.
\NAMECITE{Base}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{based}{%
		Wilding-White:1977:MBI%
		}.
\NAMECITE{Batch}{%
		Lin:2005:VMB%
		}.
\NAMECITE{{BCPL}}{%
		Wilding-White:1977:MBI%
		}.
\NAMECITE{{BCPL}-Slim}{%
		Abramson:1980:WGL%
		}.
\NAMECITE{beams}{%
		Miller:1998:VMB%
		}.
\NAMECITE{Bedienung}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{beginner}{%
		Westley:1998:WJA%
		}.
\NAMECITE{behavior}{%
		Wolczko:1999:UTJ%
		}.
\NAMECITE{Belgium}{%
		ACM:2004:PWA%
		}.
\NAMECITE{Benchmarking}{%
		Casazza:2006:RSP%
		}.
\NAMECITE{benchmarks}{%
		Li:2000:UCS%
		}.
\NAMECITE{better}{%
		Compton:2000:VLB%
		}.
\NAMECITE{Between}{%
		Jensen:1979:FAC%
		}.
\NAMECITE{beyond}{%
		ACM:2004:PWA%
		}.
\NAMECITE{biased}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{Biopolis}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{block}{%
		Tetzlaff:1989:ABS%
		}.
\NAMECITE{block-paging}{%
		Tetzlaff:1989:ABS%
		}.
\NAMECITE{Blocks}{%
		Lamming:1975:LVM%
		}.
\NAMECITE{Bolton}{%
		ACM:2003:SPA%
		}.
\NAMECITE{book}{%
		Ward:2002:BVC%
		}.
\NAMECITE{Bootstrapping}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{Bottom}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{Bottom-up}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{bound}{%
		Janakiram:1988:RPB%
		}.
\NAMECITE{branch}{%
		Janakiram:1988:RPB%
		}.
\NAMECITE{branch-and-bound}{%
		Janakiram:1988:RPB%
		}.
\NAMECITE{Bridging}{%
		ACM:2004:SHP%
		}.
\NAMECITE{BSD}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Buch}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{buffer}{%
		Jones:2006:GMB%
		}.
\NAMECITE{Building}{%
		Sailer:2005:BMB%
		}.
\NAMECITE{Bypass}{%
		Liu:2006:HPV%
		}.
\NAMECITE{Bytecode}{%
		McGhan:1998:CPP%
		}.
\NAMECITE{bytecodes}{%
		Samples:1986:SSB%
		}.


\NAMECITE{{C}}{%
		Crookston:2000:VCM%
		}.
\NAMECITE{{C/C}}{%
		Blunden:2002:VMD%
		}.
\NAMECITE{{{CA}}}{%
		USENIX:2001:PJV%
		}.
\NAMECITE{cache}{%
		Bozman:1989:VSM%
		}.
\NAMECITE{caches}{%
		Bershad:1994:ACM%
		}.
\NAMECITE{Caching}{%
		Manning:1993:AAE%
		}.
\NAMECITE{Calculations}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Calculus}{%
		Watson:1986:PRL%
		}.
\NAMECITE{Calif}{%
		ACM:2001:PAJ%
		}.
\NAMECITE{{California}}{%
		IEEE:1984:PSS%
		}.
\NAMECITE{can}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{{Canada}}{%
		STUG:1983:PUA%
		}.
\NAMECITE{{CAOS}}{%
		Schoen:1986:CS%
		}.
\NAMECITE{Capabilities}{%
		Tollenaere:1992:PIC%
		}.
\NAMECITE{Card}{%
		Sun:1997:JCL,%
		Sun:1999:JCV%
		}.
\NAMECITE{Case}{%
		Popek:1975:PVM%
		}.
\NAMECITE{Cases}{%
		Fertig:1991:FVM%
		}.
\NAMECITE{Categories}{%
		Gaines:1975:ACV%
		}.
\NAMECITE{CCGrid}{%
		Turner:2006:SIS%
		}.
\NAMECITE{CD}{%
		Joos:2006:OHE%
		}.
\NAMECITE{cellular}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{centralized}{%
		Fischofer:1991:VSS%
		}.
\NAMECITE{chains}{%
		Nakanishi:1992:SSP%
		}.
\NAMECITE{Changing}{%
		MacKinnon:1979:CVM%
		}.
\NAMECITE{channel}{%
		McAuley:2003:CVC%
		}.
\NAMECITE{Channels}{%
		Hu:1990:RTC%
		}.
\NAMECITE{characterization}{%
		Radhakrishnan:2001:JRS%
		}.
\NAMECITE{characterize}{%
		Li:2000:UCS%
		}.
\NAMECITE{Chatten}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Chicago}{%
		ACM:2005:PFA%
		}.
\NAMECITE{{choices}}{%
		Anonymous:1993:NCS%
		}.
\NAMECITE{classical}{%
		Saeed:1992:ICM%
		}.
\NAMECITE{Client}{%
		Ramachandran:2006:NCV%
		}.
\NAMECITE{{CLIP7}}{%
		Lau:1987:OCV%
		}.
\NAMECITE{Cluster}{%
		Smith:2006:SID%
		}.
\NAMECITE{clusters}{%
		Kaneda:2005:VMM%
		}.
\NAMECITE{CMS}{%
		Stone:1991:VCS,%
		IBM:1996:CAM%
		}.
\NAMECITE{{CNC}}{%
		Liang:2005:DLM%
		}.
\NAMECITE{{COBOL}}{%
		IBM:1988:VMSa%
		}.
\NAMECITE{Code}{%
		Dommergaard:1980:FDP%
		}.
\NAMECITE{Codesign}{%
		Kumar:1993:FHS%
		}.
\NAMECITE{Coding}{%
		Hsu:2001:CAS%
		}.
\NAMECITE{Collaborative}{%
		IEEE:2006:PIS%
		}.
\NAMECITE{Collection}{%
		Blelloch:1990:CCO%
		}.
\NAMECITE{Collection-Oriented}{%
		Blelloch:1990:CCO%
		}.
\NAMECITE{Comandos}{%
		McHugh:1993:ILC,%
		Cahill:1993:ICV%
		}.
\NAMECITE{Commandos}{%
		McHugh:1993:ILC%
		}.
\NAMECITE{Common}{%
		Carr:1987:EUC%
		}.
\NAMECITE{communication}{%
		Donovan:1976:VMC%
		}.
\NAMECITE{Comparison}{%
		Ng:2001:VEWa%
		}.
\NAMECITE{compilation}{%
		Feeley:1990:PVM%
		}.
\NAMECITE{Compiler}{%
		Hartmann:1977:CPC%
		}.
\NAMECITE{Compiling}{%
		Bush:1987:CSR%
		}.
\NAMECITE{complete}{%
		Li:2000:UCS%
		}.
\NAMECITE{complex}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{complexity}{%
		Bodlaender:1988:CFU%
		}.
\NAMECITE{components}{%
		Hohmuth:2004:RTS%
		}.
\NAMECITE{Computatio}{%
		Herbordt:1993:EEA%
		}.
\NAMECITE{computation}{%
		Culler:1993:LTR%
		}.
\NAMECITE{computations}{%
		Kratzer:1990:MPS%
		}.
\NAMECITE{computers}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{computing}{%
		McGrath:1972:VMC%
		}.
\NAMECITE{Concepts}{%
		Parmelee:1972:VSV%
		}.
\NAMECITE{Concurrent}{%
		Hartmann:1977:CPC%
		}.
\NAMECITE{Conference}{%
		Anonymous:2001:CRJ,%
		IEEE:1985:CPA%
		}.
\NAMECITE{conflict}{%
		Bershad:1994:ACM%
		}.
\NAMECITE{Congress}{%
		Grebe:1993:TAS%
		}.
\NAMECITE{conjugate}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{connected}{%
		Mathiske:2000:APM%
		}.
\NAMECITE{connection}{%
		Turek:1984:IDV,%
		Tucker:1988:AAC%
		}.
\NAMECITE{consolidation}{%
		Russell:2002:SCI%
		}.
\NAMECITE{constituent}{%
		Rajan:2002:CPJ%
		}.
\NAMECITE{Constructing}{%
		Despons:1993:CCP%
		}.
\NAMECITE{Continuous}{%
		Demillo:1989:DSC%
		}.
\NAMECITE{Continuum}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Contraction}{%
		Parnas:1979:DSE%
		}.
\NAMECITE{control}{%
		Adix:1976:IER%
		}.
\NAMECITE{controlled}{%
		Kobayashi:1979:SMC%
		}.
\NAMECITE{controllers}{%
		Crookston:2000:VCM%
		}.
\NAMECITE{Convention}{%
		Anonymous:1993:NCS%
		}.
\NAMECITE{Convergence}{%
		ACM:2003:ATA%
		}.
\NAMECITE{Conversion}{%
		IBM:1994:CGN%
		}.
\NAMECITE{{Coordinated}}{%
		Bennett:1991:SMC%
		}.
\NAMECITE{coordination}{%
		Thomas:1993:PIS%
		}.
\NAMECITE{core}{%
		Contreras:2007:XPP%
		}.
\NAMECITE{correct}{%
		Infante:1975:PSP%
		}.
\NAMECITE{courses}{%
		Bullers:2006:VMI%
		}.


\NAMECITE{Darling}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{{Dartmouth}}{%
		Lee:1986:DSE%
		}.
\NAMECITE{{Dartmouth-Smalltalk}}{%
		Lee:1986:DSE%
		}.
\NAMECITE{data-flow}{%
		Gaudiot:1985:PES%
		}.
\NAMECITE{data-parallel}{%
		Shen:1991:VTD%
		}.
\NAMECITE{database}{%
		Sarda:1981:CAD%
		}.
\NAMECITE{{Debian}}{%
		Bauer:2006:PPSb%
		}.
\NAMECITE{debugger}{%
		Butt:1994:RDS%
		}.
\NAMECITE{debugging}{%
		Kobayashi:1979:SMC%
		}.
\NAMECITE{December}{%
		Horiguchi:1994:ISP%
		}.
\NAMECITE{decision}{%
		Donovan:1976:VMC%
		}.
\NAMECITE{Declarative}{%
		Danvy:1986:LVM%
		}.
\NAMECITE{dedicated}{%
		Kaneda:2005:VMM%
		}.
\NAMECITE{defining}{%
		Ballard:1986:QSD%
		}.
\NAMECITE{Definition}{%
		Dommergaard:1980:FDP%
		}.
\NAMECITE{Demand}{%
		Smith:2006:SID%
		}.
\NAMECITE{denotational}{%
		Arvizo:2002:VMT%
		}.
\NAMECITE{deployment}{%
		Alpern:2005:PVE%
		}.
\NAMECITE{design}{%
		Lesser:1974:DEP,%
		Contreras:2007:XPP%
		}.
\NAMECITE{Designing}{%
		Parnas:1979:DSE%
		}.
\NAMECITE{{DesignJet}}{%
		Mebane:1992:EFD%
		}.
\NAMECITE{Desktop}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Detecting}{%
		Joshi:2005:DPP%
		}.
\NAMECITE{Deterministic}{%
		Kumar:1978:PEH%
		}.
\NAMECITE{Develop}{%
		Darcy:1992:USD%
		}.
\NAMECITE{Developing}{%
		Perez-Cazares:1989:DAL%
		}.
\NAMECITE{Device}{%
		Nourse:1992:MWN%
		}.
\NAMECITE{devices}{%
		Wallace:1976:SGI%
		}.
\NAMECITE{Devirtualizable}{%
		Lowell:2004:DVM%
		}.
\NAMECITE{Diagnosing}{%
		Menon:2005:DPO%
		}.
\NAMECITE{dialect}{%
		Ballard:1986:QSD%
		}.
\NAMECITE{Diego}{%
		IEEE:1993:PSI%
		}.
\NAMECITE{dienste}{%
		Ward:2003:VWH%
		}.
\NAMECITE{diffusion}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{{DINO}}{%
		Rosing:1991:DPP%
		}.
\NAMECITE{direct}{%
		Bershad:1994:ACM%
		}.
\NAMECITE{direct-mapped}{%
		Bershad:1994:ACM%
		}.
\NAMECITE{Directed}{%
		Abramson:2006:IVT%
		}.
\NAMECITE{Discourse}{%
		McDonald:1986:TND%
		}.
\NAMECITE{disk}{%
		Ahmad:2003:ADP%
		}.
\NAMECITE{Distribution}{%
		Volz:1990:VNU%
		}.
\NAMECITE{Domain}{%
		Whang:1990:QOM%
		}.
\NAMECITE{done}{%
		Heiser:2006:VMM%
		}.
\NAMECITE{Dortmund}{%
		Muhlbacher:1975:GIF%
		}.
\NAMECITE{Down}{%
		Jolitz:1991:PUS%
		}.
\NAMECITE{{DPMI}}{%
		Golub:1993:MER%
		}.
\NAMECITE{drafting}{%
		Mebane:1992:EFD%
		}.
\NAMECITE{Driven}{%
		Tollenaere:1992:PIC%
		}.
\NAMECITE{Drivers}{%
		Nourse:1992:MWN%
		}.
\NAMECITE{Durham}{%
		Board:1990:TRA%
		}.
\NAMECITE{Dynamic}{%
		Abramson:1980:WGL%
		}.
\NAMECITE{dynamically}{%
		Bershad:1994:ACM%
		}.
\NAMECITE{dynamics}{%
		Argade:1994:TMR%
		}.


\NAMECITE{E-Mail}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Ease}{%
		Parnas:1979:DSE%
		}.
\NAMECITE{eBay}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Edition}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Education}{%
		ACM:2006:PST%
		}.
\NAMECITE{efficient}{%
		Feeley:1990:PVM%
		}.
\NAMECITE{Einsatz}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{Einsatzm{\"o}glichkeiten}{%
		Zimmer:2006:VSV%
		}.
\NAMECITE{Electronic}{%
		Mebane:1992:EFD%
		}.
\NAMECITE{Embedded}{%
		Kutter:1992:STE%
		}.
\NAMECITE{Embedded-System}{%
		Kutter:1992:STE%
		}.
\NAMECITE{emulate}{%
		Thanh:1982:ITC%
		}.
\NAMECITE{Emulation}{%
		Bergh:1987:HEH,%
		Brorsson:1989:ESV%
		}.
\NAMECITE{emulations}{%
		Bodlaender:1988:CFU%
		}.
\NAMECITE{emulator}{%
		Lesser:1974:DEP%
		}.
\NAMECITE{Emulators}{%
		Ertl:2003:IVM%
		}.
\NAMECITE{enabling}{%
		Lowell:2004:DVM%
		}.
\NAMECITE{End}{%
		Ramsdell:1993:RVP%
		}.
\NAMECITE{Engine}{%
		McGhan:1998:CPP%
		}.
\NAMECITE{engineering}{%
		McGrath:1972:VMC%
		}.
\NAMECITE{{ENIAC}}{%
		Zoppke:2006:VLE%
		}.
\NAMECITE{Enterprise}{%
		Ackerman:1992:SIE%
		}.
\NAMECITE{enth{\"u}llt}{%
		Joos:2006:OHE%
		}.
\NAMECITE{{Entropia}}{%
		Calder:2005:EVM%
		}.
\NAMECITE{Entropy}{%
		Tollenaere:1992:PIC%
		}.
\NAMECITE{Entropy-Driven}{%
		Tollenaere:1992:PIC%
		}.
\NAMECITE{Environment}{%
		Brawn:1970:SPE%
		}.
\NAMECITE{Environments}{%
		Krsul:2004:VPM%
		}.
\NAMECITE{erstellen}{%
		Zimmer:2006:VSV%
		}.
\NAMECITE{{ESA}}{%
		Gdaniec:1991:VDS%
		}.
\NAMECITE{{ESA}/\penalty0{}390}{%
		Osisek:1991:EIA%
		}.
\NAMECITE{{ESA/\penalty0{}XC}}{%
		Gdaniec:1991:VDS%
		}.
\NAMECITE{eServer}{%
		Russell:2002:SCI%
		}.
\NAMECITE{{Esprit}}{%
		Rounce:1990:AWE%
		}.
\NAMECITE{ESX}{%
		Russell:2002:SCI%
		}.
\NAMECITE{{ET6}}{%
		Pulman:1991:EER%
		}.
\NAMECITE{{ET6/1}}{%
		Pulman:1991:EER%
		}.
\NAMECITE{{EUROTRA}}{%
		Pulman:1991:EER%
		}.
\NAMECITE{Evaluating}{%
		Herbordt:1993:EEA%
		}.
\NAMECITE{Evaluation}{%
		Kumar:1978:PEH%
		}.
\NAMECITE{everywhere}{%
		Treese:2005:VVE%
		}.
\NAMECITE{Evolution}{%
		Hendricks:1979:EVM%
		}.
\NAMECITE{Examining}{%
		Nieh:2000:EV%
		}.
\NAMECITE{exception}{%
		Salter:1992:EHW%
		}.
\NAMECITE{exclusion}{%
		Saeed:1992:ICM%
		}.
\NAMECITE{executing}{%
		Lott:1991:DVM%
		}.
\NAMECITE{execution}{%
		Adix:1976:IER%
		}.
\NAMECITE{Execution-Driven}{%
		Poulsen:1993:ETP%
		}.
\NAMECITE{Exercise}{%
		Lee:1986:DSE%
		}.
\NAMECITE{Existing}{%
		Jim-Min:1992:IES%
		}.
\NAMECITE{exokernel}{%
		Coffing:1999:XPM%
		}.
\NAMECITE{Expansion}{%
		Parnas:1979:DSE%
		}.
\NAMECITE{Experiences}{%
		Schuh:1990:PRI%
		}.
\NAMECITE{Experimental}{%
		Brorsson:1989:ESV%
		}.
\NAMECITE{experiments}{%
		Kermarrec:1988:SEA%
		}.
\NAMECITE{Expo}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{Express}{%
		Ng:2001:VEWa%
		}.
\NAMECITE{Expression}{%
		Watson:1986:PRL%
		}.
\NAMECITE{Extended}{%
		Gum:1983:SEA%
		}.
\NAMECITE{Extending}{%
		Dong:2006:EXI%
		}.
\NAMECITE{{extensions}}{%
		Simpkins:1993:AVM%
		}.
\NAMECITE{{ExtraVirt}}{%
		Lucchetti:2005:EDR%
		}.


\NAMECITE{{FACILE}}{%
		Giacalone:1989:FSI%
		}.
\NAMECITE{Facilities}{%
		Gum:1983:SEA%
		}.
\NAMECITE{Facility}{%
		Mendelsohn:1983:RVF,%
		So:1988:PLV%
		}.
\NAMECITE{{FAStT}}{%
		Dufrasne:2004:IVE%
		}.
\NAMECITE{Fault}{%
		Kim:1984:EVM%
		}.
\NAMECITE{Fault-Tolerant}{%
		Kim:1984:EVM%
		}.
\NAMECITE{faults}{%
		Lucchetti:2005:EDR%
		}.
\NAMECITE{Fe}{%
		ACM:2000:CPI%
		}.
\NAMECITE{feather}{%
		Yu:2006:FWV%
		}.
\NAMECITE{feather-weight}{%
		Yu:2006:FWV%
		}.
\NAMECITE{feature}{%
		Bagley:1976:SFM%
		}.
\NAMECITE{features}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{feedback}{%
		Zhang:2005:FVM%
		}.
\NAMECITE{feedback-control}{%
		Zhang:2005:FVM%
		}.
\NAMECITE{{FGP}}{%
		Fertig:1991:FVM%
		}.
\NAMECITE{Fifth}{%
		ACM:1975:PFS,%
		IEEE:2004:FIA%
		}.
\NAMECITE{File}{%
		Stone:1991:VCS%
		}.
\NAMECITE{final}{%
		Pulman:1991:EER%
		}.
\NAMECITE{finding}{%
		Bodlaender:1988:CFU%
		}.
\NAMECITE{Firefox}{%
		Joos:2006:OHE%
		}.
\NAMECITE{firmware}{%
		Mebane:1992:EFD%
		}.
\NAMECITE{Fixed}{%
		Lamming:1975:LVM%
		}.
\NAMECITE{flow}{%
		Gaudiot:1985:PES%
		}.
\NAMECITE{Formal}{%
		Popek:1974:FRV%
		}.
\NAMECITE{Formalism}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{{F}orth}{%
		Knaggs:1993:PTA%
		}.
\NAMECITE{{FORTRAN}}{%
		IBM:1988:VMSa%
		}.
\NAMECITE{Forward}{%
		Uhlig:2006:F%
		}.
\NAMECITE{foundation}{%
		Osisek:1991:EIA%
		}.
\NAMECITE{Fourth}{%
		Milutinovic:1991:PTA%
		}.
\NAMECITE{Frame}{%
		Waldron:1999:AVM%
		}.
\NAMECITE{Framework}{%
		Greenfield:1991:PIT%
		}.
\NAMECITE{FreeDOS}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Friendly}{%
		Zhang:2005:FVM%
		}.
\NAMECITE{Front}{%
		Ramsdell:1993:RVP%
		}.
\NAMECITE{Full}{%
		Magnusson:2002:SFS%
		}.
\NAMECITE{Functional}{%
		Danvy:1986:LVM,%
		Jouannaud:1985:FPL%
		}.
\NAMECITE{Functions}{%
		Demillo:1989:DSC%
		}.
\NAMECITE{funfte}{%
		Muhlbacher:1975:GIF%
		}.
\NAMECITE{Future}{%
		Supnik:2004:SVM%
		}.
\NAMECITE{Fuzzy}{%
		Hu:1990:RTC%
		}.


\NAMECITE{Gast}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Gast-Systeme}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Gateway}{%
		Childs:2005:SCG%
		}.
\NAMECITE{gather}{%
		Wolczko:1999:UTJ%
		}.
\NAMECITE{{Geiger}}{%
		Jones:2006:GMB%
		}.
\NAMECITE{Gelato}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{General}{%
		Garzon:1992:DTG%
		}.
\NAMECITE{General-Purpose}{%
		Garzon:1992:DTG%
		}.
\NAMECITE{Generation}{%
		Popek:1974:FRV%
		}.
\NAMECITE{generator}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{Generic}{%
		Muntean:1994:PGM%
		}.
\NAMECITE{Georgia}{%
		USENIX:1986:SCP%
		}.
\NAMECITE{{Germany}}{%
		Grebe:1993:TAS%
		}.
\NAMECITE{Ghost}{%
		Arce:2007:GVM%
		}.
\NAMECITE{{GI}}{%
		Muhlbacher:1975:GIF%
		}.
\NAMECITE{Google}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Goto}{%
		Abramson:1980:WGL%
		}.
\NAMECITE{gradient}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{grammar}{%
		Farrow:1989:VCB%
		}.
\NAMECITE{Grande}{%
		ACM:2001:PAJ%
		}.
\NAMECITE{Grande/\penalty0{}ISCOPE}{%
		ACM:2001:PAJ%
		}.
\NAMECITE{graphic}{%
		Wallace:1976:SGI%
		}.
\NAMECITE{graphics}{%
		Suski:1976:AGC%
		}.
\NAMECITE{graphs}{%
		Bodlaender:1988:CFU%
		}.
\NAMECITE{grid}{%
		Zhao:2005:SSV,%
		Krsul:2004:VPM%
		}.
\NAMECITE{grids}{%
		Calder:2005:EVM%
		}.
\NAMECITE{GSX}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{guide}{%
		IBM:1988:VMSa%
		}.


\NAMECITE{hacking}{%
		Spivey:2006:VHH%
		}.
\NAMECITE{Handbook}{%
		Warren:2005:VWH%
		}.
\NAMECITE{Handbuch}{%
		Ward:2003:VWH%
		}.
\NAMECITE{handler}{%
		Salter:1992:EHW%
		}.
\NAMECITE{Harbour}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{hardware}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{hardware/\penalty0{}software}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{Hawaii}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{heap}{%
		Choi:2008:SHM%
		}.
\NAMECITE{heterogeneous}{%
		Nakanishi:1992:SSP%
		}.
\NAMECITE{Heuristic}{%
		Xu:1990:HMD%
		}.
\NAMECITE{HI}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{hidden}{%
		Crandall:2006:TSD%
		}.
\NAMECITE{Hierarchical}{%
		Donovan:1975:HAC%
		}.
\NAMECITE{High}{%
		Baden:1982:HPS%
		}.
\NAMECITE{high-performance}{%
		Lewis:1999:EBP%
		}.
\NAMECITE{Higher}{%
		Basin:2003:TPH%
		}.
\NAMECITE{Highly}{%
		Kumar:1978:PEH%
		}.
\NAMECITE{Hilton}{%
		IEEE:1990:PSN%
		}.
\NAMECITE{{HITAC}}{%
		Kojima:1983:AMI%
		}.
\NAMECITE{{HIVE}}{%
		Taylor:1976:RRH%
		}.
\NAMECITE{honeypots}{%
		Asrigo:2006:UVB%
		}.
\NAMECITE{hosts}{%
		Bauer:2006:VWL%
		}.
\NAMECITE{Houston}{%
		ACM:2006:PST%
		}.
\NAMECITE{{HP}}{%
		Bergh:1987:HEH%
		}.
\NAMECITE{HPCS'06}{%
		IEEE:2006:PIS%
		}.
\NAMECITE{hybrid}{%
		Zimmermann:2006:AHM%
		}.
\NAMECITE{Hypercubes}{%
		Hamilton:1992:SHU%
		}.
\NAMECITE{hypertext}{%
		Alfonseca:1991:AAA%
		}.
\NAMECITE{Hypervisor}{%
		Sailer:2005:BMB%
		}.


\NAMECITE{{I}-Caching}{%
		Manning:1993:AAE%
		}.
\NAMECITE{i.e}{%
		Muhlbacher:1975:GIF%
		}.
\NAMECITE{I/O}{%
		ACM:2003:ATA,%
		Abramson:2006:IVT%
		}.
\NAMECITE{{IA}}{%
		DeRose:2006:EXI%
		}.
\NAMECITE{{IA-64}}{%
		DeRose:2006:EXI%
		}.
\NAMECITE{{IASTED}}{%
		Anonymous:1999:PII%
		}.
\NAMECITE{{IBM}}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{{IBM/\penalty0{}360}}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{ICE}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{{ICL}}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{idea}{%
		Bullers:2006:VMI%
		}.
\NAMECITE{ie}{%
		McHugh:1993:ILC%
		}.
\NAMECITE{IEEE/\penalty0{}ACM}{%
		ACM:2004:SHP%
		}.
\NAMECITE{{IJCAI}}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{{IJCAI-91}}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{im}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{image}{%
		Inouchi:1993:PTI%
		}.
\NAMECITE{Impact}{%
		Rosenblum:2006:IVC%
		}.
\NAMECITE{implement}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{implementation}{%
		Donovan:1976:VMC,%
		Lee:1986:DSE%
		}.
\NAMECITE{Implementations}{%
		Sebes:1993:MAL%
		}.
\NAMECITE{Implementing}{%
		Cahill:1993:ICV%
		}.
\NAMECITE{implications}{%
		Radhakrishnan:2001:JRS%
		}.
\NAMECITE{Improved}{%
		Warren:1980:IPI%
		}.
\NAMECITE{{IMSA}}{%
		Anonymous:1999:PII%
		}.
\NAMECITE{Incorporating}{%
		Greenfield:1991:PIT%
		}.
\NAMECITE{Independent}{%
		Kojima:1983:AMI%
		}.
\NAMECITE{Indirect}{%
		Thanh:1982:ITC%
		}.
\NAMECITE{information}{%
		Madnick:1973:AAV%
		}.
\NAMECITE{Infrastructure}{%
		Muller:2006:SVP%
		}.
\NAMECITE{input}{%
		Wallace:1976:SGI%
		}.
\NAMECITE{Installation}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Instant}{%
		Joos:2006:OHE%
		}.
\NAMECITE{instructional}{%
		Williams:1975:CMI%
		}.
\NAMECITE{{Instruments}}{%
		Bhaskar:1986:VIO%
		}.
\NAMECITE{integrated}{%
		Crookston:2000:VCM%
		}.
\NAMECITE{Integrating}{%
		Jim-Min:1992:IES%
		}.
\NAMECITE{Integration}{%
		Giacalone:1989:FSI%
		}.
\NAMECITE{Integrity}{%
		Forum:1971:VMI%
		}.
\NAMECITE{{Intel}}{%
		Abramson:2006:IVT%
		}.
\NAMECITE{Intelligence}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{Intelligent}{%
		Greenfield:1991:PIT%
		}.
\NAMECITE{Interactive}{%
		Mendelsohn:1983:RVF%
		}.
\NAMECITE{interface}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{Interfaces}{%
		MacKinnon:1979:CVM%
		}.
\NAMECITE{Interfacing}{%
		McHugh:1993:ILC%
		}.
\NAMECITE{Inter{LISP}}{%
		Moore:1979:IVM%
		}.
\NAMECITE{internal}{%
		Sarda:1981:CAD%
		}.
\NAMECITE{Internet}{%
		Klappheck:2000:BLE,%
		Chang:2007:VMS%
		}.
\NAMECITE{interpreters}{%
		Casey:2007:OIB,%
		Ertl:2003:IVM%
		}.
\NAMECITE{Interpretive}{%
		Adix:1976:IER%
		}.
\NAMECITE{interpretive-execution}{%
		Osisek:1991:EIA%
		}.
\NAMECITE{Introspection}{%
		Wright:2006:IJV%
		}.
\NAMECITE{intrusions}{%
		Joshi:2005:DPP%
		}.
\NAMECITE{Iron}{%
		Anonymous:2005:NPV%
		}.
\NAMECITE{ISDN}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Isolated}{%
		Jensen:1979:FAC%
		}.
\NAMECITE{isolation}{%
		Madnick:1973:AAV%
		}.
\NAMECITE{{ISPAN}}{%
		Horiguchi:1994:ISP%
		}.
\NAMECITE{ISSTA}{%
		Ostrand:1994:PIS%
		}.
\NAMECITE{Issues}{%
		Turek:1984:IDV%
		}.
\NAMECITE{Italy}{%
		Basin:2003:TPH%
		}.
\NAMECITE{Itanium}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{Itanium-based}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{IVME}{%
		Ertl:2003:IVM%
		}.


\NAMECITE{{J2EE}}{%
		Jordan:2006:SJT%
		}.
\NAMECITE{Jahrestagung}{%
		Muhlbacher:1975:GIF%
		}.
\NAMECITE{January}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{{Japan}}{%
		Horiguchi:1994:ISP%
		}.
\NAMECITE{Java}{%
		Lewis:1999:EBP,%
		Sun:1995:JVMa%
		}.
\NAMECITE{jetzt}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{JPDA}{%
		Sun:1999:JPD%
		}.
\NAMECITE{July}{%
		STUG:1983:PUA%
		}.
\NAMECITE{June}{%
		IEEE:1985:CPA%
		}.
\NAMECITE{JVM}{%
		Anonymous:2000:AJV,%
		USENIX:2001:PJV%
		}.
\NAMECITE{JVMPI}{%
		Sun:1995:JVMb%
		}.


\NAMECITE{Kailua}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{Kailua-Kona}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{Kanazawa}{%
		Horiguchi:1994:ISP%
		}.
\NAMECITE{Karlsruhe}{%
		ACM:2003:ATA%
		}.
\NAMECITE{KDE}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Kernel}{%
		Karger:1990:VSK%
		}.
\NAMECITE{kernels}{%
		Hohmuth:2004:RTS%
		}.
\NAMECITE{{Kingdom}}{%
		Vrable:2005:SPA%
		}.
\NAMECITE{knowledge}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{Kona}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{Konfiguration}{%
		Born:2001:VWP%
		}.
\NAMECITE{Konzeption}{%
		Zimmer:2006:VSV%
		}.
\NAMECITE{{KVM}}{%
		Gold:1984:KR%
		}.
\NAMECITE{{KVM/\penalty0{}370}}{%
		Gold:1984:KR%
		}.


\NAMECITE{{L}}{%
		Lott:1991:DVM%
		}.
\NAMECITE{Laboratory}{%
		Kim:1984:EVM%
		}.
\NAMECITE{Lambda}{%
		Watson:1986:PRL%
		}.
\NAMECITE{Landing}{%
		ACM:2003:SPA%
		}.
\NAMECITE{language}{%
		Sitton:1973:PEL%
		}.
\NAMECITE{languages}{%
		Suski:1976:AGC%
		}.
\NAMECITE{large}{%
		DeRemer:1975:PLV%
		}.
\NAMECITE{Large-Scale}{%
		Scott:1989:EOS%
		}.
\NAMECITE{legacy}{%
		LeVasseur:2004:SAR%
		}.
\NAMECITE{Lessons}{%
		ACM:2003:ATA%
		}.
\NAMECITE{Leuven}{%
		ACM:2004:PWA%
		}.
\NAMECITE{level}{%
		Infante:1975:PSP%
		}.
\NAMECITE{leveraging}{%
		Zhang:2005:FVM%
		}.
\NAMECITE{Libraries}{%
		Drapeau:1993:SLT%
		}.
\NAMECITE{Library}{%
		Crowl:1993:CLI%
		}.
\NAMECITE{Life}{%
		Zoppke:2006:VLE%
		}.
\NAMECITE{Like}{%
		Abramson:1980:WGL%
		}.
\NAMECITE{{LILA}}{%
		Danvy:1986:LVM%
		}.
\NAMECITE{{L}imbo}{%
		Lucent:1997:LPL%
		}.
\NAMECITE{limited}{%
		Choi:2008:SHM%
		}.
\NAMECITE{{Linux}}{%
		Compton:2000:VLB%
		}.
\NAMECITE{{Lisp}}{%
		Carr:1987:EUC%
		}.
\NAMECITE{{LITL}}{%
		Lamming:1975:LVM%
		}.
\NAMECITE{Live}{%
		Chen:2006:LUO%
		}.
\NAMECITE{load}{%
		Xu:1990:HMD%
		}.
\NAMECITE{Local}{%
		Perez-Cazares:1989:DAL%
		}.
\NAMECITE{locality}{%
		So:1988:PLV%
		}.
\NAMECITE{Location}{%
		USENIX:1993:PUM%
		}.
\NAMECITE{Location-Independent}{%
		USENIX:1993:PUM%
		}.
\NAMECITE{Logic}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{Logical}{%
		Rong:1993:LMM%
		}.
\NAMECITE{Logically}{%
		Jensen:1979:FAC%
		}.
\NAMECITE{Logics}{%
		Basin:2003:TPH%
		}.
\NAMECITE{{LogP}}{%
		Culler:1993:LTR%
		}.
\NAMECITE{loss}{%
		Chang:2007:VMS%
		}.
\NAMECITE{{LOTOS}}{%
		Manas:1991:VLM%
		}.
\NAMECITE{low}{%
		Gaudiot:1985:PES%
		}.
\NAMECITE{low-resolution}{%
		Gaudiot:1985:PES%
		}.


\NAMECITE{m}{%
		USENIX:2001:PJV,%
		Abramsky:1982:SMV,%
		Abramsky:1985:SMV%
		}.
\NAMECITE{{M-series}}{%
		Kojima:1983:AMI%
		}.
\NAMECITE{{MAC}}{%
		Sailer:2005:BMB%
		}.
\NAMECITE{{MAC}-Based}{%
		Sailer:2005:BMB%
		}.
\NAMECITE{Mach}{%
		USENIX:1991:PUM,%
		Malan:1991:MA%
		}.
\NAMECITE{Machine}{%
		Adair:1966:VMS,%
		Carr:1987:EUC%
		}.
\NAMECITE{Machine-Based}{%
		Wang:1981:VMB%
		}.
\NAMECITE{{Machines}}{%
		Cladingboel:1997:RJV%
		}.
\NAMECITE{Mail}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Mainstream}{%
		Uhlig:2006:F%
		}.
\NAMECITE{maintaining}{%
		Huang:2006:PMA%
		}.
\NAMECITE{maintenance}{%
		Lowell:2004:DVM%
		}.
\NAMECITE{malware}{%
		Crandall:2006:TSD%
		}.
\NAMECITE{Management}{%
		McDonald:1986:TND%
		}.
\NAMECITE{Managing}{%
		Krsul:2004:VPM%
		}.
\NAMECITE{Manual}{%
		Cohen:1983:PSR%
		}.
\NAMECITE{Mapped}{%
		Herbordt:1993:EEA%
		}.
\NAMECITE{Mapping}{%
		Baker:1983:MAS%
		}.
\NAMECITE{March}{%
		Shih:2005:ICA%
		}.
\NAMECITE{Maryland}{%
		Anonymous:1993:NCS%
		}.
\NAMECITE{Maschinen}{%
		Zimmer:2006:VSV%
		}.
\NAMECITE{{Massachusetts}}{%
		IEEE:1985:CPA%
		}.
\NAMECITE{Massively}{%
		Blelloch:1990:CCO%
		}.
\NAMECITE{{Mat{\'e}}}{%
		Levis:2002:MTV%
		}.
\NAMECITE{matrix}{%
		Kratzer:1990:MPS%
		}.
\NAMECITE{May}{%
		Martin:1981:RFS%
		}.
\NAMECITE{{MC68020}}{%
		MacGregor:1984:MM%
		}.
\NAMECITE{{MCG}}{%
		Zimmermann:2006:AHM%
		}.
\NAMECITE{{MCG}-mesh}{%
		Zimmermann:2006:AHM%
		}.
\NAMECITE{Measurement}{%
		Callaway:1975:PMT%
		}.
\NAMECITE{Measures}{%
		Attanasio:1979:VCS%
		}.
\NAMECITE{mechanics}{%
		Miller:1998:VMB%
		}.
\NAMECITE{meet}{%
		Ford:1996:MMR%
		}.
\NAMECITE{mehr}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Memory}{%
		Baden:1982:HPS%
		}.
\NAMECITE{memory-limited}{%
		Choi:2008:SHM%
		}.
\NAMECITE{Memory-Resident}{%
		Whang:1990:QOM%
		}.
\NAMECITE{mesh}{%
		Zimmermann:2006:AHM%
		}.
\NAMECITE{message}{%
		Xu:1990:HMD%
		}.
\NAMECITE{message-passing}{%
		Xu:1990:HMD%
		}.
\NAMECITE{messaging}{%
		Joos:2006:OHE%
		}.
\NAMECITE{methodology}{%
		Farrow:1989:VCB%
		}.
\NAMECITE{methods}{%
		Ballard:1986:QSD%
		}.
\NAMECITE{Mexico}{%
		ACM:2000:CPI%
		}.
\NAMECITE{{MGC'05}}{%
		ACM:2005:MPI%
		}.
\NAMECITE{{Micon}}{%
		Birmingham:1989:MSC%
		}.
\NAMECITE{microcomputer}{%
		Unger:1982:OSZ%
		}.
\NAMECITE{microkernel}{%
		Golub:1993:MER%
		}.
\NAMECITE{Microkernels}{%
		Ford:1996:MMR%
		}.
\NAMECITE{microprocessor}{%
		Wilding-White:1977:MBI%
		}.
\NAMECITE{microprocessors}{%
		Butt:1994:RDS%
		}.
\NAMECITE{microprogrammable}{%
		Bagley:1976:SFM%
		}.
\NAMECITE{{Microsoft}}{%
		Nourse:1992:MWN%
		}.
\NAMECITE{Middleware}{%
		ACM:2005:MPI%
		}.
\NAMECITE{minicomputer}{%
		Kobayashi:1979:SMC%
		}.
\NAMECITE{MiniComputers}{%
		Hartmann:1977:CPC%
		}.
\NAMECITE{minidisk}{%
		Bozman:1989:VSM%
		}.
\NAMECITE{Minneapolis}{%
		IEEE:1992:PSM%
		}.
\NAMECITE{Minnesota}{%
		IEEE:1992:PSM%
		}.
\NAMECITE{misses}{%
		Bershad:1994:ACM%
		}.
\NAMECITE{Mixing}{%
		Lin:2005:VMB%
		}.
\NAMECITE{mobile}{%
		Inoue:2006:VNP%
		}.
\NAMECITE{mode}{%
		Coffing:1999:XPM%
		}.
\NAMECITE{{MODEF}}{%
		Steensgaard-Madsen:1984:DPL%
		}.
\NAMECITE{model}{%
		Williams:1975:CMI%
		}.
\NAMECITE{Modeling}{%
		Cremers:1978:FMV%
		}.
\NAMECITE{models}{%
		Ackerman:1992:SIE,%
		Blelloch:1989:SPP%
		}.
\NAMECITE{modular}{%
		Tollenaere:1991:SMN%
		}.
\NAMECITE{Modularity}{%
		Sebes:1993:MAL%
		}.
\NAMECITE{Monitor}{%
		Renaud:1978:UVM%
		}.
\NAMECITE{monitoring}{%
		Argade:1994:TMR%
		}.
\NAMECITE{Monitors}{%
		Kelem:1991:SMV%
		}.
\NAMECITE{Monterey}{%
		USENIX:1991:PUM%
		}.
\NAMECITE{motion}{%
		Liang:2005:DLM%
		}.
\NAMECITE{{Motorola}}{%
		MacGregor:1984:MM%
		}.
\NAMECITE{{MU5}}{%
		Morris:1972:SMO%
		}.
\NAMECITE{Multi}{%
		Muntean:1994:PGM,%
		Jordan:2006:SJT%
		}.
\NAMECITE{{Multi-tasking}}{%
		Jordan:2006:SJT%
		}.
\NAMECITE{multihost}{%
		Bartholomew:2006:QMM%
		}.
\NAMECITE{Multimedia}{%
		Christodoulakis:1991:OOA%
		}.
\NAMECITE{multiple}{%
		Golub:1993:MER%
		}.
\NAMECITE{Multiprocessor}{%
		Aral:1991:PCS%
		}.
\NAMECITE{{Multiprocessor.}}{%
		Brorsson:1989:ESV%
		}.
\NAMECITE{Multiprocessors}{%
		Baden:1987:RTP%
		}.
\NAMECITE{multiprogramming}{%
		Abramsky:1982:SMV%
		}.
\NAMECITE{multitarget}{%
		Bartholomew:2006:QMM%
		}.
\NAMECITE{multitasking}{%
		Thomas:1989:AMM%
		}.
\NAMECITE{multitasking/\penalty0{}multiprocessing}{%
		Thomas:1989:AMM%
		}.
\NAMECITE{mutual}{%
		Saeed:1992:ICM%
		}.
\NAMECITE{{MVM}}{%
		Golub:1993:MER%
		}.
\NAMECITE{{MVP}}{%
		Lott:1991:DVM%
		}.


\NAMECITE{Nancy}{%
		Jouannaud:1985:FPL%
		}.
\NAMECITE{Nassau}{%
		Anonymous:1999:PII%
		}.
\NAMECITE{Native}{%
		Umeno:1987:NMR%
		}.
\NAMECITE{NATUG}{%
		Board:1990:TRA%
		}.
\NAMECITE{NATUG-2}{%
		Board:1990:TRA%
		}.
\NAMECITE{NC}{%
		Board:1990:TRA%
		}.
\NAMECITE{Near}{%
		Umeno:1987:NMR%
		}.
\NAMECITE{Near-Native}{%
		Umeno:1987:NMR%
		}.
\NAMECITE{Net}{%
		Muller:1992:ASP%
		}.
\NAMECITE{NetLCR}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Netstumbler}{%
		Joos:2006:OHE%
		}.
\NAMECITE{NetWare}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Network}{%
		Kent:1980:PNV%
		}.
\NAMECITE{Network-I}{%
		ACM:2003:ATA%
		}.
\NAMECITE{Network-I/O}{%
		ACM:2003:ATA%
		}.
\NAMECITE{networked}{%
		Sirer:1999:DID%
		}.
\NAMECITE{Networking}{%
		Mendelsohn:1983:RVF%
		}.
\NAMECITE{Networks}{%
		Halstead:1979:RTN%
		}.
\NAMECITE{Netzwerk}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Netzwerke}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Netzwerkkonfiguration}{%
		Ward:2003:VWH%
		}.
\NAMECITE{{Neumann}}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{Neural}{%
		Wang:1989:NNS%
		}.
\NAMECITE{Neurocomputer}{%
		Garzon:1992:DTG%
		}.
\NAMECITE{neutron}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{Nevada}{%
		ACM:1981:ASC,%
		ACM:1989:PSN%
		}.
\NAMECITE{Newfoundland}{%
		IEEE:2006:PIS%
		}.
\NAMECITE{next}{%
		Inoue:2006:VNP%
		}.
\NAMECITE{next-generation}{%
		Inoue:2006:VNP%
		}.
\NAMECITE{Nice}{%
		ACM:1990:PAC%
		}.
\NAMECITE{{Niklaus}}{%
		Boszormenyi:2000:SNW%
		}.
\NAMECITE{node}{%
		Lowell:2004:DVM%
		}.
\NAMECITE{Nodes}{%
		Volz:1990:VNU%
		}.
\NAMECITE{non}{%
		Kaneda:2005:VMM%
		}.
\NAMECITE{non-dedicated}{%
		Kaneda:2005:VMM%
		}.
\NAMECITE{notebook}{%
		IBM:1994:CGN%
		}.
\NAMECITE{Novell}{%
		Ward:2003:VWH%
		}.
\NAMECITE{November}{%
		ACM:1975:PFS%
		}.
\NAMECITE{nutzen}{%
		Zimmer:2006:VSV%
		}.


\NAMECITE{O}{%
		ACM:2003:ATA,%
		Abramson:2006:IVT%
		}.
\NAMECITE{Oakland}{%
		IEEE:1984:PSS%
		}.
\NAMECITE{{OASIS}}{%
		Unger:1982:OSZ%
		}.
\NAMECITE{Oberon}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Object}{%
		Baden:1982:HPS%
		}.
\NAMECITE{Object-Based}{%
		Baden:1982:HPS%
		}.
\NAMECITE{object-oriented}{%
		Bhaskar:1986:VIO%
		}.
\NAMECITE{October}{%
		Board:1990:TRA%
		}.
\NAMECITE{Oktober}{%
		Muhlbacher:1975:GIF%
		}.
\NAMECITE{Oleco}{%
		Joos:2006:OHE%
		}.
\NAMECITE{On-Demand}{%
		Smith:2006:SID%
		}.
\NAMECITE{online}{%
		Lowell:2004:DVM%
		}.
\NAMECITE{Online-Handbuch}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Ontario}{%
		STUG:1983:PUA%
		}.
\NAMECITE{onto}{%
		Baker:1983:MAS%
		}.
\NAMECITE{Open}{%
		Sailer:2005:BMB%
		}.
\NAMECITE{Open-Source}{%
		Sailer:2005:BMB%
		}.
\NAMECITE{OpenOffice}{%
		Joos:2006:OHE%
		}.
\NAMECITE{operating}{%
		Morris:1972:SMO%
		}.
\NAMECITE{Operation}{%
		Zoppke:2006:VLE%
		}.
\NAMECITE{operations}{%
		Muir:2006:POP%
		}.
\NAMECITE{Optimises}{%
		Warren:1980:IPI%
		}.
\NAMECITE{Optimization}{%
		Whang:1990:QOM%
		}.
\NAMECITE{Optimizing}{%
		Menon:2006:ONV%
		}.
\NAMECITE{Order}{%
		Basin:2003:TPH%
		}.
\NAMECITE{Organization}{%
		Kamrad:1983:ROA%
		}.
\NAMECITE{organizer}{%
		Mathiske:2000:APM%
		}.
\NAMECITE{organizing}{%
		Ozgur:1990:SON%
		}.
\NAMECITE{{Orient}}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{oriented}{%
		Bhaskar:1986:VIO%
		}.
\NAMECITE{Origin}{%
		Denning:2001:OVM%
		}.
\NAMECITE{orthogonally}{%
		Lewis:2000:APH%
		}.
\NAMECITE{{OSCAR}}{%
		Vallee:2006:OTX%
		}.
\NAMECITE{Other}{%
		MacKinnon:1979:CVM%
		}.
\NAMECITE{{OtOt}}{%
		Damodaran-Kamal:1994:TRP%
		}.
\NAMECITE{Ottawa}{%
		ACM:2006:VPS%
		}.
\NAMECITE{Outline}{%
		Keedy:1977:OIS%
		}.
\NAMECITE{overcommitted}{%
		Wells:2006:HSS%
		}.
\NAMECITE{overheads}{%
		Menon:2005:DPO%
		}.
\NAMECITE{Overview}{%
		Lau:1987:OCV%
		}.


\NAMECITE{{P}}{%
		Dommergaard:1980:FDP%
		}.
\NAMECITE{{P}-Code}{%
		Dommergaard:1980:FDP%
		}.
\NAMECITE{{P.R.O.S.E}}{%
		VanHensbergen:2006:PRP%
		}.
\NAMECITE{PA}{%
		ACM:2004:SHP,%
		IEEE:2004:FIA%
		}.
\NAMECITE{Package}{%
		Plata:1990:ASP%
		}.
\NAMECITE{Packages}{%
		Jim-Min:1992:IES%
		}.
\NAMECITE{{PACT'06}}{%
		ACM:2006:PPI%
		}.
\NAMECITE{Paging}{%
		Brawn:1970:SPE%
		}.
\NAMECITE{{Palm}}{%
		Mathiske:2000:APM%
		}.
\NAMECITE{papers}{%
		Gilbert:1988:TSW%
		}.
\NAMECITE{{PARALISP}}{%
		Cohen:1983:PSR%
		}.
\NAMECITE{parallel}{%
		Lesser:1974:DEP,%
		Blelloch:1989:SPP%
		}.
\NAMECITE{Paranoid}{%
		Bauer:2005:PPF%
		}.
\NAMECITE{ParCo93}{%
		Joubert:1994:PCT%
		}.
\NAMECITE{{PAROS}}{%
		Muntean:1994:PGM%
		}.
\NAMECITE{Parser}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{Part}{%
		Hamilton:1992:SHU%
		}.
\NAMECITE{partitioned}{%
		VanHensbergen:2006:PRP%
		}.
\NAMECITE{Partitioning}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Pascal}{%
		Hartmann:1977:CPC%
		}.
\NAMECITE{passing}{%
		Xu:1990:HMD%
		}.
\NAMECITE{past}{%
		Burnet:1996:PCP%
		}.
\NAMECITE{{PASTE'01}}{%
		ACM:2001:ASS%
		}.
\NAMECITE{{PATHWORKS}}{%
		Nourse:1992:MWN%
		}.
\NAMECITE{pattern}{%
		Ozgur:1990:SON%
		}.
\NAMECITE{PC}{%
		ACM:2004:PWA%
		}.
\NAMECITE{{PDB}}{%
		Ho:2004:PPD%
		}.
\NAMECITE{{PDP}}{%
		Popek:1975:PVM%
		}.
\NAMECITE{{PDP-11}}{%
		Popek:1975:PVM%
		}.
\NAMECITE{{PDS}}{%
		Alpern:2005:PVE%
		}.
\NAMECITE{\penalty0{}{}}{%
		IBM:1988:VMSa%
		}.
\NAMECITE{{\penalty0{}360}}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{{\penalty0{}370}}{%
		Callaway:1975:PMT%
		}.
\NAMECITE{\penalty0{}390}{%
		Osisek:1991:EIA%
		}.
\NAMECITE{{\penalty0{}4}}{%
		Nanba:1985:VAV%
		}.
\NAMECITE{\penalty0{}40}{%
		Adair:1966:VMS%
		}.
\NAMECITE{{\penalty0{}6000}}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{{\penalty0{}9000}}{%
		Ackerman:1992:SIE%
		}.
\NAMECITE{\penalty0{}ACM}{%
		ACM:2004:SHP%
		}.
\NAMECITE{{\penalty0{}ESA}}{%
		Fischofer:1991:VSS%
		}.
\NAMECITE{{\penalty0{}EXUS}}{%
		Sitton:1973:PEL%
		}.
\NAMECITE{\penalty0{}IEEE}{%
		ACM:2005:PAI%
		}.
\NAMECITE{\penalty0{}ISCOPE}{%
		ACM:2001:PAJ%
		}.
\NAMECITE{{\penalty0{}K}}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{\penalty0{}multiprocessing}{%
		Thomas:1989:AMM%
		}.
\NAMECITE{{\penalty0{}Pass-Through}}{%
		Mendelsohn:1983:RVF%
		}.
\NAMECITE{\penalty0{}software}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{\penalty0{}USENIX}{%
		ACM:2005:PFA%
		}.
\NAMECITE{{\penalty0{}XA}}{%
		Blandy:1989:VSM%
		}.
\NAMECITE{{\penalty0{}XC}}{%
		Gdaniec:1991:VDS%
		}.
\NAMECITE{penguin}{%
		Bauer:2005:PPF%
		}.
\NAMECITE{Performance}{%
		Callaway:1975:PMT%
		}.
\NAMECITE{Periodic}{%
		Lin:2005:VMB%
		}.
\NAMECITE{Persistence}{%
		Schuh:1990:PRI%
		}.
\NAMECITE{Persistent}{%
		Low:1988:SPO%
		}.
\NAMECITE{Personal}{%
		Hirschsohn:1992:PSS%
		}.
\NAMECITE{Pervasive}{%
		Ho:2004:PPD%
		}.
\NAMECITE{{PEVM}}{%
		Lewis:2000:APH%
		}.
\NAMECITE{phases}{%
		Rajan:2002:CPJ%
		}.
\NAMECITE{{PicoJava}}{%
		McGhan:1998:CPP%
		}.
\NAMECITE{Pittsburgh}{%
		ACM:2004:SHP%
		}.
\NAMECITE{{PL}}{%
		Sitton:1973:PEL%
		}.
\NAMECITE{{PL/\penalty0{}EXUS}}{%
		Sitton:1973:PEL%
		}.
\NAMECITE{{PlanetFlow}}{%
		Huang:2006:PMA%
		}.
\NAMECITE{{PlanetLab}}{%
		Muir:2006:POP%
		}.
\NAMECITE{plans}{%
		Lott:1991:DVM%
		}.
\NAMECITE{Planung}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{Platform}{%
		Sun:1999:JPD%
		}.
\NAMECITE{platforms}{%
		Smith:2005:VMV%
		}.
\NAMECITE{Player}{%
		Joos:2006:OHE%
		}.
\NAMECITE{plotter}{%
		Mebane:1992:EFD%
		}.
\NAMECITE{Plural}{%
		Umeno:1987:NMR%
		}.
\NAMECITE{polymer}{%
		Nakanishi:1992:SSP%
		}.
\NAMECITE{{POPLOG}}{%
		Smith:1990:PTL%
		}.
\NAMECITE{Port}{%
		Darcy:1992:USD%
		}.
\NAMECITE{Portability}{%
		Hirschsohn:1992:PSS%
		}.
\NAMECITE{Portable}{%
		Ibsen:1984:PVM%
		}.
\NAMECITE{Porting}{%
		Jolitz:1991:PUS%
		}.
\NAMECITE{Portland}{%
		USENIX:1985:SCP%
		}.
\NAMECITE{posium}{%
		USENIX:2001:PJV%
		}.
\NAMECITE{Power}{%
		Muller:2006:SVP%
		}.
\NAMECITE{{PowerPC}}{%
		Butt:1994:RDS%
		}.
\NAMECITE{Practical}{%
		Knaggs:1993:PTA%
		}.
\NAMECITE{Practices}{%
		McGhan:1998:CPP%
		}.
\NAMECITE{Praxisf{\"u}hrer}{%
		Born:2001:VWP%
		}.
\NAMECITE{Pre}{%
		LeVasseur:2005:PVU%
		}.
\NAMECITE{Pre-virtualization}{%
		LeVasseur:2005:PVU%
		}.
\NAMECITE{Precision}{%
		Bergh:1987:HEH%
		}.
\NAMECITE{preconditioned}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{Predicate}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{predicates}{%
		Joshi:2005:DPP%
		}.
\NAMECITE{{Predictable}}{%
		Henzinger:2007:EMP%
		}.
\NAMECITE{prediction}{%
		Rajaraman:1979:PPV%
		}.
\NAMECITE{Preliminary}{%
		Herbordt:1993:EEA%
		}.
\NAMECITE{PreScheme}{%
		Ramsdell:1993:RVP%
		}.
\NAMECITE{present}{%
		Joshi:2005:DPP%
		}.
\NAMECITE{presented}{%
		ACM:1990:PAC%
		}.
\NAMECITE{Preserving}{%
		Burnet:1996:PCP%
		}.
\NAMECITE{primitive}{%
		Ballard:1986:QSD%
		}.
\NAMECITE{{PRIMITIVES}}{%
		Blelloch:1989:SPP%
		}.
\NAMECITE{Principles}{%
		ACM:1975:PFS%
		}.
\NAMECITE{Privileged}{%
		Muir:2006:POP%
		}.
\NAMECITE{problem}{%
		Majumdar:1992:PPC%
		}.
\NAMECITE{{Proceedings}}{%
		ACM:1975:PFS%
		}.
\NAMECITE{Process}{%
		Aral:1991:PCS%
		}.
\NAMECITE{Processes}{%
		Kim:1984:EVM%
		}.
\NAMECITE{processor}{%
		Lucchetti:2005:EDR%
		}.
\NAMECITE{Processors}{%
		Muller:1992:ASP%
		}.
\NAMECITE{product}{%
		IBM:1988:VMSa%
		}.
\NAMECITE{Products}{%
		Anonymous:2005:NPV%
		}.
\NAMECITE{{Professional}}{%
		Hammersley:2007:PVS%
		}.
\NAMECITE{professionellen}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{Profiling}{%
		Sun:1995:JVMb%
		}.
\NAMECITE{program}{%
		Bhaskar:1986:VIO%
		}.
\NAMECITE{Programmable}{%
		Kent:1980:PNV%
		}.
\NAMECITE{Programming}{%
		DeRemer:1975:PLV,%
		Abramski:1985:SMV%
		}.
\NAMECITE{Programming-in-the}{%
		DeRemer:1975:PLV%
		}.
\NAMECITE{programming-in-the-small}{%
		DeRemer:1975:PLV%
		}.
\NAMECITE{programs}{%
		Infante:1975:PSP%
		}.
\NAMECITE{project}{%
		Lott:1991:DVM,%
		Rounce:1990:AWE%
		}.
\NAMECITE{Prolog}{%
		Odette:1987:CPF,%
		Warren:1980:IPI%
		}.
\NAMECITE{proof}{%
		Arvizo:2002:VMT%
		}.
\NAMECITE{Properties}{%
		Belpaire:1975:FPR%
		}.
\NAMECITE{proposed}{%
		Greenfield:1991:PIT%
		}.
\NAMECITE{protected}{%
		Coffing:1999:XPM%
		}.
\NAMECITE{protection}{%
		Popek:1975:VPS%
		}.
\NAMECITE{protocol}{%
		Meleshchuk:1991:IPP%
		}.
\NAMECITE{protocols}{%
		Despons:1993:CCP%
		}.
\NAMECITE{Prototype}{%
		Simpkins:1992:AVP%
		}.
\NAMECITE{Providerwahl}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Providing}{%
		Krsul:2004:VPM%
		}.
\NAMECITE{Proving}{%
		Infante:1975:PSP%
		}.
\NAMECITE{proxies}{%
		Eugster:2006:UPJ%
		}.
\NAMECITE{pseudo}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{pseudo-random}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{Purpose}{%
		Garzon:1992:DTG%
		}.
\NAMECITE{purposes}{%
		Williams:1975:CMI%
		}.
\NAMECITE{pyramid}{%
		Mzaik:1993:SPA%
		}.


\NAMECITE{{QEMU}}{%
		Bartholomew:2006:QMM%
		}.
\NAMECITE{quantification}{%
		Bockisch:2006:ECF%
		}.
\NAMECITE{Query}{%
		Whang:1990:QOM%
		}.
\NAMECITE{{QUICKTALK}}{%
		Ballard:1986:QSD%
		}.


\NAMECITE{races}{%
		Damodaran-Kamal:1994:TRP%
		}.
\NAMECITE{random}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{randomized}{%
		Janakiram:1988:RPB%
		}.
\NAMECITE{range}{%
		Huxtable:1977:HSI%
		}.
\NAMECITE{Rapid}{%
		Butt:1994:RDS%
		}.
\NAMECITE{real}{%
		Adix:1976:IER%
		}.
\NAMECITE{real-time}{%
		Adix:1976:IER%
		}.
\NAMECITE{realistic}{%
		Culler:1993:LTR%
		}.
\NAMECITE{Realizing}{%
		Umeno:1987:NMR%
		}.
\NAMECITE{Reclamation}{%
		Baden:1982:HPS%
		}.
\NAMECITE{recognition}{%
		Ozgur:1990:SON%
		}.
\NAMECITE{recovering}{%
		Lucchetti:2005:EDR%
		}.
\NAMECITE{recovery}{%
		Taylor:1976:RRH,%
		Bennett:1991:SMC%
		}.
\NAMECITE{Recursion}{%
		Warren:1980:IPI%
		}.
\NAMECITE{Recursive}{%
		Belpaire:1975:FPR%
		}.
\NAMECITE{Redefining}{%
		Casazza:2006:RSP%
		}.
\NAMECITE{Reducing}{%
		Hu:1990:RTC%
		}.
\NAMECITE{Reduction}{%
		Watson:1986:PRL%
		}.
\NAMECITE{Redundancy}{%
		Taylor:1976:RRH%
		}.
\NAMECITE{Reference}{%
		Halstead:1979:RTN%
		}.
\NAMECITE{Reflections}{%
		Mendelsohn:1983:RVF%
		}.
\NAMECITE{Register}{%
		Carr:1987:EUC%
		}.
\NAMECITE{Reincarnation}{%
		Rosenblum:2004:RVM%
		}.
\NAMECITE{Relational}{%
		Whang:1990:QOM%
		}.
\NAMECITE{release}{%
		IBM:1994:CGN%
		}.
\NAMECITE{reliability}{%
		Madnick:1974:AAV%
		}.
\NAMECITE{reliable}{%
		VanHensbergen:2006:PRP%
		}.
\NAMECITE{{Rendezvous}}{%
		Sterrett:1992:PMA%
		}.
\NAMECITE{Reno}{%
		ACM:1989:PSN%
		}.
\NAMECITE{report}{%
		Pulman:1991:EER%
		}.
\NAMECITE{representation}{%
		Ishikawa:1986:COO%
		}.
\NAMECITE{Requirements}{%
		Popek:1974:FRV%
		}.
\NAMECITE{Resident}{%
		Whang:1990:QOM%
		}.
\NAMECITE{resolution}{%
		Gaudiot:1985:PES%
		}.
\NAMECITE{Resource}{%
		Bennett:1991:SMC%
		}.
\NAMECITE{restoration}{%
		Burnet:1996:PCP%
		}.
\NAMECITE{Results}{%
		Herbordt:1993:EEA%
		}.
\NAMECITE{Retargetable}{%
		Ganapathi:1982:RCC%
		}.
\NAMECITE{Retrospect}{%
		Gold:1984:KR%
		}.
\NAMECITE{returned}{%
		Bullers:2006:VMI%
		}.
\NAMECITE{reuse}{%
		LeVasseur:2004:SAR%
		}.
\NAMECITE{Reviewers}{%
		Anonymous:2006:TR%
		}.
\NAMECITE{Revised}{%
		Ramsdell:1993:RVP%
		}.
\NAMECITE{Revisited}{%
		Schuh:1990:PRI%
		}.
\NAMECITE{right}{%
		Heiser:2006:VMM%
		}.
\NAMECITE{RISC}{%
		Aharon:1991:VIR,%
		Bush:1987:CSR%
		}.
\NAMECITE{risks}{%
		Bellovin:2006:IRV%
		}.
\NAMECITE{{Rob}}{%
		Bastiaansen:2004:RGU%
		}.
\NAMECITE{Robot}{%
		Armstrong:1978:PPC%
		}.
\NAMECITE{Rockefeller}{%
		IEEE:1990:PSN%
		}.
\NAMECITE{Rome}{%
		Basin:2003:TPH%
		}.
\NAMECITE{rule}{%
		Pulman:1991:EER%
		}.
\NAMECITE{Run}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Run-Time}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Running}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Runtime}{%
		Kamrad:1983:ROA%
		}.


\NAMECITE{S.u.S.E}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Sagamore}{%
		ACM:2003:SPA%
		}.
\NAMECITE{Scale}{%
		Scott:1989:EOS%
		}.
\NAMECITE{Scaling}{%
		Jordan:2006:SJT%
		}.
\NAMECITE{{SCAN}}{%
		Blelloch:1989:SPP%
		}.
\NAMECITE{Scheduling}{%
		Wendorf:1989:SOS%
		}.
\NAMECITE{schema}{%
		Sarda:1981:CAD%
		}.
\NAMECITE{{Scheme}}{%
		Feeley:1990:PVM%
		}.
\NAMECITE{{Sciences}}{%
		Milutinovic:1991:PTA%
		}.
\NAMECITE{Scientific}{%
		Baden:1987:RTP%
		}.
\NAMECITE{Scripting}{%
		Muller:2006:SVP%
		}.
\NAMECITE{Seamless}{%
		Hirschsohn:1992:PSS%
		}.
\NAMECITE{search}{%
		Crandall:2006:TSD%
		}.
\NAMECITE{Seattle}{%
		Ostrand:1994:PIS%
		}.
\NAMECITE{{SECD}}{%
		Abramsky:1982:SMV,%
		Abramsky:1985:SMV%
		}.
\NAMECITE{{SECD-M}}{%
		Abramsky:1982:SMV,%
		Abramsky:1985:SMV%
		}.
\NAMECITE{Second}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{secure}{%
		Zhao:2005:SSV%
		}.
\NAMECITE{security}{%
		Madnick:1973:AAV%
		}.
\NAMECITE{security-oriented}{%
		Inoue:2006:VNP%
		}.
\NAMECITE{seinen}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{self}{%
		Ozgur:1990:SON%
		}.
\NAMECITE{Semantic}{%
		Daszczuk:1991:SSD%
		}.
\NAMECITE{semantics}{%
		Wallace:1976:SGI%
		}.
\NAMECITE{sensor}{%
		Levis:2002:MTV%
		}.
\NAMECITE{sensors}{%
		Asrigo:2006:UVB%
		}.
\NAMECITE{Separation}{%
		Kelem:1991:SMV%
		}.
\NAMECITE{September}{%
		ACM:1981:ASC%
		}.
\NAMECITE{sequential}{%
		Clocksin:1985:DSS%
		}.
\NAMECITE{Series}{%
		Keedy:1977:OIS,%
		Kojima:1983:AMI%
		}.
\NAMECITE{Server}{%
		Russell:2002:SCI,%
		Russell:2002:SCI%
		}.
\NAMECITE{servers}{%
		Jordan:2006:SJT%
		}.
\NAMECITE{service}{%
		Chang:2007:VMS%
		}.
\NAMECITE{Services}{%
		Bagley:1975:SDS%
		}.
\NAMECITE{Shared}{%
		Low:1988:SPO%
		}.
\NAMECITE{Shared-Memory}{%
		Scott:1989:EOS%
		}.
\NAMECITE{Sharing}{%
		Meyer:1970:VMT%
		}.
\NAMECITE{SIGCOMM}{%
		ACM:2003:ATA%
		}.
\NAMECITE{SIGCSE}{%
		ACM:2006:PST%
		}.
\NAMECITE{Signal}{%
		Muller:1992:ASP%
		}.
\NAMECITE{SIGOPS}{%
		ACM:2004:PWA%
		}.
\NAMECITE{SIGPLAN}{%
		ACM:2001:ASS%
		}.
\NAMECITE{{SIMD}}{%
		Signorini:1989:HSM%
		}.
\NAMECITE{{Simics}}{%
		Magnusson:2002:SFS%
		}.
\NAMECITE{Simple}{%
		Baker:1983:MAS%
		}.
\NAMECITE{Simplicity}{%
		Boszormenyi:2000:SNW%
		}.
\NAMECITE{simulated}{%
		Gaudiot:1985:PES%
		}.
\NAMECITE{Simulating}{%
		Pountain:1990:SPP%
		}.
\NAMECITE{Simulation}{%
		Kumar:1978:PEH%
		}.
\NAMECITE{simulations}{%
		Board:1990:PPN%
		}.
\NAMECITE{Simulator}{%
		Cohen:1983:PSR%
		}.
\NAMECITE{Simulators}{%
		Supnik:2004:SVM%
		}.
\NAMECITE{{Singapore}}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{single}{%
		Fischofer:1991:VSS%
		}.
\NAMECITE{Single-Computer}{%
		Childs:2005:SCG%
		}.
\NAMECITE{single-node}{%
		Lowell:2004:DVM%
		}.
\NAMECITE{Sixth}{%
		ACM:2005:APS,%
		Turner:2006:SIS%
		}.
\NAMECITE{Size}{%
		Lamming:1975:LVM%
		}.
\NAMECITE{Skype}{%
		Joos:2006:OHE%
		}.
\NAMECITE{sledgehammer}{%
		LeVasseur:2004:SAR%
		}.
\NAMECITE{Slim}{%
		Abramson:1980:WGL%
		}.
\NAMECITE{small}{%
		DeRemer:1975:PLV%
		}.
\NAMECITE{small-scale}{%
		Wendorf:1989:SOS%
		}.
\NAMECITE{Smalltalk}{%
		Gilbert:1988:TSW,%
		Ballard:1986:QSD%
		}.
\NAMECITE{{Smalltalk-80}}{%
		Ballard:1986:QSD%
		}.
\NAMECITE{Smooth}{%
		Demillo:1989:DSC%
		}.
\NAMECITE{Snowbird}{%
		ACM:2001:ASS%
		}.
\NAMECITE{{SOAR}}{%
		Samples:1986:SSB%
		}.
\NAMECITE{Solaris}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Some}{%
		Kermarrec:1988:SEA%
		}.
\NAMECITE{Sorting}{%
		Brawn:1970:SPE%
		}.
\NAMECITE{{SOSP}}{%
		ACM:2003:SPA%
		}.
\NAMECITE{source}{%
		Butt:1994:RDS%
		}.
\NAMECITE{source-level}{%
		Butt:1994:RDS%
		}.
\NAMECITE{{SP}}{%
		IBM:1994:CGN%
		}.
\NAMECITE{{SP2}}{%
		Bozman:1989:VSM%
		}.
\NAMECITE{spaces}{%
		Gdaniec:1991:VDS%
		}.
\NAMECITE{Span}{%
		Rounce:1990:AWE%
		}.
\NAMECITE{sparse}{%
		Kratzer:1990:MPS%
		}.
\NAMECITE{sparse-matrix}{%
		Kratzer:1990:MPS%
		}.
\NAMECITE{Spatially}{%
		Herbordt:1993:EEA%
		}.
\NAMECITE{Special}{%
		Bagley:1976:SFM%
		}.
\NAMECITE{specific}{%
		Joshi:2005:DPP%
		}.
\NAMECITE{Specification}{%
		Moore:1979:IVM%
		}.
\NAMECITE{{SPECjvm98}}{%
		Li:2000:UCS%
		}.
\NAMECITE{spin}{%
		Wells:2006:HSS%
		}.
\NAMECITE{{Spotless}}{%
		Mathiske:2000:APM%
		}.
\NAMECITE{Spotlighting}{%
		Anonymous:2006:PGI%
		}.
\NAMECITE{stack}{%
		Wilding-White:1977:MBI%
		}.
\NAMECITE{standard}{%
		Anonymous:1994:SAS%
		}.
\NAMECITE{Standards}{%
		Martin:1981:RFS%
		}.
\NAMECITE{states}{%
		Miller:1998:VMB%
		}.
\NAMECITE{Storage}{%
		Parmelee:1972:VSV%
		}.
\NAMECITE{Store}{%
		Low:1988:SPO%
		}.
\NAMECITE{strategies}{%
		Tetzlaff:1989:ABS%
		}.
\NAMECITE{strategy}{%
		Damodaran-Kamal:1994:TRP%
		}.
\NAMECITE{Streams}{%
		Manning:1993:AAE%
		}.
\NAMECITE{stress}{%
		Miller:1998:VMB%
		}.
\NAMECITE{Striping}{%
		Drapeau:1993:SLT%
		}.
\NAMECITE{Stripped}{%
		Jolitz:1991:PUS%
		}.
\NAMECITE{Stripped-Down}{%
		Jolitz:1991:PUS%
		}.
\NAMECITE{structure}{%
		Morris:1972:SMO%
		}.
\NAMECITE{Structured}{%
		Gaines:1975:ACV%
		}.
\NAMECITE{Structures}{%
		Aral:1991:PCS%
		}.
\NAMECITE{Study}{%
		Popek:1975:PVM%
		}.
\NAMECITE{Subset}{%
		Sun:1997:JCL%
		}.
\NAMECITE{Subsystem}{%
		Hendricks:1979:EVM%
		}.
\NAMECITE{Summary}{%
		Canon:1979:VME%
		}.
\NAMECITE{Summer}{%
		STUG:1983:PUA,%
		USENIX:1985:SCP%
		}.
\NAMECITE{supercomputer}{%
		Xu:1990:HMD%
		}.
\NAMECITE{Superconcurrent}{%
		Nakanishi:1992:SSP%
		}.
\NAMECITE{support}{%
		Donovan:1976:VMC%
		}.
\NAMECITE{Supporting}{%
		Kim:1984:EVM%
		}.
\NAMECITE{Survey}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{{SUSE}}{%
		Bauer:2006:PPSa%
		}.
\NAMECITE{{SVGrid}}{%
		Zhao:2005:SSV%
		}.
\NAMECITE{Sy}{%
		USENIX:2001:PJV%
		}.
\NAMECITE{Sydney}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{Symmetric}{%
		Giacalone:1989:FSI%
		}.
\NAMECITE{Symposium}{%
		Anonymous:2000:AJV,%
		Anonymous:2002:CRJ%
		}.
\NAMECITE{synthesis}{%
		Bhaskar:1986:VIO%
		}.
\NAMECITE{System}{%
		Adair:1966:VMS,%
		Gum:1983:SEA%
		}.
\NAMECITE{{System/\penalty0{}370}}{%
		Gum:1983:SEA%
		}.
\NAMECITE{{System/\penalty0{}6000}}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{{System/\penalty0{}9000}}{%
		Ackerman:1992:SIE%
		}.
\NAMECITE{Systeme}{%
		Ward:2003:VWH%
		}.


\NAMECITE{Tail}{%
		Warren:1980:IPI%
		}.
\NAMECITE{Taipei}{%
		Shih:2005:ICA%
		}.
\NAMECITE{{Taiwan}}{%
		Shih:2005:ICA%
		}.
\NAMECITE{Taking}{%
		Uhlig:2006:F%
		}.
\NAMECITE{Tape}{%
		Drapeau:1993:SLT%
		}.
\NAMECITE{{tasking}}{%
		Jordan:2006:SJT%
		}.
\NAMECITE{{TCB}}{%
		Hohmuth:2004:RTS%
		}.
\NAMECITE{teaching}{%
		Hamlet:1976:PBT%
		}.
\NAMECITE{Technique}{%
		Jim-Min:1992:IES%
		}.
\NAMECITE{Techniques}{%
		Uehara:1984:BPB%
		}.
\NAMECITE{Technologies}{%
		Padala:2007:PEV%
		}.
\NAMECITE{{Technology}}{%
		Abramson:2006:IVT%
		}.
\NAMECITE{Temporal}{%
		Crandall:2006:TSD%
		}.
\NAMECITE{terminals}{%
		Inoue:2006:VNP%
		}.
\NAMECITE{test}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{testbed}{%
		Zimmermann:2006:AHM%
		}.
\NAMECITE{testbeds}{%
		ACM:2006:PIW%
		}.
\NAMECITE{Testboard}{%
		Kutter:1992:STE%
		}.
\NAMECITE{Testing}{%
		Garzon:1992:DTG%
		}.
\NAMECITE{{Texas}}{%
		IEEE:2002:WII%
		}.
\NAMECITE{their}{%
		Erenyi:1994:IPA%
		}.
\NAMECITE{{Theorem}}{%
		Basin:2003:TPH%
		}.
\NAMECITE{Theoretical}{%
		Knaggs:1993:PTA%
		}.
\NAMECITE{Third}{%
		Popek:1974:FRV%
		}.
\NAMECITE{threaded}{%
		Thanh:1982:ITC%
		}.
\NAMECITE{Thunderbird}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Time}{%
		Meyer:1970:VMT%
		}.
\NAMECITE{Time-Sharing}{%
		Meyer:1970:VMT%
		}.
\NAMECITE{timebombs}{%
		Crandall:2006:TSD%
		}.
\NAMECITE{Timing}{%
		Hu:1990:RTC%
		}.
\NAMECITE{tiny}{%
		Levis:2002:MTV%
		}.
\NAMECITE{{\TM}}{%
		Jordan:2006:SJT%
		}.
\NAMECITE{Tolerant}{%
		Kim:1984:EVM%
		}.
\NAMECITE{tool}{%
		Kobayashi:1979:SMC%
		}.
\NAMECITE{Tools}{%
		Callaway:1975:PMT%
		}.
\NAMECITE{Toronto}{%
		STUG:1983:PUA%
		}.
\NAMECITE{TotalStorage}{%
		Dufrasne:2004:IVE%
		}.
\NAMECITE{TPHOLs}{%
		Basin:2003:TPH%
		}.
\NAMECITE{{Tracing}}{%
		Wolczko:1999:UTJ%
		}.
\NAMECITE{Track}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{Tracking}{%
		Jones:2006:ATP%
		}.
\NAMECITE{Tractable}{%
		Kelsey:1994:TSI%
		}.
\NAMECITE{transient}{%
		Lucchetti:2005:EDR%
		}.
\NAMECITE{Transition}{%
		McDonald:1986:TND%
		}.
\NAMECITE{Transputer}{%
		Board:1990:TRA,%
		Board:1990:TRA%
		}.
\NAMECITE{Tree}{%
		Halstead:1979:RTN%
		}.
\NAMECITE{trends}{%
		vanDoorn:2006:HVT%
		}.
\NAMECITE{Troubleshooting}{%
		Ward:2003:VWH%
		}.
\NAMECITE{Trusted}{%
		Sebes:1993:MAL%
		}.
\NAMECITE{Tucson}{%
		IEEE:2005:PAC%
		}.
\NAMECITE{Tutoring}{%
		Greenfield:1991:PIT%
		}.
\NAMECITE{Twelfth}{%
		Mylopoulos:1991:IPT%
		}.
\NAMECITE{Twenty}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{Twenty-Fourth}{%
		Milutinovic:1991:PTA%
		}.
\NAMECITE{Twenty-Second}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{Two}{%
		Smith:1990:PTL%
		}.
\NAMECITE{Two-level}{%
		Smith:1990:PTL%
		}.
\NAMECITE{type}{%
		Arvizo:2002:VMT%
		}.
\NAMECITE{type-}{%
		Arvizo:2002:VMT%
		}.
\NAMECITE{Typed}{%
		Gilbert:1988:TSW%
		}.


\NAMECITE{{UML}}{%
		Fredriksen:2005:UUV%
		}.
\NAMECITE{{UMLexe}}{%
		Fredriksen:2005:UUV%
		}.
\NAMECITE{uniform}{%
		Bodlaender:1988:CFU%
		}.
\NAMECITE{United}{%
		Vrable:2005:SPA%
		}.
\NAMECITE{uniting}{%
		LeVasseur:2005:PVU%
		}.
\NAMECITE{Units}{%
		Volz:1990:VNU%
		}.
\NAMECITE{{UNIVAC}}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{{UNIX}}{%
		Kojima:1983:AMI%
		}.
\NAMECITE{unleashed}{%
		Anonymous:1997:JVM%
		}.
\NAMECITE{untrusted}{%
		Hohmuth:2004:RTS%
		}.
\NAMECITE{updating}{%
		Chen:2006:LUO%
		}.
\NAMECITE{upgrade}{%
		Chang:2007:VMS%
		}.
\NAMECITE{{USA}}{%
		ACM:1975:PFS%
		}.
\NAMECITE{Usage}{%
		Waldron:1999:AVM%
		}.
\NAMECITE{use}{%
		Kobayashi:1979:SMC%
		}.
\NAMECITE{used}{%
		Thanh:1982:ITC%
		}.
\NAMECITE{User-Level}{%
		Chubb:2006:VUL%
		}.
\NAMECITE{Using}{%
		Darcy:1992:USD%
		}.
\NAMECITE{{UT}}{%
		Renaud:1978:UVM%
		}.
\NAMECITE{{Utah}}{%
		Carr:1987:EUC%
		}.
\NAMECITE{utilizing}{%
		Kaneda:2005:VMM%
		}.


\NAMECITE{validation}{%
		Stark:2001:JJV%
		}.
\NAMECITE{Variable}{%
		Lamming:1975:LVM%
		}.
\NAMECITE{{VAX}}{%
		Karger:1990:VSK%
		}.
\NAMECITE{Vector}{%
		Abramson:1980:WGL,%
		So:1988:PLV%
		}.
\NAMECITE{vectorized}{%
		So:1988:PLV%
		}.
\NAMECITE{VEE}{%
		ACM:2005:PFA,%
		ACM:2006:VPS%
		}.
\NAMECITE{Vegas}{%
		ACM:1981:ASC%
		}.
\NAMECITE{Vergleich}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{verifiable}{%
		Popek:1975:VPS%
		}.
\NAMECITE{Verification}{%
		Aharon:1991:VIR%
		}.
\NAMECITE{versatile}{%
		Smith:2005:VMV%
		}.
\NAMECITE{Version}{%
		Simpkins:1992:AVP%
		}.
\NAMECITE{versus}{%
		DeRemer:1975:PLV%
		}.
\NAMECITE{Verwaltung}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{{VF}e}{%
		Anonymous:2005:NPV%
		}.
\NAMECITE{{VHDL}}{%
		Farrow:1989:VCB%
		}.
\NAMECITE{vieles}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Virtual}{%
		Adair:1966:VMS,%
		Bhaskar:1986:VIO%
		}.
\NAMECITE{virtual-machine}{%
		Hohmuth:2004:RTS%
		}.
\NAMECITE{virtual-time}{%
		Shen:1991:VTD%
		}.
\NAMECITE{virtualised}{%
		Muir:2006:POP%
		}.
\NAMECITE{Virtualisierung}{%
		Sprang:2006:XVL%
		}.
\NAMECITE{Virtualisierungssoftware}{%
		Zimmer:2005:VMV%
		}.
\NAMECITE{Virtualities}{%
		Denning:2001:OVM%
		}.
\NAMECITE{Virtualizable}{%
		Popek:1974:FRV%
		}.
\NAMECITE{virtualization}{%
		Barham:2003:VMM%
		}.
\NAMECITE{virtually}{%
		Treese:2005:VVE%
		}.
\NAMECITE{virtuelle}{%
		Ward:2003:VWH%
		}.
\NAMECITE{{VIRTUS}}{%
		Inoue:2006:VNP%
		}.
\NAMECITE{Vision}{%
		Armstrong:1978:PPC%
		}.
\NAMECITE{Visual}{%
		Miller:1998:VMB%
		}.
\NAMECITE{Visualizing}{%
		Wejchert:1991:VPN%
		}.
\NAMECITE{{VLISP}}{%
		Ramsdell:1993:RVP%
		}.
\NAMECITE{{VLSI}}{%
		Iacobovici:1987:VSP%
		}.
\NAMECITE{VM}{%
		Anonymous:2001:CRJ,%
		Callaway:1975:PMT%
		}.
\NAMECITE{{VM/\penalty0{}370}}{%
		Callaway:1975:PMT%
		}.
\NAMECITE{{VM/\penalty0{}4}}{%
		Nanba:1985:VAV%
		}.
\NAMECITE{{VM/\penalty0{}ESA}}{%
		Fischofer:1991:VSS%
		}.
\NAMECITE{{VM/\penalty0{}Pass}}{%
		Mendelsohn:1983:RVF%
		}.
\NAMECITE{{VM/\penalty0{}Pass-Through}}{%
		Mendelsohn:1983:RVF%
		}.
\NAMECITE{{VM/\penalty0{}XA}}{%
		Blandy:1989:VSM%
		}.
\NAMECITE{{VMM}}{%
		Karger:1990:VSK%
		}.
\NAMECITE{{VMM}-based}{%
		Asrigo:2006:UVB%
		}.
\NAMECITE{{VMM}-Bypass}{%
		Liu:2006:HPV%
		}.
\NAMECITE{{VMPlants}}{%
		Krsul:2004:VPM%
		}.
\NAMECITE{{VMPP}}{%
		Loyot:1992:VVM%
		}.
\NAMECITE{VMware}{%
		Klappheck:2000:BLE,%
		Walters:1999:VVP%
		}.
\NAMECITE{Vol.II}{%
		Shriver:1989:PTA%
		}.
\NAMECITE{{VSched}}{%
		Lin:2005:VMB%
		}.
\NAMECITE{vulnerability}{%
		Joshi:2005:DPP%
		}.
\NAMECITE{vulnerability-specific}{%
		Joshi:2005:DPP%
		}.


\NAMECITE{WA}{%
		ACM:2005:PAI%
		}.
\NAMECITE{way}{%
		Compton:2000:VLB%
		}.
\NAMECITE{weight}{%
		Yu:2006:FWV%
		}.
\NAMECITE{Werkzeugen}{%
		Klappheck:2000:BLE%
		}.
\NAMECITE{Which}{%
		Warren:1980:IPI%
		}.
\NAMECITE{whose}{%
		Bullers:2006:VMI%
		}.
\NAMECITE{Win4Lin}{%
		Ng:2001:VEWb,%
		Ng:2001:VEWa%
		}.
\NAMECITE{Windows}{%
		Born:2001:VWP,%
		Nourse:1992:MWN%
		}.
\NAMECITE{WINRar}{%
		Joos:2006:OHE%
		}.
\NAMECITE{Wireless}{%
		ACM:2006:PIW%
		}.
\NAMECITE{{Wirth}}{%
		Boszormenyi:2000:SNW%
		}.
\NAMECITE{Within}{%
		Rounce:1990:AWE%
		}.
\NAMECITE{without}{%
		Samples:1986:SSB%
		}.
\NAMECITE{working}{%
		Gilbert:1988:TSW%
		}.
\NAMECITE{Workload}{%
		IEEE:2002:WII%
		}.
\NAMECITE{Workshop}{%
		Thomas:1993:PIS%
		}.
\NAMECITE{Workstation}{%
		Born:2001:VWP%
		}.
\NAMECITE{World}{%
		Grebe:1993:TAS%
		}.
\NAMECITE{worlds}{%
		LeVasseur:2005:PVU%
		}.
\NAMECITE{Writing}{%
		Westley:1998:WJA%
		}.
\NAMECITE{WWC}{%
		IEEE:2003:IIW,%
		IEEE:2002:WII%
		}.
\NAMECITE{{WWC-5}}{%
		IEEE:2002:WII%
		}.
\NAMECITE{WWC-6}{%
		IEEE:2003:IIW%
		}.


\NAMECITE{x86}{%
		Coffing:1999:XPM,%
		Adams:2006:CSH%
		}.
\NAMECITE{Xen}{%
		Ho:2004:PPD,%
		Barham:2003:VMM%
		}.
\NAMECITE{{XINU}}{%
		Bachrach:1985:XVM%
		}.
\NAMECITE{{XPL}}{%
		Kamnitzer:1975:BXI%
		}.
\NAMECITE{{XScale}}{%
		Contreras:2007:XPP%
		}.
\NAMECITE{xSeries}{%
		Russell:2002:SCI%
		}.
\NAMECITE{{XTREM}}{%
		Contreras:2007:XPP%
		}.


\NAMECITE{{York}}{%
		IEEE:1990:PSN%
		}.
\NAMECITE{Yountville}{%
		Thomas:1993:PIS%
		}.


\NAMECITE{zero}{%
		Chang:2007:VMS%
		}.
\NAMECITE{zero-loss}{%
		Chang:2007:VMS%
		}.
\NAMECITE{{ZNET}}{%
		Unger:1982:OSZ%
		}.
\NAMECITE{zur}{%
		Klappheck:2000:BLE%
		}.