Coordination Models and Languages

per Lea, Doug, Zavattaro, Gianluigi
Publicat 2020

Theorem Proving in Higher Order Logics

per Hurd, Joe, Melham, Tom
Publicat 2020

Formal Models of Operating System Kernels

per Craig, Iain D.
Publicat 2020

Scalable Information Systems

Publicat 2020

Component Deployment

per Dearle, Alan, Eisenbach, Susan
Publicat 2020

Implementing Distributed Systems with Java and CORBA

per Aleksy, Markus, Korthaus, Axel, Schader, Martin
Publicat 2020

OpenMP in a New Era of Parallelism

per Eigenmann, Rudi, Supinski, Bronis R. de
Publicat 2020

Parallel Problem Solving from Nature - PPSN X

Publicat 2020

Embedded Computer Systems: Architectures, Modeling, and Simulation

Publicat 2020

Achievements in European Research on Grid Systems

per Gorlatch, Sergei, Bubak, Marian, Priol, Thierry
Publicat 2020

Computer Aided Verification

Publicat 2020

Computer Aided Verification

per Gupta, Aarti, Malik, Sharad
Publicat 2020

Architecting Dependable Systems IV

per Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Publicat 2020

Applications and Theory of Petri Nets

per Hee, Kees van, Valk, Rüdiger
Publicat 2020

Advances in Computer Systems Architecture

per Choi, Lynn, Paek, Yunheung, Cho, Sangyeun
Publicat 2020

Advances in Computer Systems Architecture

per Srikanthan, Thambipillai, Xue, Jingling, Chang, Chip-Hong
Publicat 2020

Hybrid Systems: Computation and Control

Publicat 2020

Euro-Par 2005 Parallel Processing

per Cunha, José C., Medeiros, Pedro D.
Publicat 2020

Architecture of Computing Systems - ARCS 2017

per Knoop, Jens, Karl, Wolfgang, Schulz, Martin, Inoue, Koji, Pionteck, Thilo
Publicat 2020

Systems Aspects in Organic and Pervasive Computing - ARCS 2005

Publicat 2020