Are virtual-machine monitors microkernels done right?HEISER, Gernot; UHLIG, Volkmar; LEVASSEUR, Joshua et al.Operating systems review. 2006, Vol 40, Num 1, pp 95-99, issn 0163-5980, 5 p.Article

Software libero e macchine virtualiHOFMANN, Ernesto.KOS (Milano). 2006, Num 248, pp 34-39, issn 0393-2095, 6 p.Article

Verified bytecode verifiersNIPKOW, Tobias.Lecture notes in computer science. 2001, pp 347-363, issn 0302-9743, isbn 3-540-41864-4Conference Paper

Application of parallel virtual machine framework to the strong prime problemLOU, Der-Chuyan; WU, Chia-Long; OU, Rong-Yi et al.International journal of computer mathematics. 2002, Vol 79, Num 7, pp 797-806, issn 0020-7160Article

Machine virtuelle Java = Java virtual machineDOUIN, Jean-Michel.Techniques de l'ingénieur. Informatique. 2000, Vol HB1, Num H1588, pp H1588.1-H1588.28, issn 0245-9612Article

System/370 extended architecture: facilities for virtual machinesGUM, P. H.IBM journal of research and development. 1983, Vol 27, Num 6, pp 530-544, issn 0018-8646Article

A portable virtual machine for AdaIBSEN, L.Software, practice & experience. 1984, Vol 14, Num 1, pp 17-29, issn 0038-0644Article

Dedicated, distributed and portable operating systems: a structuring conceptVALDORF, G.Software, practice & experience. 1984, Vol 14, Num 11, pp 1079-1093, issn 0038-0644Article

LA VIRTUALISATION, une tendance marquée à fort potentiel d'économiesROUSSEL, Florence.Environnement & technique. 2013, Num 326, pp 52-53, issn 0986-2943, 2 p.Article

ORNL-RSH package and windows '03 PVM 3.4PFEIFFER, Phil; SCOTT, Stephen L; SHUKLA, Hardik et al.Lecture notes in computer science. 2003, pp 388-394, issn 0302-9743, isbn 3-540-20149-1, 7 p.Conference Paper

Conception et réalisation d'un système de communication : en environnement multiprocesseurs, entre éléments indépendantsHenni, Abderrazak; Dupuy, Roger.1989, 185 p.Thesis

The CAFS system today and tomorrowHAWORTH, G. M.ICL technical journal. 1985, Vol 4, Num 4, pp 365-393, issn 0142-1557Article

CEYX-version 15. III: VPRINT, le composeur CEYX = CEYX-15 version. III: VPRINT, the CEYX typesetting machineBERRY, G; HULLOT, J.-M.Rapports techniques ― I.N.R.I.A. 1985, Num 46, issn 0249-0803, 12 p.Serial Issue

Virtualize MeSPINELLIS, Diomidis.IEEE software. 2012, Vol 29, Num 5, pp 91-93, issn 0740-7459, 3 p.Article

Rethinking the design of virtual machine monitorsWHITAKER, Andrew; COX, Richard S; SHAW, Marianne et al.Computer (Long Beach, CA). 2005, Vol 38, Num 5, pp 57-62, issn 0018-9162, 6 p.Article

Virtual machine monitors: Current technology and future trendsROSENBLUM, Mendel; GARFINKEL, Tal.Computer (Long Beach, CA). 2005, Vol 38, Num 5, pp 39-47, issn 0018-9162, 9 p.Article

Behavioral objects and layered services : The application programming style in the harness metacomputing systemMIGLIARDI, M; SUNDERAM, V.Lecture notes in computer science. 1999, pp 1215-1218, issn 0302-9743, isbn 3-540-65821-1Conference Paper

The tech buzz gameMANGOLD, Bernard; DOOLEY, Mike; FLAKE, Gary W et al.Computer (Long Beach, CA). 2005, Vol 38, Num 7, pp 94-97, issn 0018-9162, 4 p.Article

Remote Exception handling for PVM processesKACZMAREK, Pawel L; KRAWCZYK, Henryk.Lecture notes in computer science. 2003, pp 319-326, issn 0302-9743, isbn 3-540-20149-1, 8 p.Conference Paper

Building an interpreter with VmgenERTL, M. Anton; GREGG, David.Lecture notes in computer science. 2002, pp 5-8, issn 0302-9743, isbn 3-540-43369-4Conference Paper

The transition from a PVM program simulator to a heterogeneous system simulator : The HeSSE ProjectMAZZOCCA, N; RAK, M; VILLANO, U et al.Lecture notes in computer science. 2000, pp 266-273, issn 0302-9743, isbn 3-540-41010-4Conference Paper

SYSTEMES VIRTUELSVRABEC V.1976; INFORM. SYST.; CESKOSL.; DA. 1976; VOL. 5; NO 1; PP. 81-91; ABS. RUSSE ANGL.; BIBL. 16 REF.Article

Enforcing Java run-time properties using bytecode rewritingRUDYS, Algis; WALLACH, Dan S.Lecture notes in computer science. 2003, pp 185-200, issn 0302-9743, isbn 3-540-00708-3, 16 p.Conference Paper

Remote code browsing, a network based computation utilityGIBLIN, C; ROONEY, S; BUSSANI, A et al.Lecture notes in computer science. 2002, pp 121-132, issn 0302-9743, isbn 3-540-00080-1, 12 p.Conference Paper

Removal of bounds checks in an annotation aware JVMYESSICK, Donald E; JONES, Joel.IEEE SoutheastCon conference. 2002, pp 226-228, isbn 0-7803-7252-2, 3 p.Conference Paper