Sciweavers

797 search results - page 96 / 160
» Finding Reusable Software Components in Large Systems
Sort
View
PLDI
2005
ACM
14 years 2 months ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine
TREC
2000
13 years 10 months ago
Information Space Based on HTML Structure
The main goal for the Information Space system for TREC9 was early precision. To facilitate this, an emphasis was placed on seeking matches from only the TITLE, H1, H2 and H3 tags...
Gregory B. Newby
ICSE
2008
IEEE-ACM
14 years 10 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
SOSP
1997
ACM
13 years 10 months ago
The Flux OSKit: A Substrate for Kernel and Language Research
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau,...
MEDES
2010
ACM
13 years 3 months ago
Brazilian public software: beyond sharing
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
A. M. Alves, Marcelo Schneck de Paula Pessôa