2271 search results - page 233 / 455 » Scalable Software Libraries |
163
Voted
BIRD
2007
Springer
16 years 1 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...
184
click to vote
CC
2007
Springer
16 years 1 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...
188
Voted
CLEF
2007
Springer
16 years 1 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...
188
Voted
IFIP
2007
Springer
16 years 1 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...
189
Voted
ACSD
2006
IEEE
16 years 1 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...