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
C
biblio
Wearable Sensor of Humanoid Robot-Based Textile Chemical Sensors for Odor Detection and Tracking
Submitted by grigby1 on Tue, 12/15/2020 - 12:42pm
Textiles chemical sensors
pubcrawl
resilience
Resiliency
robot operating systems
Robot sensing systems
security
security component
Sensitivity
smart clothes
smart shoes
Textiles
Prototypes
umanoid robot
VOCs
Volatile biomarkers
wearable humanoid robot-based textile chemical sensors
wearable personal gas leakage detection
wearable personal safety
wearable pocket toxic-gas detector
wearable sensor
wearable wellness platform
ZigBee wireless communication technology
Humanoid robots
Biomedical monitoring
C
carbon nanotubes
data acquisition
data monitoring system
gas sensors
Human axillary odor detection
human axillary odor monitoring
Human behavior
Human Factors
human foot odor tracking
ammonia
leak detection
nanocomposites
nanosensors
NH3 leakage detection
odor biomarker
odor tracking
odorant detection system
policy-based governance
polymer-CNT nanocomposite gas sensors
polymers
biblio
The Role of Lateral Confinement in the Localized Heating of Thermionic Emitters Based on Carbon Nanotube Forests
Submitted by grigby1 on Tue, 12/17/2019 - 11:30am
thermionic electron emission
privacy
pubcrawl
resilience
Resiliency
Resistance heating
rotating elliptical laser beam
thermal anisotropicity
thermal conductivity
Power lasers
thermionic electron emitter
thermionic emission
thermionic emitters
thermoelectricity
thermoelectrics
vacuum nanoelectronics
vacuum thermionics
vertically aligned carbon nanotube arrays
electrical conduction
C
carbon nanotube forest
carbon nanotube forests
carbon nanotubes
composability
confinement
cyber-physical system
cyber-physical systems
anisotropic structure
Forestry
heat trap effect
laser beam effects
Laser beams
lateral heat confinement
localized hot region
Measurement by laser beam
optical heating
biblio
EffectiveSan: Type and Memory Error Detection Using Dynamically Typed C/C++
Submitted by aekwall on Mon, 12/16/2019 - 12:47pm
bounds checking
use-after-free errors
Type errors
type confusion
type checking
sanitizers
memory errors
low-fat pointers
dynamic types
Human behavior
(sub-)object bounds errors
Data Sanitization
Compositionality
C
C++
resilience
privacy
pubcrawl
biblio
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Submitted by aekwall on Mon, 12/02/2019 - 11:07am
language security
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
compiler optimizations
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
timing
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
Scalability
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
file
Formal Verification of C Programs with Floating-Point Computations: Certified Error Bounds for Signal Processing
Submitted by akarns on Tue, 01/26/2016 - 2:52pm. Contributor:
Tahina Ramananandro
Presented as part of the
2016 HCSS conference
.
C
Coq
error bounds
floating-point
Radar
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
An Overview of an ACL2 Prototype C Integer Type Safety Verification Tool
Submitted by jimaf on Sat, 04/26/2014 - 6:22am. Contributors:
Kevin Krause
Jim Alves-Foss
Abstract
C
type safety
University of Idaho
verification
National HCSS Conference 2014
Academia
Poster
HCSS'14
HCSS'14: Poster Session
