376 search results - page 9 / 76 » Improved Design Debugging Using Maximum Satisfiability |
DSD
2006
IEEE
14 years 23 days ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...
ALENEX
2008
13 years 8 months ago
2008
The National Airspace System (NAS) is designed to accommodate a large number of flights over North America. For purposes of workload limitations for air traffic controllers, the a...
APAQS
2001
IEEE
13 years 10 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
This paper proposes a class of Hilbert transform pairs of orthonormal wavelet bases with improved analyticity. To improve the analyticity of complex wavelet, a different allpass ï...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Cuckoo hashing with a stash is a robust high-performance hashing scheme that can be used in many real-life applications. It complements cuckoo hashing by adding a small stash stor...