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
Scalability
biblio
A Pattern-aware Design and Implementation Guideline for Microservice-based Systems
Submitted by grigby1 on Fri, 04/28/2023 - 12:50pm
computer architecture
pubcrawl
composability
fault tolerance
Fault tolerant systems
Scalability
smart cities
Microservice architectures
Behavioral sciences
microservice
microservice architecture
Microservice patterns
monolithic architecture
biblio
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
Submitted by aekwall on Fri, 04/28/2023 - 9:44am
codes
compiler security
secure SoC design
KLEE
Symbiosis
formal verification
Symbolic Execution
C++ languages
Costs
Hardware Security
model checking
Compositionality
Resiliency
Metrics
pubcrawl
Scalability
system-on-chip
Hardware
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
Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
distributed
compiler security
Tasks
Raja
parallel programming
parallel
OpenMP
MPI
LLVM
Julia
hybrid parallelization
Enzymes
Enzyme
Scalability
compiler
C++
automatic differentiation
C++ languages
codes
Runtime
Program processors
Compositionality
Resiliency
Metrics
pubcrawl
biblio
Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
Task Analysis
Training
Scalability
pubcrawl
Metrics
Resiliency
Training data
Compositionality
Program processors
Syntactics
Cloning
codes
compiler technique
deep learing
program embedding
compiler security
biblio
DIComP: Lightweight Data-Driven Inference of Binary Compiler Provenance with High Accuracy
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
security
Neural networks
Software
Scalability
optimization
Conferences
pubcrawl
Metrics
Resiliency
machine learning
Compositionality
codes
Binary Analysis
Compilation Options
compiler security
biblio
Operator Partitioning and Parallel Scheduling Optimization for Deep Learning Compiler
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
compiler security
Compositionality
Convolutional codes
deep learning
deep learning compilers
Electrical Engineering
estimation
Hardware
Metrics
operators
parallel scheduling
performance evaluation
pubcrawl
Resiliency
Scalability
scheduling
biblio
The Unexplored Terrain of Compiler Warnings
Submitted by aekwall on Fri, 04/28/2023 - 9:42am
software engineering
compiler security
MSVC
GCC
Defect prevention
compiler warning
Clang
Computer bugs
Costs
security
Program processors
Compositionality
Industries
Resiliency
Metrics
pubcrawl
Scalability
Software
biblio
Internet Routing with Auto-Assigned Addresses
Submitted by grigby1 on Thu, 04/27/2023 - 5:06pm
Prototypes
simplified route establishment without routing protocols
seamless inter and intra-AS routing
Auto-assigned routable addresses
policy governance
clean slate
Communications technology
Routing protocols
Scalability
Routing
collaboration
internet
performance evaluation
Resiliency
resilience
Metrics
Human Factors
Human behavior
pubcrawl
biblio
Blockchain-Oriented Privacy Protection with Online and Offline Verification in Cross-Chain System
Submitted by grigby1 on Fri, 04/14/2023 - 4:13pm
Access Control
blockchain
blockchain security
blockchains
data privacy
information security
privacy
privacy protection
pubcrawl
Resiliency
Scalability
smart contracts
« first
‹ previous
…
31
32
33
34
35
36
37
38
39
…
next ›
last »