Sciweavers

3373 search results - page 513 / 675
» Linear transformations on codes
Sort
View
ASPDAC
2006
ACM
109views Hardware» more  ASPDAC 2006»
15 years 4 months ago
Energy savings through embedded processing on disk system
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, F...
88
Voted
CODES
2005
IEEE
15 years 3 months ago
Satisfying real-time constraints with custom instructions
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
Pan Yu, Tulika Mitra
97
Voted
ICMCS
2005
IEEE
124views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Fast inter frame encoding based on modes pre-decision in H.264
The new video coding standard, H.264 allows motion estimation performing on tree-structured block partitioning and multiple reference frames. This feature improves the prediction ...
Dongming Zhang, Yanfei Shen, Shouxun Lin, Yongdong...
ISCIS
2005
Springer
15 years 3 months ago
Selection and Extraction of Patch Descriptors for 3D Face Recognition
In 3D face recognition systems, 3D facial shape information plays an important role. 3D face recognizers usually depend on point cloud representation of faces where faces are repre...
Berk Gökberk, Lale Akarun
CODES
2002
IEEE
15 years 3 months ago
Symbolic model checking of Dual Transition Petri Nets
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejand...