8132 search results - page 50 / 1627 » Dependability, Abstraction, and Programming |
CP
2003
Springer
15 years 3 months ago
2003
Springer
100
click to vote
MPC
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
SAS
2007
Springer
15 years 4 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
ENTCS
2008
14 years 10 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
158
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond