Sciweavers

1448 search results - page 173 / 290
» From Requirements to Code Revisited
Sort
View
METRICS
1997
IEEE
15 years 8 months ago
An Empirical Analysis of Equivalence Partitioning, Boundary Value Analysis and Random Testing
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...
Stuart Reid
DCC
1996
IEEE
15 years 8 months ago
Lapped Orthogonal Vector Quantization
The block processing inherent in the use of traditional vector quantization (VQ) schemes typically gives rise to perceptually distracting blocking artifacts. We demonstrate that s...
Henrique S. Malvar, Gary J. Sullivan, Gregory W. W...
IFIP
1994
Springer
15 years 7 months ago
Reflections on Security of Database and Datatransfer Systems in Health Care
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
Joachim Biskup, Gerrit Bleumer
CARDIS
2006
Springer
146views Hardware» more  CARDIS 2006»
15 years 7 months ago
SEA: A Scalable Encryption Algorithm for Small Embedded Applications
Most present symmetric encryption algorithms result from a tradeoff between implementation cost and resulting performances. In addition, they generally aim to be implemented effici...
François-Xavier Standaert, Gilles Piret, Ne...
ICLP
1997
Springer
15 years 7 months ago
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
Andreas Kågedal, Saumya K. Debray