820 search results - page 14 / 164 » Memory System Connectivity Exploration |
99
Voted
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
PVM
1998
Springer
15 years 3 months ago
1998
Springer
This paper describes an e cient implementation of MPI on the Memory-Based Communication Facilities; Memory-Based FIFO is used for bu ering by the library, and Remote Write for comm...
103
Voted
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
Comprehensive exploration of the design space parameters at the system-level is a crucial task to evaluate architectural tradeoffs accounting for both energy and performance const...
90
Voted
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
84
Voted
DELTA
2008
IEEE
15 years 6 months ago
2008
IEEE
The classic connected components labelling algorithm requires two passes through an image. This paper presents an algorithm that allows the connected components to be analysed in ...