3119 search results - page 620 / 624 » General Default Logic |
151
click to vote
IPPS
2010
IEEE
15 years 28 days ago
2010
IEEE
Multi-pattern string matching remains a major performance bottleneck in network intrusion detection and anti-virus systems for high-speed deep packet inspection (DPI). Although Aho...
152
click to vote
LCTRTS
2010
Springer
15 years 28 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
171
click to vote
OOPSLA
2010
Springer
15 years 27 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
130
click to vote
OOPSLA
2010
Springer
15 years 27 days 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...
149
click to vote
PPDP
2010
Springer
15 years 27 days ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...