Search results
From MaRDI portal
- rs 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized Products...10 bytes (15 words) - 18:19, 10 April 2026
- rs 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized Products...10 bytes (13 words) - 12:46, 11 April 2026
- algorithm for VHDL-AMS simulation 2002-06-05 Paper Implementation of Java card virtual machine 2001-10-18 Paper...10 bytes (13 words) - 17:31, 10 April 2026
- Paper A B model for ensuring soundness of a large subset of the Java card virtual machine Science of Computer Programming 2003-05-14 Paper...10 bytes (47 words) - 19:23, 14 April 2026
- Publication Date of Publication Type Implementation of Java card virtual machine 2001-10-18 Paper...10 bytes (13 words) - 17:31, 10 April 2026
- PAPR reduction of OFDM signals 2010-05-21 Paper Implementation of Java card virtual machine 2001-10-18 Paper...10 bytes (13 words) - 17:31, 10 April 2026
- theory 2007-10-15 Paper A selective dynamic compiler for embedded Java virtual machines targeting ARM processors 2006-10-19 Paper A new logic for electronic...10 bytes (15 words) - 19:50, 10 April 2026
- efficient virtual machine interpreters 2003-06-25 Paper https://portal.mardi4nfdi.de/entity/Q4796125 2003-04-03 Paper Platform independent dynamic Java virtual...10 bytes (13 words) - 20:21, 11 April 2026
- chaotic map 2012-06-08 Paper A selective dynamic compiler for embedded Java virtual machines targeting ARM processors 2006-10-19 Paper...10 bytes (13 words) - 03:25, 11 April 2026
- fugit: How to plug it 2007-08-10 Paper Operational semantics of the Java Card Virtual Machine 2004-10-14 Paper...10 bytes (15 words) - 08:04, 12 April 2026
- de/entity/Q4455284 2004-03-16 Paper HBech:Java: An application-specific benchmarking framework for Java virtual machines 2002-05-14 Paper Generalized convexity...10 bytes (13 words) - 17:28, 10 April 2026
- coupling metrics 2006-10-19 Paper Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite 2003-03-25 Paper Decorating...10 bytes (15 words) - 09:33, 25 September 2023
- architecture-agnostic shared-memory programming models 2003-05-06 Paper Java Virtual Machine support for object serialization 2003-03-25 Paper Scheduler-activated...10 bytes (15 words) - 11:18, 6 October 2023
- de/entity/Q4457539 2004-03-25 Paper Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite 2003-03-25 Paper https://portal...10 bytes (15 words) - 07:17, 7 October 2023
- Date of Publication Type A selective dynamic compiler for embedded Java virtual machines targeting ARM processors Science of Computer Programming 2006-10-19...10 bytes (47 words) - 18:16, 14 April 2026
- Computation 2016-05-02 Paper A selective dynamic compiler for embedded Java virtual machines targeting ARM processors Science of Computer Programming 2006-10-19...10 bytes (47 words) - 18:16, 14 April 2026
- optimization approach to ATM network survivability 2001-11-06 Paper A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous...10 bytes (17 words) - 01:15, 25 September 2023
- Publication Date of Publication Type Java Virtual Machine support for object serialization 2003-03-25 Paper https://portal...10 bytes (13 words) - 12:54, 6 October 2023
- 2003-02-04 Paper Asynchronous migration of execution context in Java Virtual Machines 2002-07-14 Paper MAJOR RESEARCH ACTIVITIES IN PARALLEL PROCESSING...10 bytes (13 words) - 15:38, 12 April 2026
- multithreaded Java 2006-11-17 Paper https://portal.mardi4nfdi.de/entity/Q4420601 2003-08-18 Paper A distributed implementation of a virtual machine for Java 2003-02-04...10 bytes (13 words) - 17:53, 10 April 2026
