840 search results - page 90 / 168 » Open multi-methods for c |
137
click to vote
IJPP
2011
14 years 6 months ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
158
click to vote
NAR
2011
14 years 6 months ago
2011
The Laminin(LM)-database, hosted at http://www .lm.lncc.br, is the first database focusing a noncollagenous extracellular matrix protein family, the LMs. Part of the knowledge ava...
176
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
161
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
131
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...