5451 search results - page 1033 / 1091 » Typed Operational Semantics |
121
click to vote
TJS
2002
15 years 2 months ago
2002
This paper proposes a performance tools interface for OpenMP, similar in spirit to the MPI profiling interface in its intent to define a clear and portable API that makes OpenMP ex...
161
click to vote
JBCS
2010
15 years 1 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
122
click to vote
JFP
2010
15 years 1 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
113
click to vote
AMSTERDAM
2009
15 years 1 months ago
2009
The paper provides a compositional account of cumulative readings with non-increasing modified numerals (aka van Benthem's puzzle), e.g., Exactly three boys saw exactly five m...
148
click to vote
IPPS
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract--Clusters featuring the InfiniBand interconnect are continuing to scale. As an example, the "Ranger" system at the Texas Advanced Computing Center (TACC) include...