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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Concurrent computing
biblio
A Dynamic Multi-Threaded Queuing Mechanism for Reducing the Inter-Process Communication Latency on Multi-Core Chips
Submitted by grigby1 on Thu, 09/30/2021 - 10:08am
Resiliency
Linux
Lock-free
Message systems
Metrics
multicore computing security
Multi-cores
pubcrawl
Queueing
resilience
latency
Scalability
sockets
Synchronization
Libraries
Concurrent computing
Eventcounts
FAA
Fetch-and-add
biblio
JSKernel: Fortifying JavaScript against Web Concurrency Attacks via a Kernel-Like Structure
Submitted by grigby1 on Tue, 06/01/2021 - 1:44pm
security
pubcrawl
Metrics
resilience
Resiliency
composability
Kernel
JavaScript
Browsers
Reactive power
Instruction sets
Concurrent computing
Clocks
Concurrency
side channel attacks
Web Concurrency Attacks
biblio
Krace: Data Race Fuzzing for Kernel File Systems
Submitted by grigby1 on Tue, 06/01/2021 - 1:44pm
security
pubcrawl
Metrics
resilience
Resiliency
composability
delays
fuzzing
Kernel
Computer bugs
Synchronization
Instruction sets
Concurrent computing
Concurrency
biblio
Concurrency Analysis of Go and Java
Submitted by grigby1 on Tue, 06/01/2021 - 1:43pm
Java
pagerank
matrix multiplication
Go
Concurrency
Concurrent computing
Instruction sets
Web pages
Task Analysis
security
Libraries
Benchmark testing
composability
Resiliency
resilience
Metrics
pubcrawl
biblio
On Exploiting Transaction Concurrency To Speed Up Blockchains
Submitted by grigby1 on Tue, 06/01/2021 - 1:43pm
security
blockchain
pubcrawl
Metrics
resilience
Resiliency
Analytical models
composability
Measurement
bitcoin
distributed computing
Concurrent computing
Concurrency
biblio
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
Submitted by aekwall on Tue, 06/01/2021 - 12:20pm
programming
security
pubcrawl
composability
software engineering
Lattices
Writing
Semantics
Compositionality
Information Flow Control
Concurrent computing
concurrent
Generalization
non-interference
Programming Language
sequential
biblio
Securing Asynchronous Exceptions
Submitted by aekwall on Mon, 03/15/2021 - 11:09am
Libraries
Theorem Proving
telecommunication security
Synchronization
security of data
security
Runtime system
Runtime
pubcrawl
programming language semantics
programming
program verification
program invariants
program diagnostics
program compilers
Metrics
pattern locks
language-based information-flow control techniques
language constructs
Instruction sets
IFC language
features asynchronous exceptions
different covert channels
data structures
Concurrent computing
concurrency control
Compositionality
compiler security
Resiliency
Scalability
Human behavior
biblio
A Fast MPEG’s CDVS Implementation for GPU Featured in Mobile Devices
Submitted by grigby1 on Tue, 12/01/2020 - 3:37pm
GPU-based approach
Human Factors
CDVS information
Central Processing Unit
Compact Descriptors for Visual Search
comparable precision
computation times
Computer applications
Concurrent computing
CPU-based reference implementation
descriptor extraction process
embedded software
fast MPEG CDVS implementation
GPU data structures
parallel algorithms
Image analysis
indexing algorithm
Internet-scale visual search applications
interoperable cross-platform solution
main local descriptor extraction pipeline phases
many-cores embedded graphical processor units
matching algorithm
memory access
Moving Picture Experts Group
MPEG CDVS standard
visual descriptors
Internet-scale Computing Security
data structures
pubcrawl
Human behavior
Metrics
collaboration
resilience
Resiliency
Scalability
internet
storage management
standards
composability
mobile computing
feature extraction
multiprocessing systems
parallel processing
Kernel
Policy Based Governance
Mobile handsets
graphics processing units
visualization
mobile devices
image matching
image retrieval
object detection
Services
biblio
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities
Submitted by grigby1 on Tue, 10/06/2020 - 1:01pm
multi-threading
vulnerabilities
tools
Synchronization
security of data
security
Runtime
Resiliency
resilience
pubcrawl
program diagnostics
multithreaded execution nondeterminism
Clocks
Metrics
Instruments
Instruction sets
cyber physical systems
CPS
CONVUL
Concurrent computing
concurrency vulnerability detection
concurrency control
Concurrency
composability
biblio
Efficient Modeling of HIL Multi-Grid System for Scalability Concurrency in CPS Security Testbed
Submitted by grigby1 on Tue, 10/06/2020 - 1:01pm
large-scale grid models
cyber-event-triggered power system blackout
cyber-physical system testbeds
grid data streams
hardware-in-the-loop
hardware-in-the-loop CPS security testbeds
HIL CPS security testbed
HIL multigrid system
HIL realtime digital simulator environment
IEEE-118 bus grid model
IEEE-39 bus grid models
industry-grade hardware
interdependent events
cyber-event-triggered power grid blackout
modular integration designs
Multi-Grid
multigrid isolated models
multitude designs
phasor measurement
physics-constrained recovery
Power and Cyber System Testbed
real-time execution environment
restoration process
synthetic grid model
Ukrainian grid
IEC standards
security
CPS
cyber-physical systems
Metrics
resilience
Resiliency
IEEE standards
Computational modeling
power engineering computing
composability
real-time systems
power grids
security of data
SCADA
Scalability
Relays
WAMS
Software systems
Concurrent computing
Phasor measurement units
cyber physical systems
100% realtime performance
Concurrency
coordinated cyber attacks
1
2
next ›
last »
