1411 search results - page 193 / 283 » Interactive Coding for Interactive Proofs |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We present a new very fast tree-code which runs on massively parallel Graphical Processing Units (GPU) with NVIDIA CUDA architecture. The tree-construction and calculation of mult...
WCRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—In a software project, outsourcing the development of a particular functionality, reusing a part in another software, or handing-over a part of the code to a new team member req...
IV
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
IJAHUC
2011
14 years 1 months ago
2011
: In recent years, the merging of computing with physical things, enabled the transformation of everyday objects into information appliances. We propose to reuse the central princi...