Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: andrew OR tolmach, Presentation, 2011
2 results
Results
file
Towards High-Assurance Run-Time Systems
Submitted by
Katie Dey
on Tue, 05/10/2011 - 9:05am. Contributor:
Andrew Tolmach
1.9 MB
0 views
72 downloads
Download
Portland State University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Evidence
file
Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs
Submitted by
Katie Dey
on Tue, 05/10/2011 - 9:00am. Contributor:
Andrew W. Appel
1.43 MB
0 views
95 downloads
Download
Princeton University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Evidence
Current search
[×]
andrew
OR
tolmach
[×]
Document Type
: Presentation
[×]
Date authored
: 2011
Guided search
Click a term to refine your current search.
Group
2011 HCSS Conference Program Committee
(2)
2013 High Confidence Software and Systems Conference
(2)
Keywords
Portland State University
(1)
Princeton University
(1)
Content type
File
(2)
Document Type
:
all
» Presentation
CPS Events
2011
(2)
Contributor(s)
Andrew Tolmach
(1)
Andrew W. Appel
(1)
Document Source
Academia
(2)
Author
Katie Dey
(2)
Date authored
:
all
» 2011
May, 2011
(2)
Keyword search
Search within results
More options
