294 search results - page 43 / 59 » On Recursively Directed Hypercubes |
ICPP
2003
IEEE
14 years 24 days ago
2003
IEEE
We present a tensor product formulation for Hilbert space-filling curves. Both recursive and iterative formulas are expressed in the paper. We view a Hilbert space-filling curve...
ISQED
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
DATE
2002
IEEE
14 years 14 days ago
2002
IEEE
This paper presents an efficient approach to compute the dominant poles for the reduced-order admittance (Y parameter) matrix of lossy interconnects. Using the global approximati...
ISMVL
2002
IEEE
14 years 13 days ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
WISE
2002
Springer
14 years 12 days ago
2002
Springer
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...