Sciweavers

436 search results - page 18 / 88
» On two variations of identifying codes
Sort
View
132
Voted
FORTE
2004
15 years 5 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
147
Voted
NPC
2010
Springer
15 years 2 months ago
Exposing Tunable Parameters in Multi-threaded Numerical Code
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
Apan Qasem, Jichi Guo, Faizur Rahman, Qing Yi
139
Voted
BMCBI
2004
154views more  BMCBI 2004»
15 years 3 months ago
Base-By-Base: Single nucleotide-level analysis of whole viral genome alignments
Background: With ever increasing numbers of closely related virus genomes being sequenced, it has become desirable to be able to compare two genomes at a level more detailed than ...
Ryan Brodie, Alex J. Smith, Rachel L. Roper, Vasil...
112
Voted
IWPC
2006
IEEE
15 years 9 months ago
Studying the Evolution of Software Systems Using Change Clusters
In this paper, we present an approach that examines the evolution of code stored in source control repositories. The technique identifies Change Clusters, which can help managers...
Jay Kothari, Ali Shokoufandeh, Spiros Mancoridis, ...
139
Voted
TSE
2002
99views more  TSE 2002»
15 years 3 months ago
Recovering Traceability Links between Code and Documentation
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...