Sciweavers

2154 search results - page 130 / 431
» Evidence-based software production
Sort
View
160
Voted
DSN
2006
IEEE
15 years 7 months ago
Efficiently Detecting All Dangling Pointer Uses in Production Servers
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
Dinakar Dhurjati, Vikram S. Adve
AES
2008
Springer
182views Cryptology» more  AES 2008»
15 years 4 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
ESCIENCE
2007
IEEE
15 years 8 months ago
CDF Monte Carlo Production on LCG Grid via LcgCAF Portal
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
Gabriele Compostella, Donatella Lucchesi, Simone P...
BMCBI
2007
168views more  BMCBI 2007»
15 years 4 months ago
GOSim - an R-package for computation of information theoretic GO similarities between terms and gene products
Background: With the increased availability of high throughput data, such as DNA microarray data, researchers are capable of producing large amounts of biological data. During the...
Holger Fröhlich, Nora Speer, Annemarie Poustk...
ECMDAFA
2005
Springer
83views Hardware» more  ECMDAFA 2005»
15 years 9 months ago
Synchronizing Cardinality-Based Feature Models and Their Specializations
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...
Chang Hwan Peter Kim, Krzysztof Czarnecki