Sciweavers

1579 search results - page 204 / 316
» On the Constructions of Constant-Weight Codes
Sort
View
DDECS
2009
IEEE
95views Hardware» more  DDECS 2009»
16 years 1 months ago
Self-timed full adder designs based on hybrid input encoding
—Self-timed full adder designs based on commercial synchronous resources (standard cells), constructed using a mix of complete delay-insensitive codes adopted for inputs are desc...
Padnamabhan Balasubramanian, D. A. Edwards, C. Bre...
GLOBECOM
2009
IEEE
16 years 1 months ago
How Much Training Is Needed for Iterative Multiuser Detection and Decoding?
Abstract—This paper studies large randomly spread directsequence code-division multiple-access system operating over a block fading multipath channel. Channel knowledge is obtain...
Mikko Vehkaperä, Keigo Takeuchi, Ralf R. M&uu...
ICDAR
2009
IEEE
16 years 1 months ago
Character-SIFT: A Novel Feature for Offline Handwritten Chinese Character Recognition
SIFT descriptor has been widely applied in computer vision and object recognition, but has not been explored in the field of handwritten Chinese character recognition. In this pap...
Zhiyi Zhang, Lianwen Jin, Kai Ding, Xue Gao
TPHOL
2009
IEEE
16 years 1 months ago
VCC: A Practical System for Verifying Concurrent C
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, ...
CIBSE
2009
ACM
16 years 26 days ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...