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