1411 search results - page 214 / 283 » Interactive Coding for Interactive Proofs |
143
Voted
ASE
2005
15 years 2 months ago
2005
Despite its well-recognized benefits, software reuse has not met its expected success due to technical, cognitive, and social difficulties. We have systematically analyzed the reu...
119
Voted
JFP
2010
15 years 1 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
169
Voted
SOFTVIS
2010
ACM
15 years 14 days ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
213
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
A promising approach to scaling Web applications is to distribute the server infrastructure on which they run. This approach, unfortunately, can introduce latency between the appl...
197
Voted
ICDE
2004
IEEE
16 years 4 months ago
2004
IEEE
Scientific visualization applications are very dataintensive, with high demands for I/O and data management. Developers of many visualization tools hesitate to use traditional DBM...