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
CMU
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
biblio
Energy-efficient I/O Thread Schedulers for NVMe SSDs on NUMA
Submitted by Jamie Presken on Tue, 07/11/2017 - 12:14pm
August'17
CMU
Metrics
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
file
Qian_Energy_Efficient_IO_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 12:14pm
August'17
CMU
Metrics
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
file
Tsutano_Efficient_Robust_Approach_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 12:04pm
August'17
CMU
Race Vulnerability Study and Hybrid Race Detection
biblio
An Efficient, Robust, and Scalable Approach for Analyzing Interacting Android Apps
Submitted by Jamie Presken on Tue, 07/11/2017 - 12:04pm
August'17
CMU
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
file
Coblenz_Transitive_Class_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:58am
August'17
CMU
Empirical studies of programmers
Immutability
Programming language usability
Race Vulnerability Study and Hybrid Race Detection
biblio
Glacier: Transitive Class Immutability for Java
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:58am
August'17
CMU
Empirical studies of programmers
Immutability
Programming language usability
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
biblio
Toward Semantic Foundations for Program Editors
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:51am
A Language and Framework for Development of Secure Mobile Applications
August'17
CMU
program editors; type systems; live programming; program prediction
Scalability and Composability
Scalability and Composability
CMU
A Language and Framework for Development of Secure Mobile Applications
August'17
file
Melicher_Capability_Based_Module_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:44am
A Language and Framework for Development of Secure Mobile Applications
August'17
authority
capabilities
CMU
language-based security
modules
Scalability and Composability
biblio
A Capability-Based Module System for Authority Control
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:43am
A Language and Framework for Development of Secure Mobile Applications
August'17
authority
capabilities
CMU
language-based security
modules
Scalability and Composability
Scalability and Composability
CMU
A Language and Framework for Development of Secure Mobile Applications
August'17
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »