Search results

2000-03-16 Paper A concurrent explicit-implicit algorithm in structural dynamics 1998-03-30 Paper Efficiency of group implicit concurrent algorithms for transient...

distributed network algorithms 2020-12-15 Paper A topological perspective on distributed network algorithms 2020-03-03 Paper Making local algorithms wait-free:...

Verifying Concurrent Graph Algorithms 2016-12-21 Paper CoLoSL: Concurrent Local Subjective Logic 2016-04-26 Paper On the relation between concurrent separation...

of Dijkstra's, Kruskal's, and Prim's algorithms 2022-03-25 Paper Reasoning over permissions regions in concurrent separation logic 2021-02-09 Paper Certified...

de/entity/Q5009435 2021-08-04 Paper Refinement for structured concurrent programs 2021-02-04 Paper Model Checking Concurrent Programs 2018-07-20 Paper Verifying properties...

2007-05-29 Paper Algorithms and Computation 2006-11-14 Paper The probabilistic analysis of a greedy satisfiability algorithm 2006-09-06 Paper Algorithms – ESA 2005...

Publication Date of Publication Type Algorithm 1026: Concurrent Alternating Least Squares for Multiple Simultaneous Canonical Polyadic Decompositions 2023-03-29...

2015-04-02 Paper Toward a theory of maximally concurrent programs (shortened version) 2015-03-03 Paper Concurrent maintenance of rings 2013-06-20 Paper A secure...

2022-02-22 Paper Concurrent disjoint set union 2022-01-04 Paper Isomorphism of Planar Graphs (Working Paper) 2021-07-06 Paper Randomized Concurrent Set Union...

tractable algorithms for nontrivial generalizations of vertex cover 2005-12-27 Paper Parameterized and Exact Computation 2005-08-23 Paper Algorithms – ESA...

https://portal.mardi4nfdi.de/entity/Q3574267 2010-07-09 Paper Algorithms - ESA 2003 2010-03-03 Paper Algorithms - ESA 2003 2010-03-03 Paper https://portal.mardi4nfdi...

with Batching and Lot-Sizing: A Review of Algorithms and Complexity 1993-01-16 Paper Approximation algorithms for scheduling a single machine to minimize...

group implicit concurrent algorithms for transient finite element analysis 1989-01-01 Paper Accuracy of a class of concurrent algorithms for transient finite...

1994-10-13 Paper A linear time algorithm for graph partition problems 1993-01-16 Paper Approximation Algorithms for the Maximum Concurrent Flow Problem 1993-01-16...

Linearizability 2007-11-29 Paper Tools and Algorithms for the Construction and Analysis of Systems 2007-09-28 Paper Tools and Algorithms for the Construction and Analysis...

1980-01-01 Paper New Algorithms for Bin Packing 1980-01-01 Paper An analysis of (h, k, 1)-Shellsort 1980-01-01 Paper Optimal Expected-Time Algorithms for Closest...

Multiprocessor Algorithm for the Symmetric Tridiagonal Eigenvalue Problem 1987-01-01 Paper Implementation of some concurrent algorithms for matrix factorization...

Verification 2007-05-02 Paper Tools and Algorithms for the Construction and Analysis of Systems 2005-11-10 Paper Tools and Algorithms for the Construction and Analysis...

Programs Through Positivstellensatz’s 2019-05-03 Paper Algorithms for algebraic path properties in concurrent systems of constant treewidth components 2016-10-24...

non-adaptive contention resolution on a shared channel 2023-01-06 Paper Concurrent multicast in weighted networks 2022-12-09 Paper Optimal channel utilization...