io-port.net

io-port 06084452 Crespi Reghizzi, Stefano; San Pietro, Pierluigi L.

Strict local testability with consensus equals regularity. (English)

Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 113-124 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50075863 Crespi-Reghizzi, Stefano; Pietro, Pierluigi San

Consensual languages and matching finite-state computations (English)

RAIRO - Theor. Inf. and Applic. 45, No. 1, 77-97 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70000005 Crespi-Reghizzi, Stefano; Pietro, Pierluigi San

From regular to strictly locally testable languages (English)

WORDS, 103-111 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71021997 Silvano, Cristina; Fornaciari, William; Crespi-Reghizzi, Stefano; Agosta, Giovanni; Palermo, Gianluca; Zaccaria, Vittorio; Bellasi, Patrick; Castro, Fabrizio; Corbetta, Simone; Speziale, Ettore; Melpignano, Diego; Zins, J. M.; Hübert, Heiko; Stabernack, Benno; Brandenburg, Jens; Palkovic, Martin; Raghavan, Praveen; Ykman-Couvreur, Chantal; Anagnostopoulos, Iraklis; Bartzas, Alexandros; Soudris, Dimitrios; Kempf, Torsten; Ascheid, Gerd; Ansari, Junaid; Mähönen, Petri; Vanthournout, Bart

Invited paper: parallel programming and run-time resource management framework for many-core platforms: the 2PARMA approach (English)

ReCoSoC, 1-7 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05712468 Crespi Reghizzi, Stefano; Mandrioli, Dino

Operator precedence and the visibly pushdown property. (English)

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 4th international conference, LATA 2010, Trier, Germany, May 24‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13088-5/pbk). Lecture Notes in Computer Science 6031, 214-226 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50145352 Campanoni, Simone; Agosta, Giovanni; Crespi-Reghizzi, Stefano; Di Biagio, Andrea

A highly flexible, parallel virtual machine: design and experience of ILDJIT (English)

Softw., Pract. Exper. 40, No. 2, 177-207 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70101037 Silvano, Cristina; Fornaciari, William; Crespi-Reghizzi, Stefano; Agosta, Giovanni; Palermo, Gianluca; Zaccaria, Vittorio; Bellasi, Patrick; Castro, Fabrizio; Corbetta, Simone; Di Biagio, Andrea; Speziale, Ettore; Tartara, Michele; Siorpaes, David; Hübert, Heiko; Stabernack, Benno; Brandenburg, Jens; Palkovic, Martin; Raghavan, Praveen; Ykman-Couvreur, Chantal; Bartzas, Alexandros; Xydis, Sotirios; Soudris, Dimitrios; Kempf, Torsten; Ascheid, Gerd; Leupers, Rainer; Meyr, Heinrich; Ansari, Junaid; Mähönen, Petri; Vanthournout, Bart

2PARMA: parallel paradigms and run-time management techniques for many-core architectures (English)

ISVLSI, 494-499 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70140236 Tartara, Michele; Campanoni, Simone; Agosta, Giovanni; Crespi-Reghizzi, Stefano

Parallelism and retargetability in the ILDJIT dynamic compiler (English)

ARCS Workshops, 285-291 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70150523 Crespi-Reghizzi, Stefano; Mandrioli, Dino

Operator precedence and the visibly pushdown property (English)

LATA, 214-226 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70859243 Grechanik, Mark; Mcmillan, Collin; Deferrari, Luca; Comi, Marco; Crespi-Reghizzi, Stefano; Poshyvanyk, Denys; Fu, Chen; Xie, Qing; Ghezzi, Carlo

An empirical investigation into a large-scale Java open source code repository (English)

ESEM (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05752584 Pradella, Matteo; Cherubini, Alessandra; Crespi-Reghizzi, Stefano

A unifying approach to picture grammars. (English)

Comput. Res. Repos. 2009, Article No. 0910.2829 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05751291 Crespi-Reghizzi, Stefano; Mandrioli, Dino

Algebraic properties of structured context-free languages: old approaches and novel developments. (English)

Comput. Res. Repos. 2009, Article No. 0907.2130 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05576354 Campanoni, Simone; Crespi Reghizzi, Stefano

Traces of control-flow graphs. (English)

Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30‒July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 156-169 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05535429 Campanoni, Simone; Sykora, Martino; Agosta, Giovanni; Crespi Reghizzi, Stefano

Dynamic look ahead compilation: A technique to hide JIT compilation latencies in multicore environment. (English)

de Moor, Oege (ed.) et al., Compiler construction. 18th international conference, CC 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22‒29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00721-7/pbk). Lecture Notes in Computer Science 5501, 220-235 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05492758 Crespi Reghizzi, Stefano

Formal languages and compilation. (English)

Texts in Computer Science. London: Springer (ISBN 978-1-84882-049-4/hbk). xii, 364~p. EUR~54.95/net; SFR~91.50; \sterling~35.99; \$~79.95 (2009).

Reviewer: Jörg Desel (Eichstätt)

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 70143173 Crespi-Reghizzi, Stefano; Pietro, Pierluigi San

Languages defined by consensual computations (English)

ICTCS, 82-85 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 70552514 Campanoni, Simone; Crespi-Reghizzi, Stefano

Traces of control-flow graphs (English)

Developments in Language Theory, 156-169 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70648013 Campanoni, Simone; Sykora, Martino; Agosta, Giovanni; Crespi-Reghizzi, Stefano

Dynamic look ahead compilation: A technique to hide JIT compilation latencies in multicore environment (English)

CC, 220-235 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05502046 Cherubini, Alessandra; Crespi Reghizzi, Stefano; Pradella, Matteo

Regional languages and tiling: A unifying approach to picture grammars. (English)

Ochmański, Edward (ed.) et al., Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25‒29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85237-7/pbk). Lecture Notes in Computer Science 5162, 253-264 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05411085 Crespi-Reghizzi, Stefano

Formal semantics of language and the richard-berry paradox. (English)

Comput. Res. Repos. 2008, Article No. 0807.3845 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX URL