1620 search results - page 265 / 324 » An Annotation-Based Framework for Parallel Computing |
119
click to vote
ALP
1994
Springer
15 years 6 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...
130
Voted
AAAI
1990
15 years 3 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...
153
Voted
MICCAI
2010
Springer
15 years 29 days 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...
119
Voted
ISORC
2009
IEEE
15 years 9 months 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...
118
Voted
DATE
2008
IEEE
15 years 9 months 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...