Sfoglia per Autore  

opzioni
Mostrati risultati da 21 a 40 di 81
Titolo Data di pubblicazione Autore(i) File
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 1-gen-2002 Bagnara, Roberto; Ricci, E.; Zaffanella, Enea; Hill, P. M.
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Encoding of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Set-Sharing Is Redundant for Pair-Sharing 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 1-gen-2002 Bagnara, Roberto; Ricci, E.; Zaffanella, Enea; Hill, P. M.
Decomposing Non-Redundant Sharing by Complementation 1-gen-2002 Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto
Soundness, Idempotence and Commutativity of Set-Sharing 1-gen-2002 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
Precise Widening Operators for Convex Polyhedra 1-gen-2003 Bagnara, Roberto; Hill, P. M.; Ricci, E.; Zaffanella, Enea
Precise Widening Operators for Convex Polyhedra 1-gen-2003 Bagnara, Roberto; Hill, P. M.; Ricci, E.; Zaffanella, Enea
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 1-gen-2004 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2004 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
Widening Operators for Powerset Domains 1-gen-2004 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2004 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Widening Operators for Powerset Domains 1-gen-2004 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 1-gen-2005 Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea
Widening Operators for Weakly-Relational Numeric Abstractions 1-gen-2005 Bagnara, Roberto; Hill, P. M.; Mazzi, E.; Zaffanella, Enea
Mostrati risultati da 21 a 40 di 81
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