for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the thoroughly refereed conference proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2014, held in Vilamoura, Portugal, in April 2014.
The two-volume set LNCS 10777 and 10778 constitutes revised selected... Læs mere
The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in numerical computation, cellular automata and discrete event systems, organization of parallel computation, parallel computing applications.
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
This includes new research for communication contexts in OpenSHMEM,... Læs mere
MCU explores computation in the setting of various discrete models (Turing... Læs mere
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.
The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere