2501 search results - page 442 / 501 » Obligations and Their Interaction with Programs |
158
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
153
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
141
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Automatic library generators, such as ATLAS [11], Spiral [8] and FFTW [2], are promising technologies to generate efficient code for different computer architectures. The library...
152
click to vote
AUIC
2006
IEEE
15 years 10 months ago
2006
IEEE
Pointing is a natural way of communicating. Children in all cultures use pointing inherently. Attaching tags to our environment enables interaction by pointing. Visual tags are a g...
133
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...