IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 123
Titolo Data di pubblicazione Autore(i) File
Announcing Kermit68K, a Portable 68000 Kermit Program 1-gen-1987 Bagnara, Roberto
The Valet-Plus Embedded into Large Physics Experiments 1-gen-1988 Perrin, Y.; Bagnara, Roberto; BERNERS LEE, T. J.; Carena, W.; Divia, R.; Parkman, C.; Petersen, J.; Tremblet, L.; Wessels, B.
A General Event Handling System for the Valet-Plus 1-gen-1988 Bagnara, Roberto
Remote Procedure Call 1-gen-1988 Bagnara, Roberto
Static Analysis of CLP Programs over Numeric Domains 1-gen-1989 Bagnara, Roberto; Giacobazzi, R.; Levi, G.
The Integration of VAX and Valet-Plus Data Acquisition Software 1-gen-1989 Heyes, G.; Wessels, B.; Perrin, Y.; Bagnara, Roberto; BERNERS LEE, T. J.; Carena, W.; Divia, R.; Parkman, C.; Petersen, J.; Tremblet, L.
Interpretazione astratta di linguaggi logici con vincoli su domini finiti 1-gen-1992 Bagnara, Roberto
An Application of Constraint Propagation to Data-Flow Analysis 1-gen-1993 Bagnara, Roberto; Giacobazzi, R.; Levi, G.
On the Detection of Implicit and Redundant Numeric Constraints inCLP programs 1-gen-1994 Bagnara, Roberto
Constraint Systems for Pattern Analysis of Constraint Logic-BasedLanguages 1-gen-1995 Bagnara, Roberto
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 1-gen-1995 Bagnara, Roberto
The AND-Compositionality of CLP Computed Answer Constraints 1-gen-1996 Bagnara, Roberto; Comini, M.; Scozzari, F.; Zaffanella, Enea
Straight ROBDDs Are Not the Best for Pos 1-gen-1996 Bagnara, Roberto
A Reactive Implementation of Pos using ROBDDs 1-gen-1996 Bagnara, Roberto
Structural Information Analysis for CLP Languages 1-gen-1997 Bagnara, Roberto
Sharing Revisited 1-gen-1997 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Data-Flow Analysis for Constraint Logic-Based Languages 1-gen-1997 Bagnara, Roberto
Set-Sharing is Redundant for Pair-Sharing 1-gen-1997 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 1-gen-1998 Bagnara, Roberto
The Correctness of Set-Sharing 1-gen-1998 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
Mostrati risultati da 1 a 20 di 123
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