3256 search results - page 250 / 652 » Applications of Formal Methods to System Design and Verifica... |
173
click to vote
JCNS
2000
15 years 6 months ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
179
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
209
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
169
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Particle filtering methods provide powerful techniques for solving non-linear state-estimation problems, and are applied to a variety of application areas in signal processing. Be...
203
click to vote
ICPP
2006
IEEE
16 years 18 days ago
2006
IEEE
— This paper focuses on the transfer of large data in SMP systems. Achieving good performance for intranode communication is critical for developing an efficient communication s...