Sciweavers

2419 search results - page 340 / 484
» A Formal Approach to Software Testing
Sort
View
134
Voted
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
15 years 6 months ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski
115
Voted
SE
2007
15 years 4 months ago
Towards integration driven design
: Despite the fact, that testing and integration belong to the most critical and time consuming activities especially in big software development projects, most projects are still ...
Stephan Jacobs
94
Voted
EACL
2003
ACL Anthology
15 years 4 months ago
Learning Translations of Named-Entity Phrases from Parallel Corpora
We develop a new approach to learning phrase translations from parallel corpora, and show that it performs with very high coverage and accuracy in choosing French translations of ...
Robert C. Moore
131
Voted
JACIII
2006
118views more  JACIII 2006»
15 years 2 months ago
Building Intelligent Robotics Systems with Distributed Components
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Federico Guedea-Elizalde, Rogelio Soto, Fakhreddin...
126
Voted
KBSE
2007
IEEE
15 years 9 months ago
Context-aware statistical debugging: from bug predictors to faulty control flow paths
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
Lingxiao Jiang, Zhendong Su