1620 search results - page 265 / 324 » An Annotation-Based Framework for Parallel Computing |
165
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
167
click to vote
AAAI
1990
15 years 7 months ago
1990
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
194
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
155
click to vote
ISORC
2009
IEEE
16 years 19 days ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
158
click to vote
DATE
2008
IEEE
16 years 14 days ago
2008
IEEE
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...