Sciweavers

36320 search results - page 196 / 7264
» From Code to Models
Sort
View
GLOBECOM
2006
IEEE
16 years 1 months ago
High-rate, Double-Symbol-Decodable STBCs from Clifford Algebras
— For the number of transmit antennas N = 2a the maximum rate (in complex symbols per channel use) of all the Quasi-Orthogonal Designs (QODs) reported in the literature is a 2a...
Sanjay Karmakar, B. Sundar Rajan
ICFEM
2009
Springer
16 years 2 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
CODES
2007
IEEE
16 years 1 months ago
Performance modeling for early analysis of multi-core systems
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
Reinaldo A. Bergamaschi, Indira Nair, Gero Dittman...
211
Voted
ICMCS
2006
IEEE
147views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Color Data Coding for Three-Dimensional Mesh Models Considering Connectivity and Geometry Information
In this paper, we propose a new predictive coding scheme for color data of three-dimensional (3-D) mesh models. We exploit connectivity and geometry information to improve coding ...
Young-Suk Yoon, Sung-Yeol Kim, Yo-Sung Ho
209
Voted
SC
2009
ACM
16 years 4 days ago
A framework for core-level modeling and design of reconfigurable computing algorithms
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
Gongyu Wang, Greg Stitt, Herman Lam, Alan D. Georg...