Search results

collective communication in Java 2003-03-25 Paper Run‐time optimizations for a Java DSM implementation 2003-03-25 Paper The Polder Computing Environment: a system...

for multithreaded Java with exceptions 2008-04-14 Paper A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs 2007-11-28...

2003-02-04 Paper A Java/CORBA-based visual program composition environment for PSEs 2003-01-27 Paper Wrapping MPI-based legacy codes as Java/CORBA components...

distributed computing based on remote class reference 2003-02-20 Paper https://portal.mardi4nfdi.de/entity/Q4790595 2003-02-04 Paper A Java/CORBA-based...

Accurate and Well-Conditioned CP Decomposition SIAM Journal on Scientific Computing 2023-11-16 Paper SPARQ-SGD: Event-Triggered and Compressed Communication...

2002-04-15 Paper Multiparadigm distributed computing with TPVM 1998-09-07 Paper Heterogeneous network computing: The next generation 1998-07-23 Paper https://portal...

banded inverse matrix techniques 2017-02-27 Paper An efficient method for computing the inverse of arrowhead matrices 2015-06-22 Paper Software rejuvenation...

https://portal.mardi4nfdi.de/entity/Q4790100 2003-05-13 Paper The Polder Computing Environment: a system for interactive distributed simulation 2003-02-20...

2004-08-11 Paper CCJ: object‐based message passing and collective communication in Java 2003-03-25 Paper Wide-area parallel programming using the remote method invocation...

on parallel architectures 2002-10-09 Paper Java on networks of workstations (JavaNOW): A parallel computing framework inspired by Linda and the Message...

Language definitions as rewrite theories 2016-12-28 Paper K-Java: a complete semantics of Java 2016-09-29 Paper A Theoretical Foundation for Programming...

Gröbner bases in a Java computer algebra system 2010-03-10 Paper Evaluation of a Java Computer Algebra System 2009-01-29 Paper On a Java computer algebra...

and Related Methods 2006-07-07 Paper DNA Computing 2006-01-10 Paper DNA Computing 2006-01-10 Paper DNA Computing 2006-01-10 Paper https://portal.mardi4nfdi...

Checked corecursive streams: expressivity and completeness 2023-09-18 Paper A Java-like calculus with heterogeneous coeffects 2023-08-18 Paper https://portal...

a calculus for global computing 2007-10-10 Paper A Calculus for Orchestration of Web Services 2007-09-04 Paper Global computing in a dynamic network of...

determinism for CSP 2022-11-04 Paper Algebraic compilation of safety-critical Java bytecode 2022-11-04 Paper Temporal reasoning through automatic translation...

scheduling 2017-07-12 Paper Partial evaluation of string obfuscations for Java malware detection 2017-02-14 Paper From MinX to MinC: semantics-driven decompilation...

Automated termination analysis of Java bytecode by term rewriting 2012-04-25 Paper Modular termination proofs of recursive Java bytecode programs by term rewriting...

cluster computing 2002-07-15 Paper https://portal.mardi4nfdi.de/entity/Q2764152 2002-01-22 Paper The Hyperion system: Compiling multithreaded Java bytecode...

Paper COMODI: Component wiring in a framework for scientific computing 2007-10-09 Paper A Java-based object-oriented infrastructure for HPCC 2007-10-09 Paper...