Treffer 221 - 240 von 1.167

221

Detecting Termination and Deadlocks
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
222

The Embedded Machine
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES ; Kirsch, Christoph M ; CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES ; et al.
DTIC

E-Ressource
223

Message Ordering
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
224

NG2C: Pretenuring N-Generational GC for HotSpot Big Data Applications
Bruno, Rodrigo ; Oliveira, Luís ; Ferreira, Paulo ; et al.

E-Ressource
225

Synchronizers
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
227

Synchronization Primitives
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
228
229

Recovery
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
230

Inductively Verifying Invariant Properties of Parameterized Systems
Roychoudhury, Abhik ; Ramakrishnan, I.V.
Automated Software Engineering: An International Journal. April 2004 11(2):101-139

Fachzeitschrift
231

A General Technique for Non-blocking Trees
Brown, Trevor ; Ellen, Faith ; Ruppert, Eric ; et al.

E-Ressource
232

Iterable Forward Reachability Analysis of Monitor-DPNs
Nordhoff, Benedikt ; Müller-Olm, Markus ; Lammich, Peter ; et al.

E-Ressource
233

Agreement
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
234

Java Threads in the Light of occam/CSP
Welch, Peter H. ; Bakkers, A.W.P. ; Welch, Peter H. ; et al.

E-Ressource
235

Mutual Exclusion Problem
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
236

Parallelization Strategies for Spatial Agent-Based Models
Fachada, Nuno ; Lopes, Vitor V. ; Martins, Rui C. ; et al.

E-Ressource
237

Consistency Conditions
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch
238

Hands-On Software Architecture with Golang
Jyotiswarup Raiturkar ; Jyotiswarup Raiturkar ; Jyotiswarup Raiturkar ; et al.
2018

E-Ressource
239

Hands-On Software Architecture with Golang
Jyotiswarup Raiturkar ; Jyotiswarup Raiturkar ; Jyotiswarup Raiturkar ; et al.
2018

E-Ressource
240

Frontmatter
Concurrent and Distributed Computing in Java. Sep 21, 2009

Buch

Filter