44 search results - page 7 / 9 » Verified Null-Move Pruning |
TAOSD
2010
13 years 5 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
TKDE
2011
12 years 11 months ago
2011
Given a positive value r, a distance based range query returns the objects that lie within the distance r of the query location.
In this paper, we focus on the distance based rang...
ICDE
2012
IEEE
11 years 9 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...