Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q5033696 2022-02-23 Paper Garbage collection: Java application servers' Achilles heel 2008-03-20 Paper https://portal.mardi4nfdi.de/entity/Q4669852...10 bytes (13 words) - 09:43, 7 October 2023
- Type Fuzzy control of inverted pendulum and concept of stability using Java application 2008-02-13 Paper Advances in Neural Networks – ISNN 2005 2005-11-23...10 bytes (13 words) - 11:29, 28 January 2024
- mardi4nfdi.de/entity/Q4455284 2004-03-16 Paper HBech:Java: An application-specific benchmarking framework for Java virtual machines 2002-05-14 Paper Generalized...10 bytes (13 words) - 20:49, 8 December 2023
- Publication Date of Publication Type Garbage collection: Java application servers' Achilles heel 2008-03-20 Paper...10 bytes (15 words) - 09:43, 7 October 2023
- Type Fuzzy control of inverted pendulum and concept of stability using Java application 2008-02-13 Paper...10 bytes (15 words) - 11:29, 28 January 2024
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 19:50, 24 September 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 19:50, 24 September 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 19:50, 24 September 2023
- for categorical data 2017-04-06 Paper HBech:Java: An application-specific benchmarking framework for Java virtual machines 2002-05-14 Paper...10 bytes (13 words) - 01:39, 7 October 2023
- Paper Application of neural networks for the measurement of electronic temperature in nuclear fusion experiments 2002-07-25 Paper Developing Java applications...10 bytes (13 words) - 15:29, 24 September 2023
- in KeY and their application to history-based reasoning about collection 2024-01-08 Paper Integrating ADTs in KeY and Their Application to History-Based...10 bytes (17 words) - 15:50, 9 December 2023
- compositional operational semantics for Java\(_{\text{MT}}\) 2010-03-23 Paper A tool-supported proof system for multithreaded Java. 2010-02-09 Paper Inductive proof...10 bytes (15 words) - 12:50, 7 October 2023
- compositional operational semantics for Java\(_{\text{MT}}\) 2010-03-23 Paper A tool-supported proof system for multithreaded Java. 2010-02-09 Paper Inductive proof...10 bytes (18 words) - 15:36, 9 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 (13 words) - 09:51, 13 December 2023
- Compilers 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized...10 bytes (13 words) - 01:13, 25 September 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 (15 words) - 12:15, 24 September 2023
- loading in Java 2002-12-15 Paper https://portal.mardi4nfdi.de/entity/Q4536408 2002-11-25 Paper Higher order generalization and its application in program...10 bytes (13 words) - 10:30, 7 October 2023
- reasoning for concurrent objects 2012-08-14 Paper Safe locking for multi-threaded Java with exceptions 2012-08-14 Paper Formal modeling and validation of a power-efficient...10 bytes (16 words) - 01:00, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5692739 2005-09-28 Paper Java-MaC: A run-time assurance approach for Java programs 2004-09-09 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 08:57, 25 September 2023
- Practice 2009-04-30 Paper On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and...10 bytes (15 words) - 06:12, 13 December 2023
