The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 11
of 11
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
non-blocking algorithm
9
formal verification
6
tla+
6
[info.info-es]computer science [cs]/embedded systems
3
[info.info-hc]computer science [cs]/human-computer interaction [cs.hc]
3
applied sciences
3
more ...
computer science
3
computer science; control theory; systems
3
exact sciences and technology
3
informatique
3
informatique; automatique theorique; systemes
3
non blocking algorithm
3
parallel discrete event simulation
3
parallel programming
3
sciences appliquees
3
sciences exactes et technologie
3
software
3
accelerator
2
concurrency
2
distributed computing
2
function offload
2
gpgpu
2
informatique theorique
2
interface homme-machine
2
lock-free
2
logiciel
2
many-core
2
multi-core
2
non-blocking
2
priority queue
2
less ...
Published in
Publisher
ccsd
3
acm press
2
country:ita
2
institute of electrical and electronics engineers inc.
2
springer
2
universita degli studi di torino, universita di pisa
2
more ...
association for computing machinery, inc.
1
country:usa
1
hal ccsd
1
ieee computer society
1
springer international publishing
1
springer new york llc
1
less ...
Language
Geography
Content Provider
Year of Publication
Filter