Filter your results
- 773
- 23
- 773
- 773
- 119
- 2
- 2
- 1
- 20
- 753
- 773
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
|
Fully Distributed Privacy Preserving Mini-batch Gradient Descent Learning15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.30-44, ⟨10.1007/978-3-319-19129-4_3⟩
Conference papers
hal-01775029v1
|
||
|
|
Dynamic Message Processing and Transactional Memory in the Actor Model15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.94-107, ⟨10.1007/978-3-319-19129-4_8⟩
Conference papers
hal-01775027v1
|
||
|
|
Distributed Monitoring and Management of Exascale Systems in the Argo Project15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.173-178, ⟨10.1007/978-3-319-19129-4_14⟩
Conference papers
hal-01775026v1
|
||
|
|
Leader Election Using NewSQL Database Systems15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.158-172, ⟨10.1007/978-3-319-19129-4_13⟩
Conference papers
hal-01775025v1
|
||
|
|
MERCi-MIsS: Should I Turn off My Servers?15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.16-29, ⟨10.1007/978-3-319-19129-4_2⟩
Conference papers
hal-01775024v1
|
||
|
|
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.186-193, ⟨10.1007/978-3-319-19282-6_12⟩
Conference papers
hal-01774947v1
|
||
|
|
Open Transactions on Shared Memory17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.213-229, ⟨10.1007/978-3-319-19282-6_14⟩
Conference papers
hal-01774945v1
|
||
|
|
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.51-66, ⟨10.1007/978-3-319-19282-6_4⟩
Conference papers
hal-01774944v1
|
||
|
|
Logic Fragments: A Coordination Model Based on Logic Inference17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.35-48, ⟨10.1007/978-3-319-19282-6_3⟩
Conference papers
hal-01774943v1
|
||
|
|
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers
hal-01774942v1
|
||
|
|
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.83-98, ⟨10.1007/978-3-319-19282-6_6⟩
Conference papers
hal-01774941v1
|
||
|
|
Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.153-168, ⟨10.1007/978-3-319-19282-6_10⟩
Conference papers
hal-01774939v1
|
||
|
|
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.230-245, ⟨10.1007/978-3-319-19282-6_15⟩
Conference papers
hal-01774938v1
|
||
|
|
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.169-185, ⟨10.1007/978-3-319-19282-6_11⟩
Conference papers
hal-01774937v1
|
||
|
|
Replica-Based High-Performance Tuple Space Computing17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers
hal-01774936v1
|
||
|
|
Take Command of Your Constraints!17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers
hal-01774935v1
|
||
|
|
Klaim-DB: A Modeling Language for Distributed Database Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩
Conference papers
hal-01774934v1
|
||
|
|
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers
hal-01774933v1
|
||
|
|
Extending Testing Automata to All LTL35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.196-210, ⟨10.1007/978-3-319-19195-9_13⟩
Conference papers
hal-01767338v1
|
||
|
|
Type Checking Privacy Policies in the π-calculus35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.181-195, ⟨10.1007/978-3-319-19195-9_12⟩
Conference papers
hal-01767337v1
|
||
|
|
Simple Isolation for an Actor Abstract Machine35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers
hal-01767336v1
|
||
|
|
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.35-49, ⟨10.1007/978-3-319-19195-9_3⟩
Conference papers
hal-01767335v1
|
||
|
|
Compliance and Subtyping in Timed Session Types35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers
hal-01767334v1
|
||
|
|
Faster Linearizability Checking via P-Compositionality35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.50-65, ⟨10.1007/978-3-319-19195-9_4⟩
Conference papers
hal-01767332v1
|
||
|
|
Loop Freedom in AODVv235th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers
hal-01767329v1
|
||
|
|
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
Conference papers
hal-01767328v1
|
||
|
|
Types for Deadlock-Free Higher-Order Programs35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19195-9_1⟩
Conference papers
hal-01767327v1
|
||
|
|
Timely Dataflow: A Model35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.131-145, ⟨10.1007/978-3-319-19195-9_9⟩
Conference papers
hal-01767326v1
|
||
|
|
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19195-9_2⟩
Conference papers
hal-01767325v1
|
||
|
|
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.228-243, ⟨10.1007/978-3-319-19195-9_15⟩
Conference papers
hal-01767324v1
|