Sciweavers

ACSD
2010
IEEE
238views Hardware» more  ACSD 2010»
13 years 9 months ago
An Asynchronous Routing Algorithm for Clos Networks
Wei Song, Doug Edwards
ACSD
2010
IEEE
261views Hardware» more  ACSD 2010»
13 years 9 months ago
Partial Order Reduction for Branching Security Protocols
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs
ACSAC
2010
IEEE
13 years 9 months ago
A framework for testing hardware-software security architectures
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
Jeffrey S. Dwoskin, Mahadevan Gomathisankaran, Yu-...
TAP
2010
Springer
114views Hardware» more  TAP 2010»
13 years 10 months ago
The saliency of anomalies in animated human characters
Jessica K. Hodgins, Sophie Jörg, Carol O'Sull...
TAP
2010
Springer
96views Hardware» more  TAP 2010»
13 years 10 months ago
Perceptually motivated guidelines for voice synchronization in film
Elizabeth J. Carter, Lavanya Sharan, Laura C. Trut...
TAP
2010
Springer
119views Hardware» more  TAP 2010»
13 years 10 months ago
Analysis of disparity distortions in omnistereoscopic displays
Vincent Chapdelaine-Couture, Michael S. Langer, S&...
TAP
2010
Springer
92views Hardware» more  TAP 2010»
13 years 10 months ago
Multidimensional scaling analysis of haptic exploratory procedures
Theresa Cooke, Christian Wallraven, Heinrich H. B&...
TAP
2010
Springer
110views Hardware» more  TAP 2010»
13 years 10 months ago
Simulating believable forward accelerations on a stewart motion platform
Daniel R. Berger, Jörg Schulte-Pelkum, Heinri...
TAP
2010
Springer
208views Hardware» more  TAP 2010»
13 years 10 months ago
Computational visual attention systems and their cognitive foundations: A survey
Simone Frintrop, Erich Rome, Henrik I. Christensen
TAP
2010
Springer
86views Hardware» more  TAP 2010»
13 years 10 months ago
Making virtual walking real: Perceptual evaluation of a new treadmill control algorithm
Jan L. Souman, Paolo Robuffo Giordano, Ilja Frisse...