894 search results - page 156 / 179 » Optimizations for LTL Synthesis |
85
Voted
SARA
2009
Springer
15 years 5 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
107
Voted
MM
2009
ACM
15 years 5 months ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
68
Voted
ISCAS
2008
IEEE
15 years 5 months ago
2008
IEEE
— Hilbert transformers are one of the very important special classes of finite impulse response (FIR) filters used in signal processing applications. A method is presented to s...
77
Voted
ISQED
2007
IEEE
15 years 5 months ago
2007
IEEE
— Fast and accurate routing congestion estimation is essential for optimizations such as floorplanning, placement, buffering, and physical synthesis that need to avoid routing c...
83
Voted
FPGA
2007
ACM
15 years 5 months ago
2007
ACM
We present an architecture for a synthesizable datapathoriented Field Programmable Gate Array (FPGA) core which can be used to provide post-fabrication flexibility to a Systemon-...