Sciweavers

3302 search results - page 182 / 661
» Software Is More Than Code
Sort
View
VTC
2010
IEEE
122views Communications» more  VTC 2010»
15 years 2 months ago
Generalized MIMO Transmit Preprocessing Using Pilot Symbol Assisted Rateless Codes
In this paper, we propose a generalized multiple-input multiple-output (MIMO) transmit preprocessing system, where both the channel coding and the linear MIMO transmit precoding c...
Nicholas Bonello, Du Yang, Shen Chen, Lajos Hanzo
139
Voted
ISCAS
2007
IEEE
130views Hardware» more  ISCAS 2007»
15 years 10 months ago
Improving Video Coding at Scene Cuts using Attention based Adaptive Bit Allocation
— Existing video coding methods can cause visual quality and buffer occupancy to fluctuate significantly at scene cuts. To address this problem, we have developed a novel visual ...
Zhibo Chen, Guoping Qiu, Yang Lu, Lihua Zhu, Quqin...
ICSE
2004
IEEE-ACM
16 years 3 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
137
Voted
CSSE
2008
IEEE
15 years 10 months ago
Design and Implementation of the Virtual Machine Constructing on Register
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
Weibo Xie, Fu Ting
APSEC
2006
IEEE
15 years 10 months ago
An Accurate and Convenient Undo Mechanism for Refactorings
Refactoring makes existing source code more understandable and reusable without changing observable behavior. Therefore, applying refactorings to existing source code and reversin...
Katsuhisa Maruyama