Sciweavers

7 search results - page 2 / 2
» Layout driven data communication optimization for high level...
Sort
View
IEEEPACT
2005
IEEE
13 years 11 months ago
HUNTing the Overlap
Hiding communication latency is an important optimization for parallel programs. Programmers or compilers achieve this by using non-blocking communication primitives and overlappi...
Costin Iancu, Parry Husbands, Paul Hargrove
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
13 years 9 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta