1263 search results - page 38 / 253 » Packaging Mathematical Structures |
ISPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...
TCAD
1998
13 years 7 months ago
1998
— Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalizat...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper, we present a new packaging architecture for chip-level optical interconnections based on imaging fiber bundles. Imaging fiber bundles consist of densely packed arra...