Cover Image
Read Now

281
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... to the problem “P=NP?” -- Verifying concurrent system specifications in COSY -- Deadlocks and livelocks...”
Cover Image
Read Now

282
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net...”
Cover Image
Read Now

283
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... nets models -- Reduced state space generation of concurrent systems using weak persistency -- A new...”
Cover Image
Read Now

284
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... to Relational Model -- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms...”
Cover Image
Read Now

285
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems...”
Cover Image
Read Now

286
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Intelligent inference for debugging concurrent systems -- Sharing temporal knowledge by multiple...”
Cover Image
Read Now

287
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Out of Your Hardware to Verify Your Software!.-Static Partial-Order Reduction of Concurrent Systems...”
Cover Image
Read Now

288
Published 2016
Springer Berlin Heidelberg
Table of Contents: “...: Protocol Programming with Automata -- DLC: Compiling a Concurrent System Formal Specification to a...”
Cover Image
Read Now

289
Published 1990
Springer Netherlands
Table of Contents: “... Tolerance -- Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research...”
Cover Image
Read Now

290
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Analysis for Concurrent Programs -- On the Difficulties of Concurrent-System Design, Illustrated with a 2×2...”
Cover Image
Read Now

291
Published 2024
Springer Nature Switzerland
Table of Contents: “... concurrent system -- Data Assimilation with Ocean Models: A Case Study of Reduced Precision and Machine...”
Cover Image
Read Now

292
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... and its correctness -- Support for implementation of evolutionary concurrent systems in concurrent...”
Cover Image
Read Now

293
Published 1991
Springer Netherlands
Table of Contents: “... Software fault tolerance in sequential systems -- 2.7 Software fault tolerance in concurrent systems -- 2.8...”
Cover Image
Read Now

294
by Juric, Sasa
Published 2019
Manning Publications
Table of Contents: “... Exercise: GenServer-powered to-do server -- Summary -- 7 Building a concurrent system -- 7.1 Working...”
Cover Image
Read Now

295
by Mauro, Jacopo
Published 2014
Atlantis Press
“... by using constraints can be solved faster and more efficiently using a concurrent system. Both directions...”
Cover Image
Read Now

296
Published 2016
Springer International Publishing
“..., concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule...”
Cover Image
Read Now

297
by Heil, Andreas
Published 2012
Springer Fachmedien Wiesbaden
“...-Concurrency-System ermöglicht hierbei die effiziente Planung und Überwachung sowohl der Entwicklung als auch...”
Cover Image
Read Now

298
by Williams, Andrew
Published 2019
Packt Publishing
“... graphical applications, you'll also glimpse Go's impressive concurrency system. In the concluding chapters...”
Cover Image
Read Now

299
by Holzmann, Gerard J.
Published 2004
Addison-Wesley
“... popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent...”
Cover Image
Read Now

300
by Best, Eike, Devillers, Raymond
Published 2024
Birkhäuser
“... and scheduled? • What states and configurations may be reached in a concurrent system? • Which interesting...”