Sciweavers

3192 search results - page 480 / 639
» A Requirements-Driven Development Methodology
Sort
View
204
Voted
ICSE
2007
IEEE-ACM
16 years 1 months 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
197
Voted
IMR
2007
Springer
16 years 1 months 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
196
Voted
ISSAC
2007
Springer
130views Mathematics» more  ISSAC 2007»
16 years 1 months 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 1 months 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...
175
Voted
VLSI
2007
Springer
16 years 1 months 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...