4930 search results - page 429 / 986 » Testing a Safety-Critical Application |
171
click to vote
NOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...
186
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
151
click to vote
KES
2007
Springer
16 years 1 months ago
2007
Springer
One of the major early problems that biometrics faced was the lack of interoperability between different software applications and devices developed by different vendors. The Bio...
158
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
136
click to vote
DSD
2006
IEEE
16 years 29 days ago
2006
IEEE
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...