4930 search results - page 290 / 986 » Testing a Safety-Critical Application |
170
click to vote
SIAMJO
2010
15 years 5 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
189
click to vote
VLSISP
2010
15 years 5 months ago
2010
Abstract Polyphase channelizer is an important component of subband adaptive filtering systems. This paper presents an energy-efficient hardware architecture and VLSI implementatio...
198
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The analysis of Inter-Alu PCR patterns obtained from human genomic DNA samples is a promising technique for a simultaneous analysis of many genomic loci flanked by Alu...
182
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
157
click to vote
RTS
2002
15 years 6 months ago
2002
In real-time computing systems, timing constraints imposed on application tasks are typically guaranteed off line using schedulability tests based on