Specifying and Testing GPU Workgroup Progress Models

Autor: Sorensen, Tyler, Salvador, Lucas F., Raval, Harmit, Evrard, Hugues, Wickerson, John, Martonosi, Margaret, Donaldson, Alastair F.

As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depen

Externí odkaz: http://arxiv.org/abs/2109.06132

Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones

Autor: Evrard, Hugues

LNT est un langage formel de spécification récent, basé sur les algèbres de processus, où plusieurs processus concurrents et asynchrones peuvent interagir par rendez-vous multiple, c'est-à-dire à deux ou plus, avec échange de données. La boi

Externí odkaz: http://www.theses.fr/2015GREAM020/document

Putting Randomized Compiler Testing into Production (Experience Report)

Autor: Donaldson, Alastair F., Evrard, Hugues, Thomson, Paul

We describe our experience over the last 18 months on a compiler testing technology transfer project: taking the GraphicsFuzz research project on randomized metamorphic testing of graphics shader compilers, and building the necessary tooling around i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::139ac78ee5e3478d35419b9a72310a14

MCC'2017 - The Seventh Model Checking Contest

Autor: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom-Messan, Paviot-Adet, Emmanuel, Jezequel, Loïg, Hulin-Hubard, Francis, Amparore, Elvio Gilberto, Beccuti, Marco, Berthomieu, Bernard, Evrard, Hugues, Jensen, Peter Gjøl, Botlan, Didier Le, Liebke, Torsten, Meijer, Jeroen, Srba, Jirí, Thierry-Mieg, Yann, Pol, Jaco van de, Wolf, Karsten, Koutny, Maciej, Kristensen, Lars Michael, Penczek, Wojciech

Publikováno v: Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209
STARTPAGE=181;ENDPAGE=209;TITLE=Transactions on Petri Nets and Other Models of Concurrency XIII
Kordon, F, Garavel, H, Hillah, L M, Paviot-Adet, E, Jezequel, L, Hulin-Hubard, F, Amparore, E, Beccuti, M, Berthomieu, B, Evrard, H, Jensen, P G, Le Botlan, D, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, van de Pol, J & Wolf, K 2018, MCC’2017 : The Seventh Model Checking Contest . in M Koutny, L M Kristensen & W Penczek (eds), Transactions on Petri Nets and Other Models of Concurrency XIII . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11090 LNCS, pp. 181-209 . https://doi.org/10.1007/978-3-662-58381-4_9
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
LNCS Transactions on Petri Nets and Other Models of Concurrency
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807

International audience; Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fair evaluation of software tools that verify concurrent systems using state-space exploration techniques and model checking. Th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4696efcd030f01ec2ee3248e1fb6e388
https://research.utwente.nl/en/publications/ba17030e-003a-4e3b-9bea-553baf3bf0c1

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.