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
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing
Submitted by grigby1 on Tue, 05/03/2022 - 3:57pm
predictability
statistical analysis
Security Heuristics
Search methods
Schedules
Scalability
Resiliency
resilience
pubcrawl
adaptive random testing
Heuristic algorithms
Concurrent computing
concurrency bugs
concurrency bug pattern
Computer bugs
bug detection
adaptive scheduling
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 - 11: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 - 2: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 - 2: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 - 2: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 - 2: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 - 1: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 - 12:09pm
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 - 4: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 - 2: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
1
2
next ›
last »
