Sciweavers

3192 search results - page 480 / 639
» A Requirements-Driven Development Methodology
Sort
View
ICSE
2007
IEEE-ACM
16 years 18 days ago
Enhancing Software Testing by Judicious Use of Code Coverage Information
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
Stefan Berner, Roland Weber, Rudolf K. Keller
IMR
2007
Springer
16 years 18 days ago
Automatic 3D Mesh Generation for a Domain with Multiple Materials
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
Yongjie Zhang, Thomas Hughes, Chandrajit L. Bajaj
ISSAC
2007
Springer
130views Mathematics» more  ISSAC 2007»
16 years 18 days ago
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
SEKE
2007
Springer
16 years 17 days ago
A Model-driven Approach to Architecting Secure Software
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chun...
VLSI
2007
Springer
16 years 17 days ago
Estimating design time for system circuits
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
Cyrus Bazeghi, Francisco J. Mesa-Martinez, Brian G...