Sciweavers

2607 search results - page 136 / 522
» Complete Functional Synthesis
Sort
View
SIAMJO
2008
92views more  SIAMJO 2008»
15 years 3 months ago
A Trust Region Spectral Bundle Method for Nonconvex Eigenvalue Optimization
We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove glo...
Pierre Apkarian, Dominikus Noll, O. Prot
COMBINATORICS
2007
105views more  COMBINATORICS 2007»
15 years 3 months ago
A Two Parameter Chromatic Symmetric Function
We introduce and develop a two-parameter chromatic symmetric function for a simple graph G over the field of rational functions in q and t , Q (q, t). We derive its expansion in ...
Ellison-Anne Williams
ICCAD
2004
IEEE
121views Hardware» more  ICCAD 2004»
16 years 18 days ago
Factoring and eliminating common subexpressions in polynomial expressions
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
Anup Hosangadi, Farzan Fallah, Ryan Kastner
DSD
2007
IEEE
87views Hardware» more  DSD 2007»
15 years 10 months ago
On the Construction of Small Fully Testable Circuits with Low Depth
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
Görschwin Fey, Anna Bernasconi, Valentina Cir...
RTCSA
2006
IEEE
15 years 9 months ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...