1760 search results - page 73 / 352 » Program Analysis Using Weighted Pushdown Systems |
121
Voted
PDPTA
1996
15 years 1 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
85
Voted
DDEP
2000
Springer
15 years 4 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
127
Voted
IJAR
2006
15 years 14 days ago
2006
A method to extract a fuzzy rule based system from a trained artificial neural network for classification is presented. The fuzzy system obtained is equivalent to the correspondin...
125
click to vote
OPODIS
2003
15 years 1 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
106
click to vote
IR
2010
14 years 9 months ago
2010
This article presents FIDJI, a question-answering (QA) system for French. FIDJI combines syntactic information with traditional QA techniques such as named entity recognition and t...