Sciweavers

2351 search results - page 343 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
IMR
2003
Springer
15 years 3 months ago
Meshing Complexity of Single Part CAD Models
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
David R. White, Sunil Saigal, Steven J. Owen
IEEEPACT
2002
IEEE
15 years 3 months ago
Increasing and Detecting Memory Address Congruence
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
Samuel Larsen, Emmett Witchel, Saman P. Amarasingh...
DAGM
2001
Springer
15 years 2 months ago
Root Growth Measurements in Object Coordinates
We show a framework for growth analysis of plant roots in object coordinates which is one requirement for the botanical evaluation of growth mechanisms in roots. The method present...
Norbert Kirchgeßner, Hagen Spies, Hanno Scha...
EVOW
1999
Springer
15 years 2 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
CIKM
2009
Springer
15 years 2 months ago
Suffix trees for very large genomic sequences
A suffix tree is a fundamental data structure for string searching algorithms. Unfortunately, when it comes to the use of suffix trees in real-life applications, the current metho...
Marina Barsky, Ulrike Stege, Alex Thomo, Chris Upt...