2451 search results - page 41 / 491 » The Octagon Abstract Domain |
211
click to vote
JFPLC
2004
15 years 7 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
165
click to vote
JSW
2007
15 years 5 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
131
click to vote
DASFAA
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract. This demonstration presents OntoDB, a prototype that allows to store explicitly in the database not only the data, but also the conceptual model defining the structure o...
181
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
138
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...