3515 search results - page 524 / 703 » On the semantics of Strategy Logic |
150
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
－ This paper presents a 2GS/s 10-bit CMOS digital-to-analog converter (DAC). This DAC consists of a unit current-cell matrix for 6MSBs and another unit current-cell matrix for 4L...
159
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...
145
click to vote
CHES
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a new compression function, MAME designed for hardware-oriented hash functions which can be used in applications reduced hardware requirements. MAME takes a 25...
182
click to vote
IFSA
2007
Springer
16 years 1 months ago
2007
Springer
The use of unsupervised fuzzy learning methods produces a large number of alternative classifications. This paper presents and analyzes a series of criteria to select the most sui...
183
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...