Coordination Models and Languages

Tekijä Lea, Doug, Zavattaro, Gianluigi
Julkaistu 2020

Theorem Proving in Higher Order Logics

Tekijä Hurd, Joe, Melham, Tom
Julkaistu 2020

Formal Models of Operating System Kernels

Tekijä Craig, Iain D.
Julkaistu 2020

Scalable Information Systems

Julkaistu 2020

Component Deployment

Tekijä Dearle, Alan, Eisenbach, Susan
Julkaistu 2020

Implementing Distributed Systems with Java and CORBA

Tekijä Aleksy, Markus, Korthaus, Axel, Schader, Martin
Julkaistu 2020

OpenMP in a New Era of Parallelism

Tekijä Eigenmann, Rudi, Supinski, Bronis R. de
Julkaistu 2020

Parallel Problem Solving from Nature - PPSN X

Julkaistu 2020

Embedded Computer Systems: Architectures, Modeling, and Simulation

Julkaistu 2020

Achievements in European Research on Grid Systems

Tekijä Gorlatch, Sergei, Bubak, Marian, Priol, Thierry
Julkaistu 2020

Computer Aided Verification

Julkaistu 2020

Computer Aided Verification

Tekijä Gupta, Aarti, Malik, Sharad
Julkaistu 2020

Architecting Dependable Systems IV

Tekijä Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Julkaistu 2020

Applications and Theory of Petri Nets

Tekijä Hee, Kees van, Valk, Rüdiger
Julkaistu 2020

Advances in Computer Systems Architecture

Tekijä Choi, Lynn, Paek, Yunheung, Cho, Sangyeun
Julkaistu 2020

Advances in Computer Systems Architecture

Tekijä Srikanthan, Thambipillai, Xue, Jingling, Chang, Chip-Hong
Julkaistu 2020

Hybrid Systems: Computation and Control

Julkaistu 2020

Euro-Par 2005 Parallel Processing

Tekijä Cunha, José C., Medeiros, Pedro D.
Julkaistu 2020

Architecture of Computing Systems - ARCS 2017

Tekijä Knoop, Jens, Karl, Wolfgang, Schulz, Martin, Inoue, Koji, Pionteck, Thilo
Julkaistu 2020

Systems Aspects in Organic and Pervasive Computing - ARCS 2005

Julkaistu 2020