Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
progress function » progress fiction, process functions, problems function
parallel graph » parallel graphs, parallel group
graph progress » graph process, graph programs, graph problems
function java » function jane, function jason, function james
https » http
progress function » progress fiction, process functions, problems function
parallel graph » parallel graphs, parallel group
graph progress » graph process, graph programs, graph problems
function java » function jane, function jason, function james
https » http
1
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”View full text
Electronic
eBook