Sfoglia per Autore LA TORRE, Salvatore
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation
1995-01-01 Bondavalli, A; Chiaradonna, S; DI GIANDOMENICO, F; LA TORRE, Salvatore
Parallel Word Substitution
1996-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Synchronization of 1-way connected processors
1996-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Modelling the Effects of Input Correlation in Iterative Software
1997-01-01 A., Bondavalli; S., Chiaradonna; F., Di Giandomenico; LA TORRE, Salvatore
Synchronization of 1-way connected processorsFundamentals of Computation Theory
1997-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Synchronization of a line of identical processors at a given time
1997-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Representing Infinite hyper-graphs by regular languages
1998-01-01 LA TORRE, Salvatore; Napoli, Margherita
Representing hyper-graphs by regular languages
1998-01-01 LA TORRE, Salvatore; Napoli, Margherita
Synchronization of a Line of Identical Processors at a Given Time
1998-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Polyhedral Flows in Hybrid Automata
1999-01-01 Alur, R; Kannan, S; LA TORRE, Salvatore
Parametric Temporal Logic for Model Measuring
1999-01-01 Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D.
A Decidable Dense Branching-time Temporal Logic
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Automata-based Representations for Infinite Graphs
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Timed tree Automata with an application to Temporal Logic
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
Deterministic Generators and Games for LTL Fragments
2001-01-01 Alur, R; LA TORRE, Salvatore
A Model of Finite Automata on Timed omega-Trees
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
Parametric temporal logic for "model measuring"
2001-01-01 Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation | 1-gen-1995 | Bondavalli, A; Chiaradonna, S; DI GIANDOMENICO, F; LA TORRE, Salvatore | |
Parallel Word Substitution | 1-gen-1996 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Synchronization of 1-way connected processors | 1-gen-1996 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Modelling the Effects of Input Correlation in Iterative Software | 1-gen-1997 | A., Bondavalli; S., Chiaradonna; F., Di Giandomenico; LA TORRE, Salvatore | |
Synchronization of 1-way connected processorsFundamentals of Computation Theory | 1-gen-1997 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Synchronization of a line of identical processors at a given time | 1-gen-1997 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Representing Infinite hyper-graphs by regular languages | 1-gen-1998 | LA TORRE, Salvatore; Napoli, Margherita | |
Representing hyper-graphs by regular languages | 1-gen-1998 | LA TORRE, Salvatore; Napoli, Margherita | |
Synchronization of a Line of Identical Processors at a Given Time | 1-gen-1998 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Polyhedral Flows in Hybrid Automata | 1-gen-1999 | Alur, R; Kannan, S; LA TORRE, Salvatore | |
Parametric Temporal Logic for Model Measuring | 1-gen-1999 | Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. | |
A Decidable Dense Branching-time Temporal Logic | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita | |
A Compositional Approach to Synchronize Two Dimensional Networks of Processors | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Automata-based Representations for Infinite Graphs | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Timed tree Automata with an application to Temporal Logic | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
Deterministic Generators and Games for LTL Fragments | 1-gen-2001 | Alur, R; LA TORRE, Salvatore | |
A Model of Finite Automata on Timed omega-Trees | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
Parametric temporal logic for "model measuring" | 1-gen-2001 | Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. |
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