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
Coherence
biblio
Multidimensional directed coherence analysis of keystroke dynamics and physiological responses
Submitted by grigby1 on Wed, 03/08/2017 - 2:44pm
key typing motion dynamics
techno-stress
Stress
respiration
pubcrawl170115
psychosomatic state
physiology
physiological responses
Noise
multidimensional directed coherence analysis
multidimensional directed coherence
keystroke dynamics
cognitive load
IST
interstroke time
Human Factors
HRV
heart rate variability
Fluctuations
dynamics
Coherence
cognitive systems
cognitive resource
biblio
Fractal++: Closing the performance gap between fractal and conventional coherence
Submitted by BrandonB on Wed, 05/06/2015 - 2:43pm
performance scalability
multicores
observational equivalence
optimization
parallel invalidations
parallel processing
partially-serial-invalidations
performance gap
performance optimizations
Multicore processing
protocol optimizations
Protocols
reply-forwarding
Scalability
single-socket system
state explosion
verification scalability
verification-constrained architectures
formal verification
cache coherence protocol bugs
cache storage
Coherence
coherence verification approaches
contention-hints
decoupled-replies
directory protocols
Erbium
32-core simulations
four-socket system
fractal coherence
fractal protocols
Fractal++
Fractals
fully-parallel-fractal-invalidations
indirect-communication
longer-latency multisocket system
biblio
PVCoherence: Designing flat coherence protocols for scalable verification
Submitted by BrandonB on Wed, 05/06/2015 - 2:39pm
Manuals
storage overhead
scalable verification
PVCoherence
Protocols
parametric verification
Parametric statistics
model checking
memory protocols
automated verification methodology
Guidelines
formal verification
flat coherence protocol
Concrete
Coherence
cache storage
cache coherence protocol
biblio
Secure DoF of MIMO Rayleigh block fading wiretap channels with No CSI anywhere
Submitted by BrandonB on Thu, 04/30/2015 - 12:48pm
radio receivers
Upper bound
transmitting antennas
transmitter
telecommunication security
s.d.o.f
receiving antennas
Receivers
receiver
Rayleigh channels
radio transmitters
antennas
multiple input multiple output
MIMO Rayleigh block fading wiretap channels secure DoF
MIMO communication
MIMO
Fading
discrete signalling
degrees of freedom
CSI
Coherence
channel state information
« first
‹ previous
1
2
