334 search results - page 59 / 67 » A New Parallel Algorithm for Generalized LR Parsing |
106
click to vote
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
109
click to vote
CAV
2010
Springer
15 years 3 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
104
Voted
CC
2006
Springer
15 years 3 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
119
click to vote
WWW
2008
ACM
16 years 8 days ago
2008
ACM
Web search engines are facing formidable performance challenges due to data sizes and query loads. The major engines have to process tens of thousands of queries per second over t...
118
click to vote
DEBS
2007
ACM
15 years 1 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...