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
Out of order
biblio
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Submitted by grigby1 on Fri, 05/12/2023 - 10:28am
pubcrawl
composability
Concurrency
Concurrent computing
Metrics
microarchitecture
Out of order
Predictive models
privacy
Prototypes
resilience
Resiliency
security
Semantics
biblio
Backwards-directed information flow analysis for concurrent programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Metrics
weakest-precondition
rely-guarantee-reasoning
information-flow-security
Out of order
Concurrency
automation
Concurrent computing
cognition
security
programming
composability
Analytical models
Hardware
Resiliency
resilience
pubcrawl
biblio
A Transparent Reordering Robust TCP Proxy To Allow Per-Packet Load Balancing in Core Networks
Submitted by grigby1 on Wed, 12/02/2020 - 1:53pm
TCP end-points
receiver sides
Receivers
resilience
Resiliency
resource allocation
Robustness
Routing protocols
Scalability
pubcrawl
TCP packet reorderings
TCP sender end-hosts
TCP traffic
telecommunication congestion control
telecommunication traffic
Transparent reordering robust TCP proxy
transport protocols
coupled congestion control
Proposals
per-packet load balancing
packet reordering problem
packet level load balancing research
Out of order
ORTA
multiple paths
mobile network providers
low computational complexity
load-balancers
Load management
internet
high bandwidth utilization
fixed network providers
end-to-end transparency
biblio
Big Provenance Stream Processing for Data Intensive Computations
Submitted by aekwall on Mon, 09/23/2019 - 10:40am
Data Lake
tagging
stream processing
Sparks
provenance events
Partitioning algorithms
parallel stream
parallel algorithms
parallel algorithm
out-of-order provenance streams
Out of order
on-the-fly provenance processing
Lakes
data-parallel frameworks
data provenance
Big Data
data intensive computations
Business
big provenance stream processing
Big Provenance
Provenance
data analysis
Metrics
Twitter
composability
pubcrawl
Human behavior
Resiliency
data integrity
biblio
RaptorQ code based concurrent transmissions in dual connectivity LTE network
Submitted by grigby1 on Fri, 10/26/2018 - 4:52pm
Resiliency
MeNB-UE
nonideal backhaul link
Out of order
out-of-order packet delivery problem
out-of-order problem
per-user throughput
pubcrawl
RaptorQ FEC code
master eNB
Scalability
secondary eNB
security
SeNB-UE links
source data
Throughput
user equipment
downlink U-plane data
3GPP specifications
associated MeNB
cellular radio
computer architecture
concurrent transmission scheme
concurrent transmissions
Decoding
delays
3G mobile communication
dual connectivity LTE network
encoded symbols
encoding
error correction codes
forward error correction
Long Term Evolution
Long Term Evolution network
