Search results

2024-10-16 Paper Enumeration classes defined by circuits 2024-08-06 Paper Relations among parallel and sequential computation models 2024-06-21 Paper A logical...

assembly 2008-09-02 Paper Parallel complexity of signed graphs for gene assembly in ciliates 2008-06-25 Paper Sequential vs. Parallel complexity in simple gene...

Abstract state machines capture parallel algorithms 2017-06-13 Paper Sequential abstract-state machines capture sequential algorithms 2017-06-13 Paper Inadequacy...

Authenticated garbling from simple correlations 2023-07-07 Paper Garbled circuits with sublinear evaluator 2022-08-30 Paper On the (in)security of hash-based...

transformation meets reversible circuits: model transformation and optimization 2016-09-05 Paper Canonical multi-target Toffoli circuits 2016-04-13 Paper Graph...

Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous Writes 1986-01-01 Paper Log Depth Circuits for Division and Related Problems...

functions 2024-11-13 Paper Efficiently testable circuits 2024-09-25 Paper Efficiently testable circuits without conductivity 2024-08-02 Paper On the cost...

machines based on reversible logic elements 2012-11-27 Paper Sequential and maximally parallel multiset rewriting: reversibility and determinism 2012-11-15...

1996-05-27 Paper A time-optimal parallel algorithm for three-dimensional convex hulls 1996-03-11 Paper Horizons of parallel computation 1996-02-26 Paper MOTION...

Event Structures and Linear Strategies 2009-07-07 Paper Jump from Parallel to Sequential Proofs: Multiplicatives 2009-03-12 Paper Ludics is a Model for the...

temporal logic specifications 1986-01-01 Paper Automatic Verification of Sequential Circuits Using Temporal Logic 1986-01-01 Paper The complexity of propositional...

units to model interacting sequential and parallel processes 2009-07-14 Paper Autonomous Units and Their Semantics — The Sequential Case 2008-11-27 Paper Graph...

Efficient parallel algorithms for linear recurrence computation 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3327726 1981-01-01 Paper Parallel Prefix...

cellular automata, over cyclic binary configurations and parallel update 2023-11-30 Paper Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular...

in hypercubes 1999-07-12 Paper Optimal sequential gossiping by short messages 1998-11-03 Paper Hamilton circuits in the directed wrapped Butterfly network...

application to optimal routing 2018-09-14 Paper Isomorph-redundancy in sequential circuits 2018-07-09 Paper A linear-time algorithm to compute the triangular...

2024-11-22 Paper Anonymous permutation routing 2024-08-02 Paper Tri-state circuits. A circuit model that captures RAM 2024-02-06 Paper Succinct arguments for RAM...

integers 2020-01-16 Paper Nested-unit Petri nets 2019-06-20 Paper Revisiting sequential composition in process calculi 2015-11-10 Paper Nested-unit Petri nets:...

Lower bounds for adaptive collect and related objects 2015-08-03 Paper Sequential verification of serializability 2015-06-11 Paper Transactional contention...

Comparative study of serial and parallel heuristics used to design combinational logic circuits 2008-01-18 Paper Parallel metaheuristics for workforce planning...