469 search results - page 19 / 94 » Language and library support for practical PRAM programming |
155
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
160
click to vote
ICS
2004
Tsinghua U.
15 years 11 months ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...
170
click to vote
AFRIGRAPH
2001
ACM
15 years 9 months ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
181
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
166
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...