312 search results - page 52 / 63 » Iterative compression and exact algorithms |
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
CGI
2006
IEEE
14 years 1 months ago
2006
IEEE
Mesh chartification is an important tool for processing meshes in various applications. In this paper, we present a novel feature sensitive mesh chartification technique that can h...
JSCIC
2008
13 years 9 months ago
2008
This paper presents a second-order accurate adaptive Godunov method for twodimensional (2D) compressible multicomponent flows, which is an extension of the previous adaptive movin...
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
DKE
2007
13 years 9 months ago
2007
Random walk graph and Markov chain based models are used heavily in many data and system analysis domains, including web, bioinformatics, and queuing. These models enable the desc...