Výsledky vyhledávání - "Gautier Loyauté"

Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers

Autor: Gautier Loyauté, Gilles Roussel, Julien Cervelle, Rémi Forax

Publikováno v: Science of Computer Programming
Science of Computer Programming, Elsevier, 2012, 77 (9), pp.990-1005

This paper presents how the Tatoo parser generator enables the implementation of Java high-performance servers using the Banzai generic server shell. The performance of these servers relies on the ability of Tatoo to produce push non-blocking parsers

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ab6b3cab7315669ab1d3b9881bc2345

Zobrazit plný text záznamu

A Java toolkit for the design and the automatic checking of server architectures

Autor: Rémi Forax, Gautier Loyauté, Gilles Roussel

Publikováno v: PPPJ

This paper presents Saburo, a Java toolkit that generates, from a single Java specification, Java Internet server implementations, together with their formal model that can be automatically checked using the model checker SPIN. This approach ensures

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::92c3d75791f492e0b383e5f2e00e7a80
https://doi.org/10.1145/1294325.1294341

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání