837 search results - page 72 / 168 » codes 2000 |
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...
IJRR
2000
15 years 15 days ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
93
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
In this paper, we present a new entropy coder, Contextbased Bit Plane Golomb Coder (CB-BPGC) for scalable image coding, which achieves better coding performance with lower complex...
99
Voted
SIGCSE
2000
ACM
15 years 5 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
82
Voted
JSYML
2008
15 years 20 days ago
2008
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...