722 search results - page 94 / 145 » Organizational Abstractions for the Analysis and Design of M... |
ICMLA
2009
13 years 5 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...
TCAD
2008
13 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The design of ultra-wideband (UWB) communication systems has proven to be challenging. Coherent systems require a rake receiver with many taps that is difficult to tra...