Sciweavers

894 search results - page 31 / 179
» Optimizations for LTL Synthesis
Sort
View
123
Voted
VLSID
2002
IEEE
110views VLSI» more  VLSID 2002»
16 years 5 months ago
Automatic Synthesis of CMOS Operational Amplifiers: A Fuzzy Optimization Approach
Biranchinath Sahu, Aloke K. Dutta
ICCAD
2006
IEEE
111views Hardware» more  ICCAD 2006»
16 years 1 months ago
An efficient technique for synthesis and optimization of polynomials in GF(2m)
Abusaleh M. Jabir, Dhiraj K. Pradhan, Jimson Mathe...
74
Voted
ISPD
2009
ACM
58views Hardware» more  ISPD 2009»
15 years 11 months ago
On improving optimization effectiveness in interconnect-driven physical synthesis
Prashant Saxena, Vishal Khandelwal, Changge Qiao, ...
113
Voted
HYBRID
2009
Springer
15 years 11 months ago
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand La...