Search results
From MaRDI portal
- 2010-01-12 Paper Inductive proof outlines for monitors in Java. 2010-01-12 Paper Verification of sequential and concurrent programs 2009-09-10 Paper Schedulability...10 bytes (17 words) - 18:41, 10 April 2026
- Paper Multimedia authoring with hierarchical timed stream Petri nets and Java 2002-04-11 Paper https://portal.mardi4nfdi.de/entity/Q4251104 1999-11-29...10 bytes (13 words) - 19:11, 10 April 2026
- A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms 2023-03-21 Paper Automated...10 bytes (13 words) - 18:50, 10 April 2026
- Publication Date of Publication Type Introducing concurrency in sequential Java via laws 2013-04-04 Paper...10 bytes (13 words) - 21:16, 24 September 2023
- de/entity/Q2764152 2002-01-22 Paper The Hyperion system: Compiling multithreaded Java bytecode for distributed execution 2001-08-20 Paper Formal validation of...10 bytes (15 words) - 17:44, 10 April 2026
- Publication Date of Publication Type Using sequential statistical tests for efficient hyperparameter tuning 2024-08-19 Paper...10 bytes (13 words) - 15:15, 13 April 2026
- observation sequences 2023-06-21 Paper Dam anomaly assessment based on sequential variational autoencoder and evidence theory 2021-11-17 Paper Cost-sensitive...10 bytes (13 words) - 18:46, 10 April 2026
- Methods for Security 2023-08-31 Paper Automated reasoning for probabilistic sequential programs with theorem proving 2023-03-30 Paper Learning safe neural network...10 bytes (16 words) - 03:51, 11 April 2026
- for program verification 2013-08-16 Paper Introducing concurrency in sequential Java via laws 2013-04-04 Paper A Process Algebra Based Strategy for Generating...10 bytes (14 words) - 17:56, 10 April 2026
- Integration of a security type system into a program logic 2008-08-06 Paper Sequential, Parallel, and Quantified Updates of First-Order Structures 2008-05-27...10 bytes (13 words) - 21:39, 10 April 2026
- Refinement of actions in Circus 2013-08-19 Paper Introducing concurrency in sequential Java via laws 2013-04-04 Paper A Process Algebra Based Strategy for Generating...10 bytes (15 words) - 17:56, 10 April 2026
- Variable selection for Fisher linear discriminant analysis using the modified sequential backward selection algorithm for the microarray data 2016-04-25 Paper...10 bytes (13 words) - 20:19, 10 April 2026
- https://portal.mardi4nfdi.de/entity/Q4808734 2004-08-12 Paper A type system for the Java bytecode language and verifier 2003-09-09 Paper https://portal.mardi4nfdi...10 bytes (14 words) - 19:50, 10 April 2026
- Axiomatization of Bisimulation over Regular Expressions 2003-06-16 Paper Klava: a Java package for distributed and mobile applications 2003-02-04 Paper Trace and...10 bytes (16 words) - 02:15, 11 April 2026
- program flows 2017-08-21 Paper Synthesis of interface specifications for Java classes 2017-07-14 Paper Adding nesting structure to words 2015-11-11 Paper...10 bytes (13 words) - 18:41, 10 April 2026
- 2024-10-31 Paper Multi-level emulation of tsunami simulations over Cilacap, South Java, Indonesia 2023-02-13 Paper Performance analysis of Volna-OP2 -- massively...10 bytes (13 words) - 19:57, 10 April 2026
- preliminary report 2023-05-26 Paper Sequential temporary and permanent control of Boolean networks 2022-12-22 Paper Sequential reprogramming of Boolean networks...10 bytes (15 words) - 18:04, 10 April 2026
- algebra for poly-threading 2011-10-18 Paper A calculus for four-valued sequential logic 2011-07-07 Paper Straight-line instruction sequence completeness...10 bytes (17 words) - 01:23, 11 April 2026
- and DQN algorithms for reinforcement learning 2025-01-08 Paper Generating Java code pairing with ChatGPT 2024-11-18 Paper Stochastic vibration-driven fatigue...10 bytes (14 words) - 18:59, 10 April 2026
- coefficients in the recovery of space-dependent pollutant source 2017-10-11 Paper Sequential random permutation, list contraction and tree contraction are highly parallel...10 bytes (14 words) - 18:46, 10 April 2026
