2019 search results - page 77 / 404 » Programming with Shared Data Abstractions |
171
click to vote
POPL
2009
ACM
16 years 29 days ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
157
click to vote
ADAEUROPE
2006
Springer
16 years 5 days ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...
130
click to vote
ATVA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
173
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This article presents a novel framework to register and fuse heterogeneous sensory data. Our approach is based on geometrically registration of sensory data onto a set of...
167
click to vote
NTMS
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—It is well known that the suitability of many cryptographic algorithms decreases with time. Hence, it is a challenging task to maintain the integrity, authenticity, con...