Difference between revisions of "Publications/demaille.13.ciaa"
From LRDE
(6 intermediate revisions by the same user not shown) | |||
Line 5: | Line 5: | ||
| title = Implementation Concepts in Vaucanson 2 |
| title = Implementation Concepts in Vaucanson 2 |
||
| booktitle = Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) |
| booktitle = Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) |
||
− | | pages = |
+ | | pages = 122 to 133 |
− | | editors = |
+ | | editors = Stavros Konstantinidis |
| publisher = Springer |
| publisher = Springer |
||
− | | volume = |
+ | | volume = 7982 |
| series = Lecture Notes in Computer Science |
| series = Lecture Notes in Computer Science |
||
− | | address = |
+ | | address = Halifax, NS, Canada |
− | | |
+ | | lrdeprojects = Vaucanson |
− | | urllrde = 201307-CIAA |
||
| abstract = Vaucanson is an open source C++ platform dedicated to the computation with finite weighted automata. It is generic: it allows to write algorithms that apply on a wide set of mathematical objects. Initiated ten years ago, several shortcomings were discovered along the years, especially problems related to code complexity and obfuscation as well as performance issues. This paper presents the concepts underlying Vaucanson 2, a complete rewrite of the platform that addresses these issues. |
| abstract = Vaucanson is an open source C++ platform dedicated to the computation with finite weighted automata. It is generic: it allows to write algorithms that apply on a wide set of mathematical objects. Initiated ten years ago, several shortcomings were discovered along the years, especially problems related to code complexity and obfuscation as well as performance issues. This paper presents the concepts underlying Vaucanson 2, a complete rewrite of the platform that addresses these issues. |
||
| lrdeinc = demaille.13.ciaa.inc |
| lrdeinc = demaille.13.ciaa.inc |
||
| lrdeslides = http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.slides.pdf |
| lrdeslides = http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.slides.pdf |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.pdf |
||
− | | lrdeprojects = Vaucanson |
||
| lrdenewsdate = 2013-05-02 |
| lrdenewsdate = 2013-05-02 |
||
| type = inproceedings |
| type = inproceedings |
||
| id = demaille.13.ciaa |
| id = demaille.13.ciaa |
||
+ | | identifier = doi:10.1007/978-3-642-39274-0_12 |
||
| bibtex = |
| bibtex = |
||
@InProceedings<nowiki>{</nowiki> demaille.13.ciaa, |
@InProceedings<nowiki>{</nowiki> demaille.13.ciaa, |
||
Line 28: | Line 27: | ||
booktitle = <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata, |
booktitle = <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata, |
||
18th International Conference (CIAA'13)<nowiki>}</nowiki>, |
18th International Conference (CIAA'13)<nowiki>}</nowiki>, |
||
− | pages = <nowiki>{</nowiki> |
+ | pages = <nowiki>{</nowiki>122--133<nowiki>}</nowiki>, |
year = 2013, |
year = 2013, |
||
− | editor = <nowiki>{</nowiki> |
+ | editor = <nowiki>{</nowiki>Stavros Konstantinidis<nowiki>}</nowiki>, |
publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
||
⚫ | |||
− | volume = |
+ | volume = 7982, |
series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
||
− | address = <nowiki>{</nowiki> |
+ | address = <nowiki>{</nowiki>Halifax, NS, Canada<nowiki>}</nowiki>, |
month = jul, |
month = jul, |
||
⚫ | |||
abstract = <nowiki>{</nowiki>Vaucanson is an open source C++ platform dedicated to the |
abstract = <nowiki>{</nowiki>Vaucanson is an open source C++ platform dedicated to the |
||
computation with finite weighted automata. It is generic: |
computation with finite weighted automata. It is generic: |
||
Line 45: | Line 44: | ||
as performance issues. This paper presents the concepts |
as performance issues. This paper presents the concepts |
||
underlying Vaucanson 2, a complete rewrite of the platform |
underlying Vaucanson 2, a complete rewrite of the platform |
||
− | that addresses these issues.<nowiki>}</nowiki> |
+ | that addresses these issues.<nowiki>}</nowiki>, |
+ | doi = <nowiki>{</nowiki>10.1007/978-3-642-39274-0_12<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Latest revision as of 11:30, 1 April 2019
- Authors
- Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
- Where
- Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
- Place
- Halifax, NS, Canada
- Type
- inproceedings
- Publisher
- Springer
- Projects
- Vaucanson
- Date
- 2013-05-02
Abstract
Vaucanson is an open source C++ platform dedicated to the computation with finite weighted automata. It is generic: it allows to write algorithms that apply on a wide set of mathematical objects. Initiated ten years ago, several shortcomings were discovered along the years, especially problems related to code complexity and obfuscation as well as performance issues. This paper presents the concepts underlying Vaucanson 2, a complete rewrite of the platform that addresses these issues.
Documents
Videos
Bibtex (lrde.bib)
@InProceedings{ demaille.13.ciaa, author = {Akim Demaille and Alexandre Duret-Lutz and Sylvain Lombardy and Jacques Sakarovitch}, title = {Implementation Concepts in {V}aucanson 2}, booktitle = {Proceedings of Implementation and Application of Automata, 18th International Conference (CIAA'13)}, pages = {122--133}, year = 2013, editor = {Stavros Konstantinidis}, publisher = {Springer}, isbn = {978-3-642-39274-0}, volume = 7982, series = {Lecture Notes in Computer Science}, address = {Halifax, NS, Canada}, month = jul, abstract = {Vaucanson is an open source C++ platform dedicated to the computation with finite weighted automata. It is generic: it allows to write algorithms that apply on a wide set of mathematical objects. Initiated ten years ago, several shortcomings were discovered along the years, especially problems related to code complexity and obfuscation as well as performance issues. This paper presents the concepts underlying Vaucanson 2, a complete rewrite of the platform that addresses these issues.}, doi = {10.1007/978-3-642-39274-0_12} }