571 search results - page 17 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...
IMAGING
2003
13 years 9 months ago
2003
The accuracy of color image-acquisition systems is most often evaluated using test targets of uniform color patches imaged under optimal conditions. In artwork imaging, system per...
SIGOPS
2010
13 years 6 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
VLSID
2009
IEEE
14 years 8 months ago
2009
IEEE
Many system-level design tasks (e.g. timing analysis, hardware/software partitioning and design space exploration) involve computational kernels that are intractable (usually NP-ha...
FAC
2008
13 years 7 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...