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
Concurrency
biblio
Attribute-based Concurrent Signatures
Submitted by grigby1 on Thu, 08/23/2018 - 11:56am
digital signatures
composability
Concurrency
concurrent signatures
cyber-physical systems
fair exchange
Metrics
network security
pubcrawl
resilience
Resiliency
security
biblio
Stateless Computation
Submitted by grigby1 on Mon, 03/05/2018 - 1:20pm
best-response dynamics
composability
Concurrency
I-O Systems
network protocols
pubcrawl
resilience
Resiliency
security
self-healing networks
self-stabilization
biblio
Concerto: A High Concurrency Key-Value Store with Integrity
Submitted by grigby1 on Tue, 01/16/2018 - 6:22pm
composability
Concurrency
security
indexing
integrity
key-value stores
main memory
merkle trees
Metrics
Outsourced Database Integrity
pubcrawl
recovery
Resiliency
Secure Hardware
verification
biblio
The Virtues of Conflict: Analysing Modern Concurrency
Submitted by K_Hooper on Fri, 10/13/2017 - 10:29am
composability
Compositionality
Computing Theory
Computing Theory and Composabilty
Concurrency
pubcrawl
Software
verification
weak consistency models
biblio
Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
Cardinalities
collaboration
Compositionality
Concurrency
distributed systems
Parametric Systems
privacy
protocol verification
pubcrawl
verification
biblio
Symbolic Abstract Data Type Inference
Submitted by grigby1 on Wed, 08/02/2017 - 1:55pm
collaboration
composability
Concurrency
Human behavior
Linearizability
Metrics
pattern locks
pubcrawl
Refinement
Resiliency
Scalability
biblio
Engineering the Servo Web Browser Engine Using Rust
Submitted by grigby1 on Mon, 05/22/2017 - 1:59pm
browser engine
collaboration
Concurrency
Human Factors
Metrics
parallelism
pubcrawl
Resiliency
Rust
safe coding standards
servo
biblio
Recoverable Mutual Exclusion: [Extended Abstract]
Submitted by grigby1 on Tue, 03/07/2017 - 1:10pm
Concurrency
fault tolerance
multi-core algorithms
mutual exclusion
non-volatile main memory
persistent data structures
pubcrawl170201
recovery
shared memory
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
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »
