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

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

Message from the ICESS-2010 general chairs

Autor: Palsberg, J., Min, G., DI NATALE, Marco

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3729::749bc2821be404c1119008cc36d6f0cf
http://hdl.handle.net/11382/374450

Automatic Parallelization and Optimization of Programs by Proof Rewriting

Autor: Hurlin, C., Palsberg, J., Su, Z.

Publikováno v: Static Analysis Symposium
Static Analysis Symposium, Aug 2009, Los Angeles, United States. pp.52-68
[Research Report] RR-6806, INRIA. 2009
Static Analysis ISBN: 9783642032363
SAS
The 16th International Static Analysis Symposium, 52-68
STARTPAGE=52;ENDPAGE=68;TITLE=The 16th International Static Analysis Symposium

International audience; We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized and optimized program. To achieve this goal, we

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d72782a4d59e3b06f6230d3a850d600a
https://hal.inria.fr/inria-00380528

Incremental hashing for spin

Autor: Nguyen, Viet Yen, Ruys, Theo C., Havelund, K., Majumdar, R., Palsberg, J.

Publikováno v: Model Checking Software ISBN: 9783540851134
SPIN
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, 232-249
STARTPAGE=232;ENDPAGE=249;TITLE=Model Checking Software

This paper discusses a generalised incremental hashing scheme for explicit state model checkers. The hashing scheme has been implemented into the model checker Spin . The incremental hashing scheme works for Spin 's exhaustive and both approximate ve

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