Search results
From MaRDI portal
- de/entity/Q5188234 2010-03-10 Paper Evaluation of a Java Computer Algebra System 2009-01-29 Paper On a Java computer algebra system, its performance and applications...10 bytes (16 words) - 13:17, 28 January 2024
- 2013-08-07 Paper Java and the Java Memory Model — A Unified, Machine-Checked Formalisation 2012-06-22 Paper Animating the Formalised Semantics of a Java-Like Language...10 bytes (16 words) - 05:59, 13 December 2023
- Equivalence of Reduction and Translation Semantics of Java Simple Closures 2012-10-29 Paper Properties of Java Simple Closures 2011-11-10 Paper https://portal...10 bytes (16 words) - 10:51, 13 December 2023
- bounded resource effects 2003-08-25 Paper Features of the Java Commodity Grid Kit 2003-02-20 Paper A Java commodity grid kit 2002-05-14 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 14:26, 12 December 2023
- 2003-08-18 Paper Features of the Java Commodity Grid Kit 2003-02-20 Paper A CORBA Commodity Grid Kit 2003-02-20 Paper A Java commodity grid kit 2002-05-14...10 bytes (18 words) - 14:55, 28 January 2024
- 2015-06-24 Paper Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java 2015-04-15 Paper Grounding Synchronous...10 bytes (18 words) - 12:34, 13 December 2023
- outside the geoid. 1928-01-01 Paper Gravity survey by submarine via Panama to Java. 1928-01-01 Paper Provisional results of determinations of gravity, made...10 bytes (21 words) - 14:59, 13 December 2023
- semantics for Java futures 2009-05-06 Paper Phase-based visualization and analysis of Java programs 2006-10-19 Paper Using JavaNws to compare C and Java TCP-Socket...10 bytes (17 words) - 21:01, 21 September 2023
- Publication Date of Publication Type Intersection types in Java: back to the future 2023-08-02 Paper https://portal.mardi4nfdi.de/entity/Q4585064 2018-09-06...10 bytes (16 words) - 07:21, 12 December 2023
- Publication Type Formal semantics of Java expressions and statements 2005-08-17 Paper An ASM-based formal model of a Java program 2005-08-17 Paper https://portal...10 bytes (18 words) - 14:59, 8 December 2023
- 2005-01-17 Paper Dynamic simulation of multi-body systems on internet using CORBA, Java and XML 2003-10-14 Paper Dynamic performance of CaPaMan by numerical simulations...10 bytes (18 words) - 17:07, 12 December 2023
- momentum equations for two-phase flows 2008-03-27 Paper CartaBlanca—a pure‐Java, component‐based systems simulation tool for coupled nonlinear physics on...10 bytes (18 words) - 05:22, 13 December 2023
- Tempus fugit: How to plug it 2007-08-10 Paper Operational semantics of the Java Card Virtual Machine 2004-10-14 Paper...10 bytes (18 words) - 06:56, 13 December 2023
- a chaotic map 2012-06-08 Paper A selective dynamic compiler for embedded Java virtual machines targeting ARM processors 2006-10-19 Paper...10 bytes (16 words) - 22:05, 11 December 2023
- Publication Date of Publication Type Comprehensive synchronization elimination for Java. 2003-08-07 Paper DyC: An expressive annotation-directed dynamic compiler...10 bytes (19 words) - 15:28, 13 December 2023
- Type ARANEA, a program for generating unstructured triangular meshes with a JAVA graphics user interface 2002-06-11 Paper CARRE: A quasi-orthogonal mesh generator...10 bytes (16 words) - 11:02, 9 December 2023
- mardi4nfdi.de/entity/Q4658275 2005-03-16 Paper Cjj: A subset of C++ compliant with Java 2002-04-03 Paper Design-code traceability recovery: Selecting the basic linkage...10 bytes (16 words) - 05:39, 9 December 2023
- zbMath Open java-james.MaRDI QIDQ5420288 No records found. This page was built for person: Java James...10 bytes (17 words) - 22:09, 26 December 2023
- Publication Type Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java 2015-04-15 Paper...10 bytes (16 words) - 19:18, 6 October 2023
- Publication Date of Publication Type OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler 2017-10-23 Paper...10 bytes (16 words) - 22:08, 27 December 2023