16190 search results - page 63 / 3238 » Applicative programming with effects |
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
210
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
198
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
186
click to vote
CAIP
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
148
click to vote
SAS
2007
Springer
16 years 3 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...