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
Message systems
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
Design Of TT amp;C Resource Automatic Scheduling Interface Middleware With High Concurrency and Security
Submitted by grigby1 on Mon, 08/02/2021 - 3:21pm
Message systems
thread pool
task pool
Task Analysis
Resiliency
resilience
pubcrawl
policy-based governance
middleware
composability
memory pool
Memory management
Job shop scheduling
high concurrency and security
Dictionaries
data pool
Data models
biblio
Design Of TT C Resource Automatic Scheduling Interface Middleware With High Concurrency and Security
Submitted by grigby1 on Tue, 06/01/2021 - 2:44pm
Dictionaries
thread pool
task pool
Message systems
memory pool
high concurrency and security
data pool
Job shop scheduling
Concurrency
middleware
security
Task Analysis
Memory management
composability
Data models
Resiliency
resilience
Metrics
pubcrawl
biblio
Asynchronous Rendering of Texts in iOS Applications
Submitted by aekwall on Mon, 07/27/2020 - 12:20pm
operating systems
iOS Security
user interfaces
text information rendering
rendering (computer graphics)
rendering
iOS operating system
iOS applications
asynchronous text rendering
asynchronous methods
iOS (operating system)
mobile computing
Message systems
Instruction sets
Compositionality
Human Factors
Random access memory
Mobile Applications
text analysis
Metrics
pubcrawl
Resiliency
biblio
Graphical User Interface for OpenThread
Submitted by aekwall on Mon, 01/13/2020 - 12:05pm
graphical user interfaces
Threadgroup
Thread protocol
TCL/TK
OpenThread
Message systems
IPv6
Instruction sets
IEEE 802.15.4
IoT
6LoWPAN
Routing protocols
Peer-to-peer computing
composability
pubcrawl
Resiliency
Internet of Things
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by grigby1 on Thu, 08/23/2018 - 11:57am
information-flow control tools
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
Information Leakage
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
data structures
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
security
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
biblio
Implementation of randomize-then-combine constructed hash function
Submitted by BrandonB on Wed, 05/06/2015 - 11:58am
Message systems
Vectors
Resistance
randomize-then-combine technique
randomize-then-combine
Random access memory
programming
parallel multithreaded programming
pair block chaining
multi-threading
block-by-block message processing
Merkle-Damgard construction
Iterative methods
iterative hash function
incremental hash function
Hash function implementation
hash function construction
Educational institutions
Cryptography
biblio
Application-Aware Byzantine Fault Tolerance
Submitted by BrandonB on Thu, 04/30/2015 - 3:03pm
finite state machines
totally ordered request
System recovery
state-machine-based Byzantine fault tolerance algorithm
software fault tolerance
Servers
sequential execution
Semantics
security of data
request concurrent processing
replica nondeterminism
Message systems
Intrusion Resilience
Algorithm design and analysis
Fault tolerant systems
fault tolerance
deterministic application processing
dependability
Deferred Byzantine Agreement
concurrency control
computer system intrusion resilience enhancement
client-server systems
Byzantine agreement
application-aware Byzantine fault tolerance
application semantics
Application Nondeterminism
biblio
Application-Aware Byzantine Fault Tolerance
Submitted by BrandonB on Thu, 04/30/2015 - 3:02pm
finite state machines
totally ordered request
System recovery
state-machine-based Byzantine fault tolerance algorithm
software fault tolerance
Servers
sequential execution
Semantics
security of data
request concurrent processing
replica nondeterminism
Message systems
Intrusion Resilience
Algorithm design and analysis
Fault tolerant systems
fault tolerance
deterministic application processing
dependability
Deferred Byzantine Agreement
concurrency control
computer system intrusion resilience enhancement
client-server systems
Byzantine agreement
application-aware Byzantine fault tolerance
application semantics
Application Nondeterminism
