Sciweavers

894 search results - page 119 / 179
» Optimizations for LTL Synthesis
Sort
View
ICASSP
2011
IEEE
14 years 4 months ago
A design procedure for oversampled nonuniform filter banks with perfect-reconstruction
We describe a time-domain procedure for designing the synthesis filters of perfect-reconstruction oversampled filter banks. A condition matrix is derived from the basic magnitud...
Mohamed F. Mansour
93
Voted
CASES
2008
ACM
15 years 2 months ago
Optimus: efficient realization of streaming applications on FPGAs
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...
Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, D...
118
Voted
BMCBI
2006
117views more  BMCBI 2006»
15 years 20 days ago
Gene Designer: a synthetic biology tool for constructing artificial DNA segments
Background: Direct synthesis of genes is rapidly becoming the most efficient way to make functional genetic constructs and enables applications such as codon optimization, RNAi re...
Alan Villalobos, Jon E. Ness, Claes Gustafsson, Je...
DAC
2003
ACM
16 years 1 months ago
Optimal integer delay budgeting on directed acyclic graphs
Delay budget is an excess delay each component of a design can tolerate under a given timing constraint. Delay budgeting has been widely exploited to improve the design quality. W...
Elaheh Bozorgzadeh, Soheil Ghiasi, Atsushi Takahas...
113
Voted
TASE
2008
IEEE
15 years 16 days ago
Randomized Optimal Design of Parallel Manipulators
This work intends to deal with the optimal kinematic synthesis problem of parallel manipulators under a unified framework. Observing that regular (e.g., hyper-rectangular) workspac...
Yunjiang Lou, Guanfeng Liu, Zexiang Li