Coordination Models and Languages

nork Lea, Doug, Zavattaro, Gianluigi
Argitaratua 2020

Theorem Proving in Higher Order Logics

nork Hurd, Joe, Melham, Tom
Argitaratua 2020

Formal Models of Operating System Kernels

nork Craig, Iain D.
Argitaratua 2020

Scalable Information Systems

Argitaratua 2020

Component Deployment

nork Dearle, Alan, Eisenbach, Susan
Argitaratua 2020

Implementing Distributed Systems with Java and CORBA

nork Aleksy, Markus, Korthaus, Axel, Schader, Martin
Argitaratua 2020

OpenMP in a New Era of Parallelism

nork Eigenmann, Rudi, Supinski, Bronis R. de
Argitaratua 2020

Parallel Problem Solving from Nature - PPSN X

Argitaratua 2020

Embedded Computer Systems: Architectures, Modeling, and Simulation

Argitaratua 2020

Achievements in European Research on Grid Systems

nork Gorlatch, Sergei, Bubak, Marian, Priol, Thierry
Argitaratua 2020

Computer Aided Verification

Argitaratua 2020

Computer Aided Verification

nork Gupta, Aarti, Malik, Sharad
Argitaratua 2020

Architecting Dependable Systems IV

nork Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Argitaratua 2020

Applications and Theory of Petri Nets

nork Hee, Kees van, Valk, Rüdiger
Argitaratua 2020

Advances in Computer Systems Architecture

nork Choi, Lynn, Paek, Yunheung, Cho, Sangyeun
Argitaratua 2020

Advances in Computer Systems Architecture

nork Srikanthan, Thambipillai, Xue, Jingling, Chang, Chip-Hong
Argitaratua 2020

Hybrid Systems: Computation and Control

Argitaratua 2020

Euro-Par 2005 Parallel Processing

nork Cunha, José C., Medeiros, Pedro D.
Argitaratua 2020

Architecture of Computing Systems - ARCS 2017

nork Knoop, Jens, Karl, Wolfgang, Schulz, Martin, Inoue, Koji, Pionteck, Thilo
Argitaratua 2020

Systems Aspects in Organic and Pervasive Computing - ARCS 2005

Argitaratua 2020