2271 search results - page 233 / 455 » Scalable Software Libraries |
120
click to vote
BIRD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Mass spectrometry is the work-horse technology of the emerging eld of metabolomics. The identi cation of mass signals remains the largest bottleneck for a non-targeted a...
127
click to vote
CC
2007
Springer
15 years 10 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
133
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe retrieval experiments performed at Charles University in Prague for participation in the CLEF 2007 Ad-Hoc track. We focused on the Czech monolingual task...
132
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
136
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...