Skip to Main content Skip to Navigation
Help


...
inria-00402204v1  Conference papers
Jean-François CouchotAlain GiorgettiNicolas Stouls. Graph Based Reduction of Program Verification Conditions
Automated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47
...
hal-01798627v2  Conference papers
Li HanValentin Le FèvreLouis-Claude CanonYves RobertFrédéric Vivien. A Generic Approach to Scheduling and Checkpointing Workflows
ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR, United States. pp.1-10, ⟨10.1145/3225058.3225145⟩
...
hal-02056520v1  Reports
Li HanLouis-Claude CanonJing LiuYves RobertFrédéric Vivien. Improved energy-aware strategies for periodic real-time tasks under reliability constraints
[Research Report] RR-9259, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-38
...
hal-01559898v1  Conference papers
Louis-Claude CanonLoris MarchalFrédéric Vivien. Low-Cost Approximation Algorithms for Scheduling Independent Tasks on Hybrid Platforms
Euro-Par 2017: 23rd International European Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain
...
hal-01811885v1  Reports
Louis-Claude CanonAurélie Kong Win ChangYves RobertFrédéric Vivien. Scheduling independent stochastic tasks deadline and budget constraints
[Research Report] RR-9178, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-34
...
hal-00563288v1  Conference papers
Sylvain DahanAlexandru DobrilaJean-Marc NicodLaurent Philippe. Performances Study of the Distributed Spanning Tree an Overlay Network for Server Lookup
ICIW'08, 3rd int. Conf. on Internet and Web Applications and Services, 2008, Greece. pp.330--335
...
hal-01559967v1  Conference papers
Li HanLouis-Claude CanonHenri CasanovaYves RobertFrédéric Vivien. Checkpointing Workflows for Fail-Stop Errors
IEEE Cluster 2017, Sep 2017, Honolulu, United States
...
hal-00563628v1  Conference papers
Anne BenoitAlexandru DobrilaLaurent PhilippeJean-Marc Nicod. Throughput optimization for micro-factories subject to task and machine failures
, 12th Workshop on Advances on Parallel and Distributed Processing Symposium, 2010, United States. pp.11--18
...
hal-00563300v1  Conference papers
Anne BenoitAlexandru DobrilaJean-Marc NicodLaurent Philippe. Throughput optimization for micro-factories subject to failures
ISPDC'2009, 8th Int. Symposium on Parallel and Distributed Computing, 2009, Portugal. pp.11--18
...
hal-01664639v1  Conference papers
Louis-Claude CanonPierre-Cyrille HeamLaurent Philippe. Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
Euro-par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France
...
hal-02271675v1  Conference papers
Yiqin GaoLouis-Claude CanonYves RobertFrédéric Vivien. Scheduling independent stochastic tasks on heterogeneous cloud platforms
IEEE Cluster 2019 - International Conference on Cluster Computing, Sep 2019, Albuquerque, United States. pp.1-11
...
hal-01868727v1  Conference papers
Louis-Claude CanonAurélie Kong Win ChangYves RobertFrédéric Vivien. Scheduling independent stochastic tasks under deadline and budget constraints
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8
...
hal-00926093v1  Conference papers
Anne BenoitLouis-Claude CanonLoris Marchal. Non-clairvoyant reduction algorithms for heterogeneous platforms
HeteroPar'2013, in conjunction with Euro-Par 2013, Aug 2013, Aachen, Germany
...
hal-01828301v1  Conference papers
Louis-Claude CanonLoris MarchalBertrand SimonFrédéric Vivien. Online Scheduling of Task Graphs on Hybrid Platforms
Euro-Par 2018 - 24th International European Conference On Parallel And Distributed Computing, Aug 2018, Turin, Italy. pp.1-14
...
hal-02047434v2  Reports
Yiqin GaoLouis-Claude CanonFrédéric VivienYves Robert. Scheduling stochastic tasks on heterogeneous cloud platforms under budget and deadline constraints
[Research Report] RR-9260, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-34
...
inria-00471324v2  Conference papers
Jacques JulliandNicolas StoulsPierre-Christophe BuéPierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests
TAP'10, 4th Int. Conference on Tests and Proofs, Jul 2010, Malaga, Spain. pp.151-166