Sciweavers

181 search results - page 10 / 37
» Program Slicing and Data Provenance
Sort
View
APSEC
1999
IEEE
14 years 3 months ago
Slicing Methods Using Static and Dynamic Analysis Information
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...
Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue
CISIS
2010
IEEE
14 years 4 months ago
A Parallel Programming Framework for Multi-core DNA Sequence Alignment
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
Tiago Jose Barreiros Martins de Almeida, Nuno Fili...
SCP
2010
123views more  SCP 2010»
13 years 5 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
POST
2012
218views more  POST 2012»
12 years 6 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
CORR
2010
Springer
110views Education» more  CORR 2010»
13 years 8 months ago
Provenance and evidence in UniProtKB
Abstract. The primary mission of UniProt is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequenc...
Jerven Bolleman, Alain Gateau, Sebastien Gehant, N...