1411 search results - page 193 / 283 » Interactive Coding for Interactive Proofs |
111
Voted
CORR
2010
Springer
15 years 2 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...
145
Voted
WCRE
2010
IEEE
15 years 1 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...
147
Voted
IV
2010
IEEE
15 years 20 days 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...
124
Voted
SIGSOFT
2010
ACM
15 years 18 days 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...
120
Voted
IJAHUC
2011
14 years 6 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...