Search Sciweavers | Sciweavers

2271 search results - page 45 / 455

» Scalable Software Libraries

click to vote

ICS
2007
Tsinghua U.

165views Distributed And Parallel Com...» more ICS 2007»

Representation-transparent matrix algorithms with scalable performance

14 years 4 months ago

Download www.osl.iu.edu

Positive results from new object-oriented tools for scientiﬁc programming are reported. Using template classes, abstractions of matrix representations are available that subsume...

Peter Gottschling, David S. Wise, Michael D. Adams

claim paper

Read More »

click to vote

SIGSOFT
2005
ACM

95views Software Engineering» more SIGSOFT 2005»

Permissive interfaces

14 years 10 months ago

Download cseweb.ucsd.edu

A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

click to vote

WCRE
2002
IEEE

119views Software Engineering» more WCRE 2002»

ConSUS: A Scalable Approach to Conditioned Slicing

14 years 2 months ago