Sciweavers

2795 search results - page 213 / 559
» Recommendations on recommendations
Sort
View
BIOSIG
2003
107views Biometrics» more  BIOSIG 2003»
15 years 7 months ago
Authentication Framework for Smart Cards
: This paper introduces a generalized authentication framework for smart he framework abstracts the authentication services on the card and allows flexible configuration of authent...
Apostol Vassilev, Michael Hutchinson
WSC
2004
15 years 7 months ago
Validation and Verification of Simulation Models
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...
Robert G. Sargent
WSC
1996
15 years 7 months ago
Verifying and Validating Simulation Models
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
Robert G. Sargent
CORR
2007
Springer
108views Education» more  CORR 2007»
15 years 6 months ago
SystemC Analysis of a New Dynamic Power Management Architecture
This paper presents a new dynamic power management architecture of a System on Chip. The Power State Machine describing the status of the core follows the recommendations of the A...
Massimo Conti
JSAT
2006
93views more  JSAT 2006»
15 years 5 months ago
Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks
This paper analyzes the SAT05 solver competition on industrial instances. We carefully investigate the performance of solvers from the competition and demonstration categories. We...
Emmanuel Zarpas