44 search results - page 7 / 9 » Verified Null-Move Pruning |
120
click to vote
TAOSD
2010
14 years 8 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
14 years 7 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
14 years 7 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
14 years 1 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...
109
click to vote
ICDE
2012
IEEE
13 years 1 days 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...