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
checkpointing
biblio
Recovery-by-Learning: Restoring Autonomous Cyber-physical Systems from Sensor Attacks
Submitted by grigby1 on Tue, 03/22/2022 - 1:44pm
deep learning
Predictive models
pubcrawl
resilience
Resiliency
Protocols
Redundancy
cyber-physical systems
checkpointing
attack resiliency
autonomous cyber-physical systems
sensor attacks
System Dynamics
attack recovery
System recovery
biblio
Container-based Service State Management in Cloud Computing
Submitted by grigby1 on Mon, 03/14/2022 - 12:17pm
Cloud Computing
pubcrawl
collaboration
Heuristic algorithms
composability
Containers
sandboxing
quality of service
Policy Based Governance
Linear programming
container
checkpointing
data centers
Container Migration
service management
State Management
biblio
Checkpoints Assignment on Cyber-Physical Digital Microfluidic Biochips for Early Detection of Hardware Trojans
Submitted by grigby1 on Wed, 02/26/2020 - 4:37pm
Resiliency
Hardware
hardware trojan
hardware Trojans attacks
invasive software
Lab-on-a-Chip
Microfluidics
piracy attacks
pubcrawl
resilience
frequent diseases detection
security
security concern
security study
Sequential analysis
supply chain security
tools
trojan horse detection
Trojan horses
cyber-physical digital microfluidic biochips
biochip design flow
biochips
biological techniques
bioprotocol manipulation attacks
checkpoint
checkpointing
checkpoints assignment
Computer crime
cyber physical systems
biochemical analysis
cyber-physical systems
denial-of-service attacks
digital microfluidic biochip
diseases
DMF biochip
Electrodes
error detection
error-recovery sensing systems
biblio
Cyber-Physical System Checkpointing and Recovery
Submitted by grigby1 on Thu, 02/14/2019 - 11:23am
CPS resilience
checkpointing
cyber physical systems
cyber-physical systems
delays
Protocols
pubcrawl
recovery
resilience
Resiliency
security
Synchronization
System recovery
Task Analysis
biblio
Hiding the Long Latency of Persist Barriers Using Speculative Execution
Submitted by grigby1 on Wed, 05/09/2018 - 2:56pm
resilience
nonvolatile memory technology
NVMM
pcommit
performance bottleneck
performance overhead
persist barriers
persistence instructions
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
Random access memory
random-access storage
Nonvolatile memory
Resiliency
Safe Coding
Safety
significant execution time overhead
Software
speculative execution
Speculative Persistence
speculative persistence architecture
storage management
substantial performance boost
volatile caches
fail-safe code
checkpoint-based processing
checkpointing
clflushopt
clwb
collaboration
common data structures
consistent state
data structures
DRAM
DRAM chips
expensive fence operations
cache storage
Failure Safety
file system
Force
Human Factors
logging based transactions
long latency persistency operations
Metrics
modern systems reorder memory operations
non-volatile main memory
nonpersistent implementations
NonVolatile Main Memory
biblio
Towards Proactive SDN-Controller Attack and Failure Resilience
Submitted by grigby1 on Wed, 05/09/2018 - 2:53pm
resilience
moving-target defense
network performance
PAFR
plug-and-play operation
Policy
Policy-Governed Secure Collaboration
Policy-Governed systems
proactive SDN-controller attack
pubcrawl
live remote checkpointing
sandboxing
SDN networks
security
Servers
software defined modules
software defined networking
Software-Defined Networks
Virtualization
controller/host isolation
checkpointing
collaboration
composability
computer network performance evaluation
computer network security
Containers
control systems
controller resilience
controller sandboxing mechanism
central SDN controller
data center networks
failure resilience
failure-and-attack-resilient execution
generic hardware platforms
host-based attacks
Linux
Linux containers
Linux-containers
biblio
Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application
Submitted by grigby1 on Mon, 06/05/2017 - 12:53pm
checkpointing
composability
incremental state saving
optimistic PDES
pubcrawl
reversible computation
Scalability
software assurance
time warp
biblio
Low-Overhead Asynchronous Checkpointing in Main-Memory Database Systems
Submitted by grigby1 on Tue, 05/16/2017 - 12:44pm
checkpointing
consistency
logging
main-memory
pubcrawl
recorvery
Resiliency
System recovery
transaction processing
biblio
Analysis of Checkpointing Overhead in Parallel State Machine Replication
Submitted by grigby1 on Tue, 05/16/2017 - 12:44pm
checkpointing
distributed systems
fault tolerance
pubcrawl
Resiliency
System recovery