393 search results - page 35 / 79 » synthese 2008 |
141
click to vote
FPGA
2008
ACM
15 years 3 months ago
2008
ACM
The Field Programmable Counter Array (FPCA) was introduced to improve FPGA performance for arithmetic circuits. An FPCA is a reconfigurable IP core that can be integrated into an ...
106
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...
JCP
2008
15 years 1 months ago
2008
This paper presents a high throughput VLSI architecture for Blackman windowing. Since most of the implementation of windowing functions for real time applications, are based on eit...
EDM
2008
15 years 3 months ago
2008
How can an automated tutor assess children's spoken responses despite imperfect speech recognition? We address this challenge in the context of tutoring children in explicit s...
120
click to vote
NIPS
2008
15 years 3 months ago
2008
This paper presents a new spike feature extraction algorithm that targets real-time spike sorting and facilitates miniaturized microchip implementation. The proposed algorithm has...