1411 search results - page 214 / 283 » Interactive Coding for Interactive Proofs |
ASE
2005
14 years 9 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...
JFP
2010
14 years 8 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...
111
click to vote
SOFTVIS
2010
ACM
14 years 7 months 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 ...
161
click to vote
ICDE
2009
IEEE
15 years 11 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...
158
click to vote
ICDE
2004
IEEE
15 years 11 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...