Sciweavers

2419 search results - page 340 / 484
» A Formal Approach to Software Testing
Sort
View
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
14 years 18 days 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
SE
2007
13 years 9 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
EACL
2003
ACL Anthology
13 years 9 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
JACIII
2006
118views more  JACIII 2006»
13 years 8 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...
KBSE
2007
IEEE
14 years 2 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