PDP 2015 - PDF Preprint Papers

PDP 2015 Distributed Parallel

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PDP-2015 Paper

click to vote

PDP
2015
IEEE

28views Distributed And Parallel Com...» more PDP 2015»

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

8 years 11 days ago

Download convecs.inria.fr

Abstract—Formal process languages inheriting the concurrency and communication features of process algebras are convenient formalisms to model distributed applications, especiall...

Hugues Evrard, Frédéric Lang

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	28	Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes	claim
2	26	Embedded Hypervisor Xvisor: A Comparative Analysis	claim
3	26	Execution of Dataflow Process Networks on OpenCL Platforms	claim
4	25	Enabling Secure Communication over Existing Peer-to-Peer Frameworks	claim
5	23	Heterogeneous Acceleration of Volumetric JPEG 2000	claim
6	21	Using Active Data to Provide Smart Data Surveillance to E-Science Users	claim
7	19	Causal-Consistent Reversibility in a Tuple-Based Language	claim
8	19	A Routing-Level Solution for Fault Detection, Masking, and Tolerance in NoCs	claim
9	17	A High-Performance Media Streaming Architecture Based on KVM	claim
10	17	Cost Estimation of Parallel Constrained Producer-Consumer Algorithms	claim
11	16	Memory-Optimised Parallel Processing of Hi-C Data	claim
12	12	Experiences of Using Cassandra for Molecular Dynamics Simulations	claim
13	12	Towards Parallel Large-Scale Genomic Prediction by Coupling Sparse and Dense Matrix Algebra	claim
14	8	Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers