Sciweavers

7742 search results - page 1334 / 1549
» The Robustness of Level Sets
Sort
View
TVLSI
2008
151views more  TVLSI 2008»
15 years 6 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
TWC
2008
177views more  TWC 2008»
15 years 6 months ago
Generalized Design of Multi-User MIMO Precoding Matrices
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...
Veljko Stankovic, Martin Haardt
TWC
2008
119views more  TWC 2008»
15 years 6 months ago
Flow-level performance of opportunistic OFDM-TDMA and OFDMA networks
Abstract--In this paper, the flow-level performance of opportunistic scheduling in orthogonal frequency division multiplexing (OFDM) networks is studied. The analysis accounts for ...
Lei Lei, Chuang Lin, Jun Cai, Xuemin Shen
VLC
2008
132views more  VLC 2008»
15 years 6 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
CG
2004
Springer
15 years 6 months ago
Time-critical rendering for time-varying volume data
In this paper, we present a novel method to meet the time-critical requirement in rendering time-varying volume data. In time-critical rendering, the rendering is demanded to be c...
Shih-Kuan Liao, Jim Z. C. Lai, Yeh-Ching Chung
« Prev « First page 1334 / 1549 Last » Next »