1675 search results - page 40 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
106
click to vote
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
121
click to vote
ACL
2006
15 years 4 months ago
2006
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
112
click to vote
JUCS
2006
15 years 3 months ago
2006
: Optimal synthesis of workflow structures, the formerly undefined problem, has been introduced. Mathematical programming model is presented for determining the cost optimal workfl...
105
click to vote
HCW
1998
IEEE
15 years 7 months ago
1998
IEEE
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...
130
Voted
CISIS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...