CRESPI REGHIZZI, STEFANO

CRESPI REGHIZZI, STEFANO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 124 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autori File
2022 Best Paper Award Runner Up - Journal of Computer Languages 1-gen-2023 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-core Architectures 1-gen-2010 SILVANO, CRISTINAFORNACIARI, WILLIAMCRESPI REGHIZZI, STEFANOAGOSTA, GIOVANNIPALERMO, GIANLUCAZACCARIA, VITTORIOBELLASI, PATRICKCASTRO, FABRIZIOCORBETTA, SIMONEDI BIAGIO, ANDREASPEZIALE, ETTORETARTARA, MICHELE +
2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-core Architectures. 1-gen-2011 SILVANO, CRISTINAFORNACIARI, WILLIAMCRESPI REGHIZZI, STEFANOAGOSTA, GIOVANNIPALERMO, GIANLUCAZACCARIA, VITTORIOBELLASI, PATRICKCORBETTA, SIMONEDI BIAGIO, ANDREASPEZIALE, ETTORETARTARA, MICHELE +
A CKY parser for picture grammars 1-gen-2008 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
A class of Grammars Generating Non Counting Languages 1-gen-1979 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
A decidability theorem for a class of vector-addition systems 1-gen-1975 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
A deterministic parsing algorithm for ambiguous regular expressions 1-gen-2021 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
A generalized LR(1) parser for extended context-free grammars 1-gen-2020 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
A highly flexible, parallel virtual machine: design and experience of ILDJIT 1-gen-2010 CAMPANONI, SIMONEAGOSTA, GIOVANNICRESPI REGHIZZI, STEFANODI BIAGIO, ANDREA
A language for treating graphs 1-gen-1970 CRESPI REGHIZZI, STEFANO +
A parallel dynamic compiler for CIL bytecode 1-gen-2008 CAMPANONI, SIMONEAGOSTA, GIOVANNICRESPI REGHIZZI, STEFANO
A SAT-based parser and completer for pictures specified by tiling 1-gen-2008 PRADELLA, MATTEOCRESPI REGHIZZI, STEFANO
A scalable formal method for design and automatic checking of user interfaces 1-gen-2001 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI +
A scalable formal method for design and automatic checking of user interfaces 1-gen-2005 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI +
A unifying approach to picture grammars 1-gen-2011 PRADELLA, MATTEOCHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANO
ADA for multi-microprocessors 1-gen-1984 CRESPI REGHIZZI, STEFANO +
Algebraic Properties of Operator Precedence Languages 1-gen-1978 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO +
Algebraic properties of structured context-free languages: old approaches and novel developments 1-gen-2009 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 1-gen-2010 COMI, MARCOCRESPI REGHIZZI, STEFANOGHEZZI, CARLO +
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 1-gen-2023 Mandrioli D.Pradella M.Crespi Reghizzi S.