967 search results - page 64 / 194 » Probabilistic Predicative Programming |
106
Voted
JLP
2000
15 years 2 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
114
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
104
click to vote
COLING
1992
15 years 3 months ago
1992
Parsing a long sentence is very difficult, since long sentences often have conjunctions which result in ambiguities. If the conjunctive structures existing in a long sentence can ...
171
click to vote
SCAM
2005
IEEE
15 years 8 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
117
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...