Sciweavers

894 search results - page 31 / 179
» Optimizations for LTL Synthesis
Sort
View
ICCAD
2006
IEEE
111views Hardware» more  ICCAD 2006»
16 years 2 months ago
An efficient technique for synthesis and optimization of polynomials in GF(2m)
Abusaleh M. Jabir, Dhiraj K. Pradhan, Jimson Mathe...
ISPD
2009
ACM
58views Hardware» more  ISPD 2009»
16 years 9 days ago
On improving optimization effectiveness in interconnect-driven physical synthesis
Prashant Saxena, Vishal Khandelwal, Changge Qiao, ...
127
Voted
HYBRID
2009
Springer
16 years 9 days ago
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand La...