Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmes function » programme function, programming function, programmes d'action
search programmes » research programmes, search programs, research programme
function function » function functional, functions functional, function dysfunction
parallel search » parallel batch
function https » functions https, fiction https
programmes function » programme function, programming function, programmes d'action
search programmes » research programmes, search programs, research programme
function function » function functional, functions functional, function dysfunction
parallel search » parallel batch
function https » functions https, fiction https
1
Published 2014
Table of Contents:
“... for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic...”View full text
Electronic
eBook
2
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Published 2014
Table of Contents:
“... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...”View full text
Electronic
eBook