Sciweavers

451 search results - page 26 / 91
» Complexity of Data Flow Analysis for Non-Separable Framework...
Sort
View
SOCO
2009
Springer
14 years 4 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
BMCBI
2008
92views more  BMCBI 2008»
13 years 10 months ago
OpenMS - An open-source software framework for mass spectrometry
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
Marc Sturm, Andreas Bertsch, Clemens Gröpl, A...
ECOOP
2006
Springer
14 years 1 months ago
Modeling Runtime Behavior in Framework-Based Applications
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
Nick Mitchell, Gary Sevitsky, Harini Srinivasan
ICFP
2007
ACM
14 years 10 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
ICDE
2008
IEEE
141views Database» more  ICDE 2008»
14 years 11 months ago
A General Framework for Fast Co-clustering on Large Datasets Using Matrix Decomposition
Abstract-- Simultaneously clustering columns and rows (coclustering) of large data matrix is an important problem with wide applications, such as document mining, microarray analys...
Feng Pan, Xiang Zhang, Wei Wang 0010