678 search results - page 56 / 136 » Lock-free parallel dynamic programming |
130
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
156
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
129
click to vote
FPCA
1995
15 years 6 months ago
1995
Lenient languages, such as Id90, have been touted as among the best functional languages for massively parallel machines AHN88]. Lenient evaluation combines non-strict semantics w...
145
click to vote
ECOOPW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
125
click to vote
DCW
2000
Springer
15 years 7 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...