5451 search results - page 1033 / 1091 » Typed Operational Semantics |
118
Voted
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...
156
Voted
JBCS
2010
15 years 29 days 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...
118
Voted
JFP
2010
15 years 28 days 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...
107
click to vote
AMSTERDAM
2009
15 years 10 days 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...
140
Voted
IPPS
2010
IEEE
14 years 11 months 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...