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
i-o systems security
biblio
An AI Software Test Method Based on Scene Deductive Approach
Submitted by grigby1 on Mon, 11/02/2020 - 11:42am
AI software testing method
algorithm complexity
Artificial Intelligence
artificial intelligence software
automobiles
i-o systems security
i/o systems security
intelligent tracking car
machine learning algorithms
Mathematical model
position control
program testing
pubcrawl
road vehicles
Scalability
scene deductive approach
Software
Software algorithms
Software Testing
biblio
Methodology for determining the energy deficit penalty function for hydrothermal dispatch
Submitted by grigby1 on Mon, 11/02/2020 - 11:41am
Brazilian system
critério de suprimento
custo de déficit
economic deficit cost
Economics
energy deficit penalty function
energy deficits
função de penalização
government policies
hydroelectric power stations
hydroelectric reservoirs
hydrothermal dispatch
hydrothermal power systems
i-o systems security
i/o systems security
Input-Output Matrix
Linear programming
objective function
planejamento da expansão
planejamento da operação
power generation dispatch
power generation economics
power generation planning
power system economics
power system interconnection
pubcrawl
Reservoirs
Scalability
security
Surges
sustainable development
valor esperado condicional
biblio
Design patterns for the industrial Internet of Things
Submitted by grigby1 on Mon, 11/02/2020 - 11:41am
Cloud Computing
cost reduction
data flow semantics
data privacy
Design patterns
i-o systems security
i/o systems security
iiot
industrial control
industrial control system setting
Industrial Internet of Things
Industrial IoT
industrial property
industrial revolution
Industries
Industry 4.0
interconnected sensors
Internet of Things
leveraging multiple information sources
object-oriented programming
privacy concerns
process control
process optimization
production engineering computing
pubcrawl
Scalability
security
sensors
wireless sensor networks
biblio
A Scaffolding Design Framework for Developing Secure Interoperability Components in Digital Manufacturing Platforms
Submitted by grigby1 on Mon, 11/02/2020 - 11:40am
code generation technique
Connected Smart Factories
cyber-physical systems
Cybersecurity
Digital manufacturing platforms
enterprise resource planning
enterprise resource planning systems
Fi-Ware
human computer interaction
i-o systems security
i/o systems security
legacy file formats
open systems
operating systems (computers)
platform integration automation
platform security
program logic controllers
programmable controllers
pubcrawl
scaffolding design framework
Scalability
secure interoperability components
security of data
software applications
software scaffolding
software tools
System Interoperability
system security
vf-OS IO components
vf-OS IO toolkit generator
vf-OS security command centre
virtual open operating system
biblio
HashTag Erasure Codes: From Theory to Practice
Submitted by grigby1 on Mon, 11/02/2020 - 11:40am
access-optimal
Bandwidth
code construction
data analysis
Distributed databases
distributed storage
encoding
Hadoop
HashTag erasure codes
hashtag sign
high-rate MDS codes
HTECs
i-o systems security
I/O operations
i/o systems security
input-output programs
lowest data-read
maintenance engineering
MDS erasure codes
minimum-storage regenerating codes
MSR constructions
pubcrawl
Reed-Solomon codes
regenerating codes
repair-bandwidth
Scalability
single and multiple failures
small sub-packetization level
storage management
storage overhead
sub-packetization level
Systematics
Twitter
biblio
A Method for Performance Optimization of Virtual Network I/O Based on DPDK-SRIOV*
Submitted by grigby1 on Mon, 11/02/2020 - 11:40am
cyber security
data plane development kit
DPDK-SRIOV
DPDK-SRIOV.
general hardware platform
Hardware
high-performance network
i-o systems security
I/O requirement
i/o systems security
I/O throughput performance
input-output programs
Kernel
network security testing devices
optimisation
optimization
performance evaluation
performance optimization
physical network card
pubcrawl
Scalability
security of data
SRIOV technology
Switches
Throughput
virtual machines
virtual network
virtual network security tester
virtualisation
Virtualization
virtualized network
biblio
Runtime Verification of Hyperproperties for Deterministic Programs
Submitted by grigby1 on Mon, 11/02/2020 - 11:39am
data minimality
deterministic algorithms
deterministic input-output programs
Doping
finite element analysis
i-o systems security
i/o systems security
information-flow
information-flow policies
Monitoring
noninterference
parametric monitor
program verification
pubcrawl
Runtime
runtime verification
runtime verification monitors
runtime verification problem
Safety
safety hyperproperty
Scalability
security
security of data
security policies
Software
software doping
system monitoring
biblio
Security Checking Experiments with Mobile Services
Submitted by grigby1 on Mon, 11/02/2020 - 11:39am
Androids
automata
Electron devices
Humanoid robots
i-o systems security
i/o systems security
input/output parameters
Java
Java Path Finder verifier
JPF-mobile
mobile computing
mobile services
program verification
pubcrawl
Scalability
security
security checking
security checking experiments
security of data
Software
software behavior
software security
biblio
PREEMPT: PReempting Malware by Examining Embedded Processor Traces
Submitted by grigby1 on Fri, 10/30/2020 - 12:19pm
I-O Systems
i-o systems security
security
anti-virus software tools
computer viruses
Databases
debug hardware component
embedded processor traces
embedded systems
embedded trace buffer
ETB
Hardware
Hardware performance counters
hardware-level observations
HPC
invasive software
learning (artificial intelligence)
low-latency technique
machine learning-based classifiers
malware
malware detection
post-silicon validation
PREEMPT malware
processor traces
program debugging
pubcrawl
real-time systems
Scalability
software-based AVS
tools
zero overhead
biblio
Improving MPI Collective I/O for High Volume Non-Contiguous Requests With Intra-Node Aggregation
Submitted by grigby1 on Fri, 10/30/2020 - 12:19pm
I-O Systems
i-o systems security
security
Aggregates
Benchmark testing
collective MPI-IO functions
Cray XC40 parallel computers
Haswell processors
high volume noncontiguous requests
input-output programs
Intel KNL
internode communication contention
intranode aggregation
Libraries
message passing
MPI collective I/O
MPI processes
non-contiguous I/O
Parallel I/O
parallel jobs
parallel processing
performance evaluation
Production
Program processors
pubcrawl
request redistribution
Scalability
two-phase I/O
Writing
1
2
3
4
next ›
last »
