4820 search results - page 220 / 964 » Implementing Signatures for C |
124
Voted
PACT
2001
Springer
15 years 7 months ago
2001
Springer
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
135
click to vote
JFP
2002
15 years 3 months ago
2002
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
103
Voted
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present an inter-architectural comparison of single- and double-precision direct n-body implementations on modern multicore platforms, including those based on the Intel Neha...
124
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
151
Voted
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
We describe how reachability-based orthogonal persistence can be supported even in uncooperative implementations of languages such as C++ and Modula-3, and without modification t...