Sciweavers

6598 search results - page 1096 / 1320
» Graph Theory with Applications
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 20 days ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
Namrata Shekhar, Priyank Kalla, Florian Enescu
HICSS
2006
IEEE
122views Biometrics» more  HICSS 2006»
16 years 20 days ago
Adoption of Mobile Devices/Services - Searching for Answers with the UTAUT
The future of mobile telephony is expected to rely on mobile services and the use of mobile services will be an integral part of the revenues to be generated by third generation m...
Christer Carlsson, Joanna Carlsson, Kaarina Hyv&ou...
HICSS
2006
IEEE
198views Biometrics» more  HICSS 2006»
16 years 20 days ago
Modeling Initial and Repeat Online Trust in B2C E-Commerce
Prior research has demonstrated that the degrees and impact of customer trust on purchase intentions change with online experience. While online trust research has incorporated an...
Wei-Chang Kong, Yu-Ting Caisy Hung
ICARCV
2006
IEEE
126views Robotics» more  ICARCV 2006»
16 years 20 days ago
Developments in Snake Robot Modeling and Locomotion
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...
Aksel Andreas Transeth, Kristin Ytterstad Petterse...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 20 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
« Prev « First page 1096 / 1320 Last » Next »