Iktara in ConCert Realizing a Certified Grid Computing Framework from a Programmer - PowerPoint PPT Presentation

1 / 11
} ?>
View by Category
About This Presentation
Title:

Iktara in ConCert Realizing a Certified Grid Computing Framework from a Programmer

Description:

Injected into the network from the ... be restartable and each run is as 'good' as any other ... The 'way' a sub-goal is proven may affect the provability of ... – PowerPoint PPT presentation

Number of Views:17
Avg rating:3.0/5.0
Slides: 12
Provided by: bory4
Learn more at: http://www.cs.cmu.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com