9 search results - page 1 / 2 » An Smodels System with Limited Lookahead Computation |
LPNMR
2007
Springer
14 years 5 months ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...
ICAC
2006
IEEE
14 years 4 months ago
2006
IEEE
ANCS
2009
ACM
13 years 8 months ago
2009
ACM
Although Regular Expressions (RegExes) have been widely used in network security applications, their inherent complexity often limits the total number of RegExes that can be detec...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
ICS
2004
Tsinghua U.
14 years 4 months ago
2004
Tsinghua U.
In contemporary out-of-order superscalar design, high IPC is mainly achieved by exposing high instruction level parallelism (ILP). Scaling issue window size can certainly provide ...