157 search results - page 4 / 32 » A Real-Time Parallel Benchmark Suite |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
ISORC
1999
IEEE
13 years 12 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The growing complexity in computer system hierarchies due to the increase in the number of cores per processor, levels of cache (some of them shared) and the number of pr...
IISWC
2009
IEEE
14 years 2 months ago
2009
IEEE
—In the era of multi-core, computer vision has emerged as an exciting application area which promises to continue to drive the demand for both more powerful and more energy effi...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...