Search - IFIP Open Digital Library Access content directly

Filter your results

23 results
level0_domain_s : Computer Science [cs]
labStructName_s : Laboratoire de l'Informatique du Parallélisme
labStructName_s : Heinz Nixdorf Institute
Page :
sorted by
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

 Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1
Image document

Database Scheme Configuration for a Product Line of MPC-TOOLS

 Benjamin Klöpper , Tobias Rust , Bernhard Vedder , Wilhelm Dangelmaier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.57-64, ⟨10.1007/978-3-642-16358-6_8⟩
Conference papers hal-01055796v1
Image document

Maturity Model for Improving Virtual Engineering in Small and Medium-Sized Enterprises

 Tobias Bensiek , Arno Kuehn
9th International Conference on Product Lifecycle Management (PLM), Jul 2012, Montreal, QC, Canada. pp.635-645, ⟨10.1007/978-3-642-35758-9_57⟩
Conference papers hal-01526132v1
Image document

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services

 Sufyan Samara , Yuhong Zhao , Franz J. Rammig
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15234-4_11⟩
Conference papers hal-01054482v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Sensing as a Complexity Measure

 Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1
Image document

The Group of Reversible Turing Machines

 Sebastián Barbieri , Jarkko Kari , Ville Salo
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, ⟨10.1007/978-3-319-39300-1_5⟩
Conference papers hal-01435034v1
Image document

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

 Patrick Baillot , Erika de Benedetti , Simona Ronchi Della Rocca
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩
Conference papers hal-01015171v2
Image document

Lawvere Categories as Composed PROPs

 Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers hal-01446031v1
Image document

A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

 Colin Riba
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.310-324, ⟨10.1007/978-3-642-33475-7_22⟩
Conference papers hal-00692153v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Bisimilarity of Open Terms in Stream GSOS

 Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1
Image document

Ontology-Based Finding of Feasible Machine Changes

 Gerald Rehage , Jürgen Gausemeier
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.511-518, ⟨10.1007/978-3-319-22759-7_59⟩
Conference papers hal-01431139v1
Image document

A Flow Scheduler Architecture

 Dinil Mon Divakaran , Giovanna Carofiglio , Eitan Altman , Pascale Vicat-Blanc Primet
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
Conference papers hal-01056318v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Real-Time Coordination Patterns for Advanced Mechatronic Systems

 Stefan Dziwok , Christian Heinzemann , Matthias Tichy
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.166-180, ⟨10.1007/978-3-642-30829-1_12⟩
Conference papers hal-01529598v1
Image document

Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems

 Katharina Gilles , Stefan Groesbrink , Daniel Baldin , Timo Kerstan
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.293-305, ⟨10.1007/978-3-642-38853-8_27⟩
Conference papers hal-01466685v1
Image document

A Top-Down Approach for an Automatic Precedence Graph Construction under the Influence of High Product Variety

 Simon Altemeier , Daniel Brodkorb , Wilhelm Dangelmaier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.73-80, ⟨10.1007/978-3-642-16358-6_10⟩
Conference papers hal-01055865v1
Image document

Green IT for Innovation and Innovation for Green IT: The virtuous circle

 Christina Herzog , Laurent Lefevre , Jean-Marc Pierson
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Conference papers hal-00766806v1
Image document

Distributed, Parallel and Biologically Inspired Systems

 Mike Hinchey , Bernd Kleinjohann , Lisa Kleinjohann , Peter Lindsay , Franz J. Rammig , et al.
Springer, AICT-329, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15233-7
Books hal-01556922v1
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers hal-01583404v1
Page :