7961 search results - page 138 / 1593 » Input-Output Model Programs |
104
click to vote
ICPP
2008
IEEE
15 years 9 months ago
2008
IEEE
View-Oriented Parallel Programming (VOPP) is a novel parallel programming model which uses views for commu
227
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
119
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
ER
2009
Springer
15 years 9 months ago
2009
Springer