1099 search results - page 117 / 220 » A Parallel Programming Style and Its Algebra of Programs |
ISCA
2009
IEEE
15 years 4 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
SCP
1998
14 years 9 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
FOSSACS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
PPOPP
2003
ACM
15 years 3 months ago
2003
ACM
In this paper, we provide examples of how thread-level speculation (TLS) simplifies manual parallelization and enhances its performance. A number of techniques for manual parallel...
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
— The emergence of multi-core and many-core processors has introduced new opportunities and challenges to EDA research and development. While the availability of increasing paral...