Search results

for Linda 2008-04-11 Paper Automata, Languages and Programming 2006-01-10 Paper Automata, Languages and Programming 2005-08-24 Paper https://portal.mardi4nfdi...

Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm 2019-06-21 Paper Planar methods and grossone for the conjugate...

an experimental language for parallel programming of MHD- models in plasma physics 1995-01-31 Paper Evaluation of two parallelization techniques for the...

spectra and divergence points 2004-06-18 Paper Unsupervised and supervised data classification via nonsmooth and global optimization (with comments and rejoinder)...

Regular path clauses and their application in solving loops 2024-12-03 Paper Parallel Logic Programming: A Sequel 2023-12-12 Paper Analysis and Transformation...

general-linear-complex special configuration of parallel manipulators. 1999-09-15 Paper Design and analysis of a hybrid serial-parallel manipulator. 1999-09-15 Paper A...

processes for a structural programming language 1988-01-01 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Multilevel...

Segmentation and content-based watermarking for color image and image region indexing and retrieval 2002-10-14 Paper Ovaloids of \(\mathbb{R}^3\) and their umbilics:...

SECTION AND INTERIOR-TO-BOUNDARY MAPPING 1999-01-06 Paper A programming approach for complex animations. I: Methodology. 1999-01-01 Paper A programming approach...

on trees 2005-12-29 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Scalarization using loop alignment and loop skewing 2005-11-16...

Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable behaviors and equivalences of logic programs 1996-03-18 Paper...

synthesis of parallel programs (methodology and tools) 1998-10-19 Paper Strategies for symbolic processing and synthesis of algorithms and programs 1997-05-13...

distributed scheduling of parallel hybrid computations 2011-07-27 Paper Real time programming. Languages, specification and verification. 2010-06-08 Paper...

cross-layer scheduling 2007-01-15 Paper Programming Languages and Systems 2006-10-20 Paper Optimizing transmission and shutdown for energy-efficient real-time...

Computing System 2003-02-20 Paper The design and implementation of the parallel out-of-core ScaLAPACK LU, QR, and Cholesky factorization routines 2003-02-04...

polymorphic type inference in logic programming 1993-05-16 Paper A transformational approach to negation in logic programming 1992-06-25 Paper RECOGNIZING NON-FLOUNDERING...

beams and plates 2001-03-04 Paper On Lagrangian dynamics and its control formulations 2001-02-27 Paper Symmetric duality for nonlinear programming problem...

algorithm 2018-08-20 Paper Parallel CPU- and GPU-algorithms for inverse problems in nondestructive testing 2018-08-20 Paper Parallel algorithm of the NOISEtte...

Minimal Spanning Trees and Spanning Forests 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4131673 1975-01-01 Paper Parallel Balancing of Binary Search...

co-design and analysis 2014-01-24 Paper Partial order reduction for rewriting semantics of programming languages 2014-01-24 Paper Abstraction and completeness...