Sciweavers

3145 search results - page 218 / 629
» Algebraic Linear Orderings
Sort
View
GLOBECOM
2006
IEEE
16 years 25 days ago
Antenna Selection for Compact Dual-Polarized MIMO Systems with Linear Receivers
— Antenna selection combined with dual-polarized antennas offers an attractive alternative for realizing higher order multiple-input multiple-output (MIMO) configurations in com...
Vikram R. Anreddy, Mary Ann Ingram
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
16 years 12 days ago
Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
Cristiano Forzan, Davide Pandini
LICS
2005
IEEE
16 years 11 days ago
Name Generation and Linearity
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
Glynn Winskel
SIBGRAPI
2005
IEEE
16 years 11 days ago
A Linear Algorithm for Exact Pattern Matching in Planar Subdivisions
Graph sub-isomorphism is a very common approach to solving pattern search problems, but this is a NP-complete problem. This way, it is necessary to invest in research of approxima...
Pedro Ribeiro de Andrade Neto, André Luiz P...
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
15 years 12 months ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti