Sciweavers

1222 search results - page 137 / 245
» Verifying a File System Implementation
Sort
View
128
Voted
ICRA
2010
IEEE
245views Robotics» more  ICRA 2010»
15 years 1 months ago
2000 fps real-time vision system with high-frame-rate video recording
—This paper introduces a high-speed vision system called IDP Express, which can execute real-time image processing and high frame rate video recording simultaneously. In IDP Expr...
Idaku Ishii, Tetsuro Tatebe, Qingyi Gu, Yuta Moriu...
140
Voted
IJISEC
2010
159views more  IJISEC 2010»
14 years 12 months ago
A generalization of Paillier's public-key system with applications to electronic voting
We propose a generalization of Paillier's probabilistic public key system, in which the expansion factor is reduced and which allows to adjust the block length of the scheme e...
Ivan Damgård, Mads Jurik, Jesper Buus Nielse...
139
Voted
ICCD
2006
IEEE
117views Hardware» more  ICCD 2006»
15 years 11 months ago
System-Level Energy Modeling for Heterogeneous Reconfigurable Chip Multiprocessors
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
Xiaofang Wang, Sotirios G. Ziavras
117
Voted
VTC
2008
IEEE
162views Communications» more  VTC 2008»
15 years 9 months ago
A Novel Blind Channel Estimation Algorithm for a MIMO System
—In this paper, a novel blind channel estimation algorithm for a multiple input multiple output (MIMO) system is described. This algorithm is easier to implement than the previou...
Xia Liu, Marek E. Bialkowski, Shiyang Lu, Hon Tat ...
127
Voted
ICB
2007
Springer
205views Biometrics» more  ICB 2007»
15 years 8 months ago
Embedded Palmprint Recognition System on Mobile Devices
There are increasing requirements for mobile personal identification, e.g. to protect identity theft in wireless applications. Based on built-in cameras of mobile devices, palmprin...
Yufei Han, Tieniu Tan, Zhenan Sun, Ying Hao