Search results

(why not?) generics for logic programming The Journal of Logic Programming 1984-01-01 Paper Some fundamental algebraic tools for the semantics of computation...

2018-12-04 Paper Efficient parallel graph algorithms for coarse grained multicomputers and BSP Automata, Languages and Programming 2018-07-04 Paper Gathering...

1997-08-14 Paper A parallel algorithm for the reduction of a nonsymmetric matrix to block upper-Hessenberg form 1997-02-28 Paper Parallel matrix transpose...

composition 2019-01-18 Paper Coalgebraic tools for randomness-conserving protocols 2018-11-08 Paper Coalgebraic Tools for Randomness-Conserving Protocols 2018-07-07...

weighted earliness tardiness parallel machine problem 2015-02-25 Paper Minimizing weighted earliness and tardiness on parallel machines using a multi-agent...

algorithms Parallel Computing 2000-08-21 Paper From the theory to the tools: parallel dynamic programming 2000-06-21 Paper Design of parallel algorithms...

behaviours of an event structure 2016-12-21 Paper Building program construction and verification tools from algebraic principles 2016-08-04 Paper Developments...

de/entity/Q4785965 2002-12-12 Paper From the theory to the tools: parallel dynamic programming 2000-06-21 Paper https://portal.mardi4nfdi.de/entity/Q5510389...

dispatcher for partially clairvoyant schedulers International Journal of Parallel Programming 2008-09-02 Paper A polynomial time algorithm for Zero-Clairvoyant...

Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Programming Languages and Systems 2005-09-13 Paper Programming Languages...

checking LTL using constraint programming 2022-12-09 Paper Petri nets, commutative context-free grammars, and basic parallel processes 2022-12-09 Paper A...

mathematical programming (MP): a status review and new directions 2005-03-14 Paper A co-operative parallel heuristic for mixed zero--one linear programming: Combining...

1992-06-28 Paper Design of parallel sorting algorithm 1992-06-28 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Algorithmic...

arbitrary size 1990-01-01 Paper Parallel quadrant interlocking factorization on hypercube computers 1990-01-01 Paper SOFTWARE TOOLS FOR MULTIPROCESSOR SIMULATION...

intersection 2006-10-10 Paper Tools and Algorithms for the Construction and Analysis of Systems 2005-11-10 Paper Programming Languages and Systems 2005-09-13...

de/entity/Q3046399 2004-08-12 Paper SCALEA: a performance analysis tool for parallel programs 2003-10-29 Paper https://portal.mardi4nfdi.de/entity/Q4417454...

Lazy Learning 2007-11-29 Paper Tools and Algorithms for the Construction and Analysis of Systems 2007-09-28 Paper Program Compatibility Approaches 2007-09-11...

1979-01-01 Paper KEDMA—Linguistic Tools for Retrieval Systems 1978-01-01 Paper The Evolution of Programs: Automatic Program Modification 1977-01-01 Paper A...

standard 1997-02-27 Paper Monitors, messages, and clusters: The p4 parallel programming system 1995-01-29 Paper https://portal.mardi4nfdi.de/entity/Q4296171...

2004-09-07 Paper Parallel elementwise processable functions in concurrent clean 2004-08-06 Paper Web computing in Clean 2002-08-05 Paper Parallel elementwise...