Sciweavers

894 search results - page 31 / 179
» Optimizations for LTL Synthesis
Sort
View
ICCAD
2006
IEEE
111views Hardware» more  ICCAD 2006»
16 years 20 days 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»
15 years 10 months ago
On improving optimization effectiveness in interconnect-driven physical synthesis
Prashant Saxena, Vishal Khandelwal, Changge Qiao, ...
101
Voted
HYBRID
2009
Springer
15 years 10 months ago
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand La...