Sciweavers

676 search results - page 136 / 136
» Distributed and Parallel Data Mining on the Grid
Sort
View
SAS
2009
Springer
162views Formal Methods» more  SAS 2009»
14 years 6 months ago
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
Antoine Miné, Ji Wang, Liqian Chen, Patrick...