8093 search results - page 213 / 1619 » Design optimization |
178
click to vote
MTV
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
163
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Polymer microstructured optical fibres are a relatively recent development in optical fibre technology, supporting a wide variety of microstructure fibre geometries, when compared...
143
click to vote
ENGL
2007
15 years 6 months ago
2007
Abstract—This paper presents a systematic approach for the design of temperature controller using genetic algorithms (GAs) for thermal power plant subsystems and investigates the...
288
Voted
JCP
2008
15 years 6 months ago
2008
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
173
click to vote
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 10 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...