469 search results - page 60 / 94 » Language and library support for practical PRAM programming |
123
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
136
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
175
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
114
click to vote
WMPI
2004
ACM
15 years 8 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
134
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...