1411 search results - page 49 / 283 » Interactive Coding for Interactive Proofs |
CPHYSICS
2004
13 years 10 months ago
2004
We test the standard edge plasma code B2-solps5.0 on a model First-Wall Limiter (FWL) geometry. The presence of a tangency point between the solid wall and the magnetic separatrix...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
CHI
2006
ACM
14 years 11 months ago
2006
ACM
We present LifeSource, two visualizations of CVS code repositories, one file-centric and one author-centric. CodeConnections, the file-centric visualization, pulls out the overall...
TACS
2001
Springer
14 years 3 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
BMCBI
2004
13 years 11 months ago
2004
Background: Alignment and comparison of related genome sequences is a powerful method to identify regions likely to contain functional elements. Such analyses are data intensive, ...