Sciweavers

2020 search results - page 341 / 404
» Scalable Instruction-Level Parallelism.
Sort
View
WFLP
2009
Springer
239views Algorithms» more  WFLP 2009»
16 years 22 days ago
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
Michael Leuschel, Salvador Tamarit, Germán ...
DAMON
2009
Springer
16 years 22 days ago
A new look at the roles of spinning and blocking
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
Ryan Johnson, Manos Athanassoulis, Radu Stoica, An...
OOPSLA
2009
Springer
16 years 21 days ago
Grace: safe multithreaded programming for C/C++
The shift from single to multiple core architectures means that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunate...
Emery D. Berger, Ting Yang, Tongping Liu, Gene Nov...
OOPSLA
2009
Springer
16 years 21 days ago
Thorn: robust, concurrent, extensible scripting on the JVM
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
Bard Bloom, John Field, Nathaniel Nystrom, Johan &...
SEMWEB
2009
Springer
16 years 21 days ago
MapPSO Results for OAEI 2009
Abstract. This paper presents and discusses the results of the latest developments of the MapPSO system, which is an ontology alignment approach that is based on discrete particle ...
Jürgen Bock, Peng Liu 0002, Jan Hettenhausen