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
source coding
biblio
Ternary Convolutional LDGM Codes with Applications to Gaussian Source Compression
Submitted by grigby1 on Fri, 04/28/2023 - 11:52am
source coding
ternary compression
Gaussian source
convolutional LDGM codes
block Markov superposition transmission (BMST)
coding theory
distortion
Markov processes
Convolutional codes
Quantization (signal)
Cryptography
Compositionality
composability
Entropy
Generators
Resiliency
resilience
Metrics
pubcrawl
security
biblio
A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture
Submitted by aekwall on Fri, 04/28/2023 - 9:44am
Memory management
compiler security
Memory architecture
Global Shared Memory Space
capability
compiler
source coding
RISC-V
codes
security
Program processors
Compositionality
Semantics
Resiliency
Metrics
pubcrawl
Access Control
Scalability
biblio
A New Framework for Proving Coding Theorems for Linear Codes
Submitted by grigby1 on Fri, 04/14/2023 - 3:52pm
Noise measurement
Systematics
Symmetric matrices
source coding
Resiliency
resilience
pubcrawl
partial mutual information
partial error exponent
coding theory
Metrics
linear codes
Generators
composability
coding theorem
codes
channel coding
security
biblio
Quality Analysis of iOS Applications with Focus on Maintainability and Security
Submitted by grigby1 on Fri, 03/03/2023 - 12:15pm
visualization
third party libraries
software maintenance
code smells
codes
iOS Security
dependencies
maintainability
ios
source coding
pubcrawl
Compositionality
maintenance engineering
Prototypes
Ecosystems
security
Resiliency
resilience
Metrics
Human Factors
biblio
An Empirical Assessment on Merging and Repositioning of Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 5:37pm
pubcrawl
Resiliency
Human behavior
composability
Manuals
Inspection
static analysis
codes
static code analysis
source coding
C language
empirical study
Manual inspection of alarms
merging
Repositioning of alarms
biblio
Classification and Ranking of Delta Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 4:24pm
static code analysis
Human behavior
Resiliency
composability
codes
delta alarms
incremental analysis
Program slicing
pubcrawl
ranking and classification of alarms
Software systems
source coding
static analysis
version aware static analysis
biblio
A Software Defect Location Method based on Static Analysis Results
Submitted by aekwall on Thu, 02/02/2023 - 4:23pm
static code analysis
Human behavior
Resiliency
composability
code property graph
codes
Defect Location
Industries
location awareness
Measurement
Pain
pubcrawl
software defect prediction
source coding
static analysis
biblio
Software Source Code Security Audit Algorithm Supporting Incremental Checking
Submitted by grigby1 on Fri, 01/13/2023 - 1:47pm
security
pubcrawl
Human behavior
resilience
Resiliency
Software
Scalability
Computer bugs
Software algorithms
source coding
Software Testing
codes
Security Audits
source code
Incremental Checking
security audit
biblio
On the Security of Python Virtual Machines: An Empirical Study
Submitted by grigby1 on Fri, 01/13/2023 - 1:29pm
security
pubcrawl
resilience
Resiliency
Scalability
Data models
Prototypes
Virtual machining
source coding
Writing
data science
Security Heuristics
empirical
Python virtual machines
software maintenance
biblio
A Simple Physical-Layer Key Generation for Frequency-Division Duplexing (FDD)
Submitted by grigby1 on Thu, 07/14/2022 - 6:14pm
Antenna measurements
secret-key capacity
physical-layer security
physical-layer key generation
key reconciliation
frequency-division duplexing
FDD
Scattering
Force measurement
random key generation
pubcrawl
Frequency measurement
Quantization (signal)
source coding
Reliability
Metrics
Scalability
Resiliency
resilience
Human behavior
1
2
next ›
last »