91 results on '"Henrio, Ludovic"'
Search Results
2. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
3. Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
4. Provably Fair Cooperative Scheduling
5. Active Objects with Deterministic Behaviour
6. Component-based Distributed Software Reconfiguration:A Verification-oriented Survey
7. Verification of Concurrent Design Patterns with Data
8. On Reachability in Parameterized Phaser Programs
9. Active Objects for Coordinating BSP Computations (Short Paper)
10. A Survey on Parallelism and Determinism
11. Compositional equivalences based on open pNets
12. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
13. Analysis of Synchronisations in Stateful Active Objects
14. Integrated Environment for Verifying and Running Distributed Components
15. From Modelling to Systematic Deployment of Distributed Active Objects
16. A Theory for the Composition of Concurrent Processes
17. Compositional Equivalences Based on Open Pnets
18. Painless Support for Static and Runtime Verification of Component-Based Applications
19. S4BXI: the MPI-ready Portals 4 Simulator
20. Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World
21. An Optimised Flow for Futures: From Theory to Practice
22. An Optimal Broadcast Algorithm for Content-Addressable Networks
23. A Mechanized Model for CAN Protocols
24. Multi-threaded Active Objects
25. Verifying Safety of Fault-Tolerant Distributed Components
26. Mixing Workflows and Components to Support Evolving Services
27. First Class Futures: Specification and Implementation of Update Strategies
28. Exceptions for Algorithmic Skeletons
29. A Framework for Reasoning on Component Composition
30. An Asynchronous Distributed Component Model and Its Semantics
31. Active Objects and Distributed Components: Theory and Implementation
32. High-Level Scripting Approach for Building Component-Based Applications on the Grid
33. A Flexible Model and Implementation of Component Controllers
34. Distributed futures for efficient data transfer between parallel processes
35. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
36. Interoperability of Grid component models: GCM and CCA case study
37. Garbage Collecting the Grid: A Complete DGC for Activities
38. A Mechanized Model of the Theory of Objects
39. Preface for the special issue on Interaction and Concurrency Experience 2017
40. A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability
41. Behavioural Models for Hierarchical Components
42. Context Inference for Static Analysis of Java Card Object Sharing
43. Smart Tools for Java Cards
44. Proceedings 12th Interaction and Concurrency Experience
45. Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
46. Proceedings 11th Interaction and Concurrency Experience
47. Preface for the special issue on Interaction and Concurrency Experience 2016
48. Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations
49. Proceedings 10th Interaction and Concurrency Experience
50. A Survey of Active Object Languages
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.