5085 search results - page 367 / 1017 » Multidimensional Design by Examples |
166
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
168
click to vote
ACISP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Highly nonlinear Boolean functions occupy an important position in the design of secure block as well as stream ciphers. This paper proves two new lower bounds on the non...
176
click to vote
VLSID
1996
IEEE
15 years 11 months ago
1996
IEEE
A technique for allocatzon and binding for data path synthesis (DPS) using a Genetic Algorithm (GA) approach has been developed. The proposed genetic algorithm uses a non-conventi...
192
click to vote
ICANN
1997
Springer
15 years 11 months ago
1997
Springer
The processing or the recognition of non stationary process with neural networks is a challenging and yet unsolved issue. The paper discuss the general pattern recognition framewor...
157
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...