2421 search results - page 282 / 485 » Integrity Assurance Technique Using Determinant Approach |
128
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Wire pipelining emerges as a new necessity for global wires due to increasing wire delay, shrinking clock period and growing chip size. Existing approaches on wire pipelining are ...
146
click to vote
TVCG
2012
13 years 7 months ago
2012
—In this paper, we describe a novel approach for applying texture mapping to volumetric data sets. In contrast to previous approaches, the presented technique enables a unified i...
144
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
147
click to vote
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
130
click to vote
JSCIC
2000
15 years 4 months ago
2000
In [6], the Ghost Fluid Method (GFM) was developed to capture the boundary conditions at a contact discontinuity in the inviscid compressible Euler equations. In [11], related tec...