Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
parallel live » parallel lives, parallel lines, parallel linq
live programs » like programs, line programs, leave programs
function java » function jane, function jason, function james
https » http
programs function » programs functional, programme function, programs fiction
parallel live » parallel lives, parallel lines, parallel linq
live programs » like programs, line programs, leave programs
function java » function jane, function jason, function james
https » http
1
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook