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
programming
biblio
Generalize or Die: Operating Systems Support for Memristor-Based Accelerators
Submitted by grigby1 on Fri, 02/02/2018 - 1:25pm
memristors
ultra low energy
typical OS functionality
transistor feature size scaling
specialized accelerators
scientific computing
Scalability
Resiliency
quantum computing security
pubcrawl
programming
primary function
operating systems (computers)
operating system
microprocessor chips
Metrics
accelerator implementation
Memristor
master slave models
machine learning
learning (artificial intelligence)
Imaging
hardware resources
Hardware
general purpose system
field programmable gate arrays
Engines
Electronic mail
Dot Product Engine
computer architecture
composability
biblio
Examining the Value of Analogies in Introductory Computing
Submitted by grigby1 on Fri, 05/19/2017 - 2:07pm
Analogical Transfer
analogies
cs1
cs2
Human behavior
programming
pubcrawl
biblio
Automatic detection of frustration of novice programmers from contextual and keystroke logs
Submitted by grigby1 on Wed, 03/08/2017 - 2:46pm
learning
student frustration detection
sensors
regression analysis
pubcrawl170115
Programming profession
programming exercise session
programming
novice programmers
novice
Mathematical model
logistic regression
Accuracy
lasso regularization
keystrokes
keystroke logs
Java tutoring system
Java
intelligent tutoring systems
frustration
feature extraction
contextual logs
Context modeling
computer science education
biblio
Optimal microgrid energy management integrating intermittent renewable energy and stochastic load
Submitted by grigby1 on Wed, 03/08/2017 - 1:54pm
renewable energy sources
MG energy management problem
microgrid
mixed integer quadratic programming problem
optimization
optimization principle
programming
ptimal microgrid energy management
pubcrawl170110
Matlab optimization toolbox
Scenarios generation approach
stochastic
stochastic load
stochastic programming
time series
time-homogeneous Markov chain model
two-stage stochastic programming
continuous random variable
Markov processes
markov chain
LV network
Load modeling
intermittent renewable energy
integer programming
ESS
energy storage system
Energy storage
energy management systems
EMS
distributed power generation
distributed generator energy management
discrete stochastic scenario
DG energy management
file
Build It Break It Fix It: Measuring Secure Development
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
Andrew Ruef
Michael Hicks
Dave Levin
Jandelyn Plane
Piotr Mardziel
Atif Memom
Michelle Mazurek
James Parker
Presented as part of the
2016 HCSS conference
.
ABSTRACT
data
empirical
programming
security
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
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
Static analysis approaches to detect SQL injection and cross site scripting vulnerabilities in web applications: A survey
Submitted by BrandonB on Tue, 05/05/2015 - 10:40am
SQLI
social communications
Software
software development life cycle
software maintenance
software reliability
source code
source code (software)
SQL
SQL injection
Servers
static analysi
static analysis
testing
vulnerabilitie
vulnerability detection
web applicatio
web applications
XSS
legacy Web applications
attack prevention
Cross Site Scripting
cross site scripting vulnerabilities
defensive programming
financial transaction
Guidelines
health problem
internet
Analytical models
malicious users
Manuals
program diagnostics
programming
programming mistakes
security of data
security vulnerabilities
security weaknesses
biblio
A framework for characterisation of complex systems and system of systems
Submitted by BrandonB on Mon, 05/04/2015 - 2:43pm
Ontologies
Unified modeling language
Systems engineering and theory
Systems
system-of-systems characterisation
system of systems
Rail transportation
quantitative characterization
programming
Ontology
ontologies (artificial intelligence)
Aggregates
Metrics
Measurement
Indexes
formal development
emergence notion
Complexity theory
complexity
complex systems characterisation
collaboration
biblio
State-of-the-Art: A Systematic Literature Review on Agile Information Systems Development
Submitted by BrandonB on Fri, 05/01/2015 - 8:08am
Abstracts
agile information systems development
agile ISD
Data collection
data collection techniques
extreme programming
Interviews
programming
Scrum
software engineering discipline
software prototyping
Systematics
testing
file
Developing Programming Abstractions for Cyber-Physical Systems
Submitted by mitras on Thu, 02/20/2014 - 12:07pm. Contributor:
Sayan Mitra
CPS Domains
Automotive
Architectures
Architectures
Avionics
Communication
Control
Transportation
CPS Technologies
Foundations
portable
programming
V2V communication
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
« first
‹ previous
…
3
4
5
6
7
8
9
10
11
