Sfoglia per Autore
Real-time scheduling by queue automata
1992-01-01 Breveglieri, LUCA ODDONE; Cherubini, Alessandra; CRESPI REGHIZZI, Stefano
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
1992-01-01 F., Cacace; Ceri, Stefano; CRESPI REGHIZZI, Stefano; Tanca, Letizia
Designing and prototyping data-intensive applications in the Logres and Algres programming environment
1992-01-01 F., Cacace; Ceri, Stefano; Tanca, Letizia; CRESPI REGHIZZI, Stefano
The LOGRES prototypeProceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93
1993-01-01 F., Cacace; Ceri, Stefano; CRESPI REGHIZZI, Stefano; Fraternali, Piero; S., Paraboschi; Tanca, Letizia
Fair list languages and parallel programme schemes
1994-01-01 Breveglieri, LUCA ODDONE; Cherubini, Alessandra; Citrini, Claudio; CRESPI REGHIZZI, Stefano
Deterministic parsing for augmented context-free grammars
1995-01-01 Breveglieri, LUCA ODDONE; Cherubini, Alessandra; CRESPI REGHIZZI, Stefano
Multi-push-down languages and grammars
1996-01-01 Cherubini, Alessandra; Breveglieri, LUCA ODDONE; Citrini, Claudio; CRESPI REGHIZZI, Stefano
Linguaggi Formali e Artificiali: Aspetti Sintattici
1997-01-01 CRESPI REGHIZZI, Stefano
Grammar Partitioning and Modular Deterministic Parsing
1998-01-01 CRESPI REGHIZZI, Stefano; G., Psaila
Languages based on structural local testability
1999-01-01 Cherubini, Alessandra; CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Modeling operating systems schedulers with multi-stack-queue grammars
1999-01-01 Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Cherubini, Alessandra
Maximal parallel scheduling and trace theory
2000-01-01 CRESPI REGHIZZI, Stefano
Towards a brain compatible theory of syntax based on local testability
2000-01-01 V., Braitenberg; CRESPI REGHIZZI, Stefano
A scalable formal method for design and automatic checking of user interfaces
2001-01-01 J., Berstel; CRESPI REGHIZZI, Stefano; G., Roussel; SAN PIETRO, Pierluigi
Partitioning of hierarchical automation systems
2001-01-01 Emanuele, Ciapessoni; Maestri, Francesco; Judit, Szanto; CRESPI REGHIZZI, Stefano; Andrea, Ornstein; Psaila, Giuseppe
Formal languages in communication sciences: a manifesto
2001-01-01 CRESPI REGHIZZI, Stefano
Associative definition of programming languages
2001-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
Some structural Properties of Associative Language Descriptions
2001-01-01 Cherubini, Alessandra; CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Linguaggi formali nelle scienze della comunicazione
2002-01-01 CRESPI REGHIZZI, Stefano
The impact of alias analysis on VLIW scheduling
2002-01-01 R., Costa; CRESPI REGHIZZI, Stefano; Garatti, Marco; E., Rohou
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile