3256 search results - page 524 / 652 » Applications of Formal Methods to System Design and Verifica... |
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
This work presents a novel approach to filter synthesis on a field programmable analog array (FPAA) architecture using a genetic algorithm (GA). First, a Matlab model of the FPA...
DGO
2009
14 years 11 months ago
2009
Impact assessment (IA) is a key method for the legislator to evaluate policies, norms or regulations currently under development. Experts use IA to gather and analyze input from m...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Soft-core programmable processors on field-programmable gate arrays (FPGAs) can be custom synthesized to instantiate only those hardware units, such as multipliers and floating-po...
ICRA
1994
IEEE
15 years 2 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
CISIM
2008
IEEE
15 years 4 months ago
2008
IEEE
Job Scheduling on Computational Grids is gaining importance due to the need for efficient large-scale Grid-enabled applications. Among different optimization techniques addressed ...