42 search results - page 7 / 9 » A Comprehensive Framework for Combined Decision Procedures |
SAS
2010
Springer
14 years 8 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
Boosting based detection methods have successfully been used for robust detection of faces and pedestrians. However, a very large amount of labeled examples are required for train...
JSAC
2006
14 years 9 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
JUCS
2008
14 years 9 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
CADE
2004
Springer
15 years 9 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...