1205 search results - page 37 / 241 » Program Extraction from Large Proof Developments |
EUROSYS
2007
ACM
14 years 8 months ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
IWPC
2006
IEEE
14 years 5 months ago
2006
IEEE
Copy-paste programming is dangerous as it may lead to hidden dependencies between different parts of the system. Modifying clones is not always straight forward, because we might ...
WCRE
2005
IEEE
14 years 4 months ago
2005
IEEE
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...
VIS
2005
IEEE
15 years 5 days ago
2005
IEEE
We study the problem of visualizing large networks and develop es for effectively abstracting a network and reducing the size to a level that can be clearly viewed. Our size reduc...
DB
2008
13 years 11 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...