UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 101
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
Synchronization of 1-way connected processors 1-gen-1996 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Parallel Word Substitution 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 a line of identical processors at a given time 1-gen-1997 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
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-1998 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
Parametric Temporal Logic for Model Measuring 1-gen-1999 Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D.
Polyhedral Flows in Hybrid Automata 1-gen-1999 Alur, R; Kannan, S; LA TORRE, Salvatore
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 1-gen-2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
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
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Deterministic Generators and Games for LTL Fragments 1-gen-2001 Alur, R; LA TORRE, Salvatore
Timed tree Automata with an application to Temporal Logic 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
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.
Automata-based Representations for Infinite Graphs 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
Mostrati risultati da 1 a 20 di 101
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