Sfoglia per Autore
Announcing Kermit68K, a Portable 68000 Kermit Program
1987-01-01 Bagnara, Roberto
The Valet-Plus Embedded into Large Physics Experiments
1988-01-01 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
1988-01-01 Bagnara, Roberto
Remote Procedure Call
1988-01-01 Bagnara, Roberto
Static Analysis of CLP Programs over Numeric Domains
1989-01-01 Bagnara, Roberto; Giacobazzi, R.; Levi, G.
The Integration of VAX and Valet-Plus Data Acquisition Software
1989-01-01 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
1992-01-01 Bagnara, Roberto
An Application of Constraint Propagation to Data-Flow Analysis
1993-01-01 Bagnara, Roberto; Giacobazzi, R.; Levi, G.
On the Detection of Implicit and Redundant Numeric Constraints inCLP programs
1994-01-01 Bagnara, Roberto
Constraint Systems for Pattern Analysis of Constraint Logic-BasedLanguages
1995-01-01 Bagnara, Roberto
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods
1995-01-01 Bagnara, Roberto
The AND-Compositionality of CLP Computed Answer Constraints
1996-01-01 Bagnara, Roberto; Comini, M.; Scozzari, F.; Zaffanella, Enea
Straight ROBDDs Are Not the Best for Pos
1996-01-01 Bagnara, Roberto
A Reactive Implementation of Pos using ROBDDs
1996-01-01 Bagnara, Roberto
Data-Flow Analysis for Constraint Logic-Based Languages
1997-01-01 Bagnara, Roberto
Structural Information Analysis for CLP Languages
1997-01-01 Bagnara, Roberto
Sharing Revisited
1997-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Set-Sharing is Redundant for Pair-Sharing
1997-01-01 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
The Correctness of Set-Sharing
1998-01-01 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
The Correctness of Set-Sharing
1998-01-01 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
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 | |
Data-Flow Analysis for Constraint Logic-Based Languages | 1-gen-1997 | 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 | |
Set-Sharing is Redundant for Pair-Sharing | 1-gen-1997 | Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea | |
The Correctness of Set-Sharing | 1-gen-1998 | Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea | |
The Correctness of Set-Sharing | 1-gen-1998 | Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea |
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