6274 search results - page 572 / 1255 » Proofs, Programs, Processes |
239
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
188
click to vote
APLAS
2003
ACM
16 years 20 days ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
184
click to vote
FOAL
2007
ACM
15 years 11 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
186
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
185
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We compare the performance of systems consisting of one large cluster containing q processors with systems where processors are grouped into k clusters containing u processors eac...