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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
processes
file
Yu_SimExplorer_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 1:18pm
August'17
CMU
Kernel
Metrics
processes
race conditions
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Software Testing
virtual platforms
biblio
An automated framework to support testing for process-level race conditions
Submitted by Jamie Presken on Tue, 07/11/2017 - 1:18pm
August'17
CMU
Kernel
Metrics
processes
race conditions
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Software Testing
virtual platforms
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
file
Yu_SimRT_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:44pm
CMU
Concurrency
Data Races
July'14
Kernels
processes
testing
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:43pm
CMU
Concurrency
Data Races
July'14
Kernels
processes
testing
CMU
July'14
biblio
The role of triggers in database forensics
Submitted by BrandonB on Mon, 05/04/2015 - 2:28pm
forensic interpretation
SQL standard
SQL
Reliability
processes
Monitoring
methods
metadata
meta data
Irrigation
Forensics
attribution processes
Digital Forensics
digital forensic analysis methods
digital forensic analysis
Dictionaries
Databases
database triggers
database trigger handling
database trigger analysis
database forensics
data definition level
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Anonymous on Fri, 10/24/2014 - 12:51pm
Concurrency
Data Races
Kernels
processes
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
SoS Lablet
testing
Race Vulnerability Study and Hybrid Race Detection
file
Control of Spreading Processes in Arbitrary Networks
Submitted by KNEW on Thu, 05/29/2014 - 12:40am. Contributor:
Chinwendu Enyioha
CPS Domains
Control
Resilient Systems
CPS Technologies
Foundations
arbitrary
networks
processes
resource allocation
University of Pennsylvania
2014 CPS-ECP
2014
Academia
Presentation
5-Minute Presentations
5-Minute Presentations
