UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Proposal of an algorithm to evaluate geometric distortion and artifact spreading in digital breast tomosynthesis

Acta radiologica (1987), 2022-10, Vol.63 (10), p.1344-1352

2022

Volltextzugriff (PDF)

Inflation Hedging for Long-Term Investors

1, 2009

Volltextzugriff (PDF)

Synthesis of Large Concurrent Programs via Pairwise Composition

CONCUR’99 Concurrency Theory, 1999, p.130-145

1999

Volltextzugriff (PDF)

The Impossibility of Boosting Distributed Service Resilience

25th IEEE International Conference on Distributed Computing Systems (ICDCS'05), 2005, p.39-48

2005

Volltextzugriff (PDF)

Wait-free Byzantine consensus

Information processing letters, 2002-08, Vol.83 (4), p.221-227

Attie, Paul

2002

Volltextzugriff (PDF)

Efficiently verifiable conditions for deadlock-freedom of large concurrent programs

Lecture notes in computer science, 2005, p.465-481

2005

Volltextzugriff (PDF)

Turing machines, transition systems, and interaction

Information and computation, 2004-11, Vol.194 (2), p.101-128

2004

Volltextzugriff (PDF)

Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs

Proceedings of 16th International Conference on Distributed Computing Systems, 1996, p.613-619

1996

Volltextzugriff (PDF)

Synthesis of fault-tolerant concurrent programs

ACM transactions on programming languages and systems, 2004-01, Vol.26 (1), p.125-185

2004

Volltextzugriff (PDF)

On the Implementation Complexity of Specifications of Concurrent Programs

Distributed Computing, 2003, p.151-165

2003

Volltextzugriff (PDF)

Automating the refinement of specifications for distributed systems via syntactic transformations: Distributed computing systems

International journal of systems science, 1997, Vol.28 (11), p.1129-1144

1997

Volltextzugriff (PDF)

Synthesis of concurrent programs for an atomic read/write model of computation

ACM transactions on programming languages and systems, 2001-03, Vol.23 (2), p.187-242

2001

Volltextzugriff (PDF)

Synthesis of fault-tolerant concurrent programs

Journal of applied mathematics and mechanics, 2003-01, Vol.67 (5), p.125-185

2003

Volltextzugriff (PDF)

Automating the refinement of specifications for distributed systems via syntactic transformations

International journal of systems science, 1997-07, Vol.28 (11), p.1129-1144

1997

Volltextzugriff (PDF)

Synthesis of concurrent systems with many similar processes

ACM transactions on programming languages and systems, 1998-01, Vol.20 (1), p.51-115

1998

Volltextzugriff (PDF)

Scheduling workflows by enforcing intertask dependencies

Distributed systems engineering, 1996-12, Vol.3 (4), p.222-238

1996

Volltextzugriff (PDF)

Synthesis of concurrent systems with many similar sequential processes (extended abstract)

Annual Symposium on Principles of Programming Languages: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 11-13 Jan. 1989, 1989, p.191-201

1989

Volltextzugriff (PDF)

Beyond AIMD: explicit fair-share calculation

Proceedings of the Eighth IEEE Symposium on Computers and Communications. ISCC 2003, 2003, p.727-734 vol.2

2003

Volltextzugriff (PDF)

Convergence of iteration systems

Distributed computing, 1993-11, Vol.7 (1), p.43-53

1993

Volltextzugriff (PDF)

Vanna: a visual environment for the design of distributed systems

Annual International Conference on Ada: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, 1989, p.546-553

1989

Volltextzugriff (PDF)