1141 search results - page 95 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
112
click to vote
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
105
Voted
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
180
click to vote
PDPTA
2010
14 years 10 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
102
Voted
CONCURRENCY
1998
15 years 10 days ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
116
Voted
REFLECTION
2001
Springer
15 years 5 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...