894 search results - page 42 / 179 » Optimizations for LTL Synthesis |
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper suggests a practical “hybrid” synthesis methodology which integrates designer-derived analytical models for system-level description with simulation-based models at...
HYBRID
1999
Springer
15 years 3 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
104
click to vote
FPGA
2007
ACM
15 years 5 months ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
ISQED
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
115
click to vote
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...