2019 search results - page 131 / 404 » Programming with Shared Data Abstractions |
198
click to vote
PLDI
1993
ACM
15 years 6 months ago
1993
ACM
Data locality is critical to achievinghigh performance on large-scale parallel machines. Non-local data accesses result in communication that can greatly impact performance. Thus ...
114
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
117
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
126
Voted
CIE
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
138
click to vote
ANOR
2011
14 years 9 months ago
2011
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...