Sciweavers

6059 search results - page 238 / 1212
» A Technique for Verifying Measurements
Sort
View
PDCAT
2004
Springer
16 years 11 hour ago
Tamper Resistant Software by Integrity-Based Encryption
There are many situations in which it is desirable to protect a piece of software from illegitimate tampering once it gets distributed to the users. Protecting the software code me...
Jaewon Lee, Heeyoul Kim, Hyunsoo Yoon
SETN
2004
Springer
16 years 7 hour ago
Music Performer Verification Based on Learning Ensembles
In this paper the problem of music performer verification is introduced. Given a certain performance of a musical piece and a set of candidate pianists the task is to examine wheth...
Efstathios Stamatatos, Ergina Kavallieratou
ISCAS
2003
IEEE
127views Hardware» more  ISCAS 2003»
15 years 12 months ago
Use of state trajectory prediction in hysteresis control for achieving fast transient response of the buck converter
- A dynamic hysteresis control of the buck converter for achieving high slew-rate response to disturbances is proposed. The hysteresis band is derived from the output capacitor cur...
Kelvin Ka Sing Leung, Henry Shu-Hung Chung, Ron Sh...
IJCNN
2000
IEEE
15 years 11 months ago
Comparison of Text-Dependent Speaker Identification Methods for Short Distance Telephone Lines Using Artificial Neural Networks
The transition to democracy in South Africa has brought with it certain challenges. The main challenge is to get rid of crime and corruption.This paper presents a technique to com...
Ganesh K. Venayagamoorthy, Narend Sundepersadh
CAV
1998
Springer
86views Hardware» more  CAV 1998»
15 years 11 months ago
Formal Verification of Out-of-Order Execution Using Incremental Flushing
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
Jens U. Skakkebæk, Robert B. Jones, David L....