Sciweavers

ZUM
2000
Springer
13 years 8 months ago
Type-Constrained Generics for Z
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
Samuel H. Valentine, Ian Toyn, Susan Stepney, Stev...
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
13 years 10 months ago
Figure of Merit Based Selection of A/D Converters
A new method for selecting analog to digital (A/D) converters based on a generic figure of merit is described. First a figure of merit is introduced that includes both specific...
Martin Vogels, Georges G. E. Gielen