165 search results - page 21 / 33 » A Tabling Implementation Based on Variables with Multiple Bi... |
131
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...
111
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
176
click to vote
ICC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Regular expression matching has become a critical yet challenging technique in content-aware network processing, such as application identification and deep inspection. To meet ...
126
Voted
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
137
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Crossbar arbitration—which determines the allocation of output ports to packets in the input queues—is a performance-critical stage in the overall performance of routers for i...