Sciweavers

2658 search results - page 267 / 532
» Micro-communication Element System
Sort
View
VLSI
2007
Springer
16 years 8 days ago
Estimating design time for system circuits
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
Cyrus Bazeghi, Francisco J. Mesa-Martinez, Brian G...
IROS
2006
IEEE
233views Robotics» more  IROS 2006»
16 years 6 days ago
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
Dangxiao Wang, Yuru Zhang, Chong Yao
FC
2005
Springer
110views Cryptology» more  FC 2005»
15 years 11 months ago
A Privacy-Protecting Coupon System
A coupon represents the right to claim some service which is typically offered by vendors. In practice, issuing bundled multi-coupons is more efficient than issuing single coupons...
Liqun Chen, Matthias Enzmann, Ahmad-Reza Sadeghi, ...
HIPEAC
2005
Springer
15 years 11 months ago
A Single (Unified) Shader GPU Microarchitecture for Embedded Systems
We present and evaluate the TILA-rin GPU microarchitecture for embedded systems using the ATTILA GPU simulation framework. We use a trace from an execution of the Unreal Tournament...
Victor Moya Del Barrio, Carlos González, Jo...
ICFEM
2004
Springer
15 years 11 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...