Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Madet, Antoine"'
Autor:
Madet, Antoine
Contrôler la consommation en ressources des programmes informatiques est d'importance capitale, non seulement pour des raisons de performance, mais aussi pour des questions de sécurité quand par exemple certains systèmes mobiles ou embarqués dis
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00794977
http://tel.archives-ouvertes.fr/docs/00/79/49/77/PDF/thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/79/49/77/PDF/thesis.pdf
Autor:
Madet, Antoine
The framework of Light Logics has been extensively studied to control the complexity of higher-order functional programs. We propose an extension of this framework to multithreaded programs with side effects, focusing on the case of polynomial time.
Externí odkaz:
http://arxiv.org/abs/1209.5851
Autor:
Brunel, Aloïs, Madet, Antoine
The field of implicit complexity has recently produced several bounded-complexity programming languages. This kind of language allows to implement exactly the functions belonging to a certain complexity class. We here present a realizability semantic
Externí odkaz:
http://arxiv.org/abs/1206.4833
Autor:
Madet, Antoine, Amadio, Roberto M.
Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main contribution
Externí odkaz:
http://arxiv.org/abs/1102.4971
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values such as refe
Externí odkaz:
http://arxiv.org/abs/1005.0835
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values such as refe
Externí odkaz:
http://arxiv.org/abs/0912.0419
Autor:
Amadio, Roberto, Ayache, Nicolas, Bobot, Francois, Boender, Jaap, Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic, Piccolo, Mauro, Pollack, Robert, Régis-Giannas, Yann, Sacerdoti Coen, Claudio, Stark, Ian, Tranquilli, Paolo
Publikováno v:
Amadio, R, Ayache, N, Bobot, F, Boender, J, Campbell, B, Garnier, I, Madet, A, McKinna, J, Mulligan, D, Piccolo, M, Pollack, R, Régis-Giannas, Y, Sacerdoti Coen, C, Stark, I & Tranquilli, P 2014, Certified Complexity (CerCo) . in Foundational and Practical Aspects of Resource Analysis : Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 . Lecture Notes in Computer Science, vol. 8552, pp. 1-18 . https://doi.org/10.1007/978-3-319-12466-7_1
We provide an overview of the FET-Open Project CerCo (‘Certified Complexity’). Our main achievement is the development of a technique for analysing non-functional properties of programs (time, space) at the source level with little or no loss of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::82f25cc9343fd2f31bd5dc0dec1677b0
https://hdl.handle.net/20.500.11820/83417580-f556-481d-a81d-e0a1df149849
https://hdl.handle.net/20.500.11820/83417580-f556-481d-a81d-e0a1df149849
Autor:
Madet, Antoine
Publikováno v:
Programming Languages [cs.PL]. Université Paris-Diderot-Paris VII, 2012. English
Controlling the resource consumption of programs is crucial: besides performance reasons, it has many applications in the field of computer security where e.g. mobile or embedded systems dispose of limited amounts of resources. In this thesis, we dev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::44790fb77bf02b4b55a83dccb932db25
https://tel.archives-ouvertes.fr/tel-00794977/document
https://tel.archives-ouvertes.fr/tel-00794977/document
Autor:
Madet, Antoine
The framework of Light Logics has been extensively studied to control the complexity of higher-order functional programs. We propose an extension of this framework to multithreaded programs with side effects, focusing on the case of polynomial time.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b344aae0cd53ed71e7d84171fc5951a
Autor:
Madet, Antoine, Amadio, Roberto M.
Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main contribution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c045527c1b3a7847dc6732e3a4b069b3
https://hal.science/hal-00569095v2/file/rapport.pdf
https://hal.science/hal-00569095v2/file/rapport.pdf