43 search results - page 1 / 9 » A Scalable Segmented Decision Tree Abstract Domain |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
SAS
2010
Springer
13 years 3 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
ROBOCUP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. An object recognition process in general is designed as a domain specific, highly specialized task. As the complexity of such a process tends to be rather inestimable, m...
ICCCN
2008
IEEE
13 years 11 months ago
2008
IEEE
: Recent studies on inter-domain DWDM networks used on topology abstraction for state summarization, i.e., transforming a physical topology to a virtual mesh, tree, or star network...