Sciweavers

864 search results - page 112 / 173
» codes 2003
Sort
View
100
Voted
ESORICS
2003
Springer
15 years 5 months ago
Hardware Encapsulation of Security Services
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
Adrian Baldwin, Simon Shiu
107
Voted
ESTIMEDIA
2003
Springer
15 years 5 months ago
Performance characterization of a low-cost video codec on portable devices
Bandwidth and processing requirements of conventional multimedia applications typically exceed capabilities of current technology portable terminals. Applications should hence be ...
Giulio Iannello, Luca Vollero, Francesco Delfino
91
Voted
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
15 years 5 months ago
An Enhanced Framework for Microprocessor Test-Program Generation
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
Fulvio Corno, Giovanni Squillero
FATES
2003
Springer
15 years 5 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
GECCO
2003
Springer
15 years 5 months ago
A Case for Codons in Evolutionary Algorithms
A new method is developed for representation and encoding in population-based evolutionary algorithms. The method is inspired by the biological genetic code and utilizes a many-to-...
Joshua Gilbert, Margaret J. Eppstein