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
optimization
biblio
General Knapsack Bounds of Web Caching Performance Regarding the Properties of each Cacheable Object
Submitted by aekwall on Tue, 05/18/2021 - 3:22pm
Clocks
Web Caching
LRU
LFU
knapsack bounds
GreedyDual and score-gated web cache strategies
FIFO
cache hit& value ratio
Upper bound
Scalability
Markov processes
quality of service
delays
Market research
optimization
Metrics
pubcrawl
Resiliency
biblio
Binary Similarity Analysis for Vulnerability Detection
Submitted by aekwall on Tue, 05/18/2021 - 3:21pm
Binary Analysis
Binary Code Search
Binary codes
binary similarity
Compositionality
computer science
Human behavior
Measurement
Metrics
optimization
pubcrawl
Registers
Resiliency
Software
static analysis
vulnerability detection
biblio
Short and Squeezed: Accelerating the Computation of Antisparse Representations with Safe Squeezing
Submitted by grigby1 on Wed, 05/05/2021 - 12:41pm
policy-based governance
Transforms
speech processing
signal processing
scaled projected gradient
safe squeezing
Safe Coding
Resiliency
resilience
pubcrawl
Acceleration
optimization
numerical simulation
Metrics
Human Factors
Human behavior
Geometry
convex optimization
collaboration
antisparse coding
biblio
Scalable yet Rigorous Floating-Point Error Analysis
Submitted by aekwall on Mon, 05/03/2021 - 1:19pm
High performance computing
Symbolic Execution
Scalable Analysis
Round-off error
floating-point arithmetic
Algorithmic Differentiation
abstraction
Error analysis
scalable verification
Resiliency
numerical analysis
Compositionality
Predictive Metrics
Scalability
tools
optimization
resource management
pubcrawl
biblio
Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
Task Analysis
Resiliency
pubcrawl
standards
optimization
uncertainty
Scalability
Pipelines
Predictive Metrics
Compositionality
scalable verification
Nonlinear dynamical systems
biblio
PASAPTO: Policy-aware Security and Performance Trade-off Analysis–Computation on Encrypted Data with Restricted Leakage
Submitted by grigby1 on Thu, 04/29/2021 - 2:17pm
Cryptography
Decision trees
Heuristic algorithms
Java
optimization
policy-based governance
pubcrawl
security policies
Time measurement
biblio
The Security Policies Optimization Problem for Composite Information Systems
Submitted by grigby1 on Thu, 04/29/2021 - 2:15pm
Information systems
Task Analysis
security policy
security policies
security
policy-based governance
optimization
operating systems
mandatory access control
pubcrawl
information security
discretionary access control
Access Control
Metrics
composability
resilience
Resiliency
Operating systems security
biblio
A Rule Reordering Method via Pairing Dependent Rules
Submitted by aekwall on Tue, 04/27/2021 - 1:35pm
Scalability
Conferences
security
Resiliency
pubcrawl
optimization
Communication networks
Heuristic algorithms
Security Heuristics
predictability
merging
Information services
packet classification
Heuristics
optimal rule ordering
biblio
The Role of Combinatorial Mathematical Optimization and Heuristics to improve Small Farmers to Veterinarian access and to create a Sustainable Food Future for the World
Submitted by aekwall on Tue, 04/27/2021 - 1:34pm
Agriculture
Z3
Solvers
Pyomo
mathematical formulation
IoT device
Hanumayamma
GLPK
edge
CPLEX
Cow Necklace
CBC
Scalability
predictability
Security Heuristics
Linear programming
Artificial Intelligence
Unified modeling language
Mathematical model
optimization
pubcrawl
Resiliency
security
biblio
A Review of Reconstruction Algorithms in Compressive Sensing
Submitted by aekwall on Tue, 04/27/2021 - 1:20pm
cyber-physical systems
Resiliency
pubcrawl
composability
optimization
privacy
Matching pursuit algorithms
Image reconstruction
compressed sensing
compressive sampling
Iterative algorithms
compressive sensing
measurements
Reconstruction algorithms
sparse signal
« first
‹ previous
…
4
5
6
7
8
9
10
11
12
…
next ›
last »
