1411 search results - page 193 / 283 » Interactive Coding for Interactive Proofs |
108
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...
143
Voted
WCRE
2010
IEEE
15 years 28 days 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...
145
Voted
IV
2010
IEEE
15 years 15 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...
122
click to vote
SIGSOFT
2010
ACM
15 years 14 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...
119
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...