Sciweavers

2067 search results - page 326 / 414
» Logics of propositional control
Sort
View
SIPS
2006
IEEE
16 years 10 days ago
Carry Prediction and Selection for Truncated Multiplication
This paper presents an error compensation method for truncated multiplication. From two n-bit operands, the operator produces an n-bit product with small error compared to the 2n-b...
Romain Michard, Arnaud Tisserand, Nicolas Veyrat-C...
IWCMC
2006
ACM
16 years 9 days ago
A simulation study of a MAC layer protocol for wireless networks with asymmetric links
— Asymmetric links are common in wireless networks for a variety of physical, logical, operational, and legal considerations. An asymmetric link supports uni-directional communic...
Guoqiang Wang, Damla Turgut, Ladislau Böl&oum...
ACSAC
2005
IEEE
15 years 12 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
FPT
2005
IEEE
131views Hardware» more  FPT 2005»
15 years 12 months ago
Dynamic Voltage Scaling for Commercial FPGAs
A methodology for supporting dynamic voltage scaling (DVS) on commercial FPGAs is described. A logic delay measurement circuit (LDMC) is used to determine the speed of an inverter...
C. T. Chow, L. S. M. Tsui, Philip Heng Wai Leong, ...
LCN
2005
IEEE
15 years 12 months ago
Performance of a Bluetooth IP Network for Streaming High Quality Audio
An ’Internet Protocol’ (IP) network established over Bluetooth affords higher practical throughput compared to the ‘Synchronous Connection Oriented’ (SCO) physical link al...
Wan Kin Loh, Salil S. Kanhere, Deep Sen