IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 99
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
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
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 1-gen-2002 Bagnara, Roberto; Ricci, E.; Zaffanella, Enea; Hill, P. M.
Set-Sharing Is Redundant for Pair-Sharing 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
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
Widening Operators for Powerset Domains 1-gen-2004 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Widening Operators for Powerset Domains 1-gen-2004 Bagnara, Roberto; Hill, P. M.; 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 offinite and rational tree languages 1-gen-2004 Hill, Pm; Zaffanella, E; Bagnara, R
Finite-Tree Analysis for Constraint Logic-Based Languages 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
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 1-gen-2005 Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; 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
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 1-gen-2005 Bagnara, Roberto; RODRIGUEZ CARBONELL, E.; Zaffanella, Enea
Mostrati risultati da 21 a 40 di 99
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