3663 search results - page 329 / 733 » Problems in the ontology of computer programs |
175
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
Multi-core platforms have proven themselves able to accelerate numerous HPC applications. But programming dataintensive applications on such platforms is a hard, and not yet solve...
157
click to vote
PPOPP
2005
ACM
16 years 10 days ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
182
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
169
click to vote
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
173
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...