OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Hurault, Aurélie"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.


Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe On the Diversity of Asynchronous Communication. (2016) Formal Aspects of Computing, vol. 28 (n° 5). pp. 847-879. ISSN 0934-5043

Li, Yinan and Yarkhan, Asim and Dongarra, Jack and Seymour, Keith and Hurault, Aurélie Enabling Workflows in GridSolve: Request Sequencing and Service Trading. (2013) Journal of Supercomputing, vol. 64 (n° 3). pp. 1133-1152. ISSN 0920-8542

Astsatryan, Hrachya and Sahakyan, Vladimir and Shoukouryan, Yuri and Daydé, Michel and Hurault, Aurélie and Guivarch, Ronan and Terzyan, Harutyun and Hovhannisyan, Levon On the Easy Use of Scientific Computing Services for Large Scale Linear Algebra and Parallel Decision Making with the P-Grade Portal. (2013) Journal of Grid Computing, vol. 11 (n° 2). pp. 239-248. ISSN 1570-7873

Conference or Workshop Item

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. (2015) In: 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), 9 June 2015 - 10 June 2015 (Bordeaux, France).


Hurault, Aurélie. Courtage sémantique de services de calcul. PhD, Institut National Polytechnique de Toulouse, 2006

This list was generated on Sun May 28 00:35:26 2017 CEST.