2271 search results - page 159 / 455 » Scalable Software Libraries |
187
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
214
click to vote
GCSE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
142
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
148
click to vote
DL
2000
Springer
15 years 9 months ago
2000
Springer
Text documents often contain valuable structured data that is hidden in regular English sentences. This data is best exploited if available as a relational table that we could use...
140
click to vote
CIA
1998
Springer
15 years 9 months ago
1998
Springer
One of our goals when building the University of Michigan Digital Library UMDL has been to prototype an architecture that can continually recon gure itself as users, contents, and ...