Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Jean Fortin"'
Autor:
Jean Fortin, Frédéric Gava
Publikováno v:
International Journal of Parallel Programming. 44:574-597
We present bsp-why, a tool for deductive verification of bsp algorithms with subgroup synchronisation. From bsp programs, bsp-why generates sequential codes for the back-end condition generator why and thus benefits from its large range of existing p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89b54b4397f2e7001fcc46bcb6a9b77c
https://doi.org/10.1007/s10766-015-0360-y
https://doi.org/10.1007/s10766-015-0360-y
Autor:
Francis, Théberge, Pierre, Mathieu, Nicolas, Thiré, Jean-François, Daigle, Bruno E, Schmidt, Jean, Fortin, Réal, Vallée, Younès, Messaddeq, François, Légaré
Publikováno v:
Optics express. 24(21)
We report mid-infrared (MIR) nonlinear absorption in As
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::2e75ac2b403d874c389819fac74d6d8d
https://pubmed.ncbi.nlm.nih.gov/27828186
https://pubmed.ncbi.nlm.nih.gov/27828186
Autor:
Frédéric Gava, Jean Fortin
Publikováno v:
ICCS
Paderborn’s and Oxford’s BSPLib are C libraries supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and non-determinism. A natural semantics of the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e28ba61bfa2908e7b8230f08e11dec39
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642386121
IFM
IFM
As any software, model-checkers are subject to bugs. They can thus report false negatives or validate a model that they should not. Different methods, such as theorem provers or Proof-Carrying Code, have been used to gain more confidence in the resul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2de1c9934d460891ed72cd12d94b8ba2
https://doi.org/10.1007/978-3-642-38613-8_9
https://doi.org/10.1007/978-3-642-38613-8_9
Publikováno v:
PDCAT
Explicit model-checking (MC) is a classical solution to find flaws in a security protocol. But it is well-known that for non trivial protocols, MC may enumerate state-spaces of astronomical sizes - the famous state-space explosion problem. Distribute
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7822cd6f37894e32c894e94f5e5552d7
https://doi.org/10.1109/pdcat.2012.93
https://doi.org/10.1109/pdcat.2012.93
Autor:
Nicolas Thiré, Bruno E. Schmidt, Younes Messaddeq, François Légaré, Réal Vallée, Francis Théberge, Pierre Mathieu, Jean Fortin, J.-F. Daigle
Publikováno v:
Optics Express. 24:24600
We report mid-infrared (MIR) nonlinear absorption in As2S3 glasses which results from two-photon excitation of valence electron to the Urbach extension followed by strong linear absorption of excited states. The measured MIR nonlinear absorption can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a5d459d5e3456d99128a7985bc47ac8
https://doi.org/10.1364/oe.24.024600
https://doi.org/10.1364/oe.24.024600
Autor:
Jean Fortin, Frédéric Gava
Publikováno v:
Proceedings of the fourth international workshop on High-level parallel programming and applications.
We present BSP-Why, a tool for verifying BSP programs. It is intended to be used as an intermediate core-language for verification tools (mainly condition generators) of BSP extensions of realistic programming languages such as C, JAVA, etc. BSP-Why
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1de9f2ca668fe1fe313967d45162a92e
https://doi.org/10.1145/1863482.1863491
https://doi.org/10.1145/1863482.1863491
Autor:
Jean Fortin, Frédéric Gava
Publikováno v:
PDP
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and non-determinism. This paper presents two formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::268dbad52719ee934f5e52105fc99154
https://doi.org/10.1109/pdp.2009.49
https://doi.org/10.1109/pdp.2009.49
Publikováno v:
Photonics North 2006.
Rocket detection over a wide field of view is an important issue in the protection of light armored vehicle. Traditionally, the detection occurs in UV band, but recent studies have shown the existence of significant emission peaks in the visible and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b62c00ca9521054503bd1834d84c23c
https://doi.org/10.1117/12.708024
https://doi.org/10.1117/12.708024
Autor:
Larry Riddle, Ashley Wells, Robert Mandelbaum, Gooitzen van der Wal, Jean Fortin, Michael R. Piacentino, Jason Bias
Publikováno v:
SPIE Proceedings.
U.S. Army Research, Development, and Engineering Command (RDECOM) Communications Electronics Research, Development and Engineering Center (CERDEC) Night Vision and Electronic Sensors Directorate (NVESD) has performed early work to develop a Distribut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::29950562d9fe0dd8be5d635d4b710a6f
https://doi.org/10.1117/12.605433
https://doi.org/10.1117/12.605433