Sciweavers

ACSD
2010
IEEE
238views Hardware» more  ACSD 2010»
13 years 4 months ago
An Asynchronous Routing Algorithm for Clos Networks
Wei Song, Doug Edwards
ACSD
2010
IEEE
261views Hardware» more  ACSD 2010»
13 years 4 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 4 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 5 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 5 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 5 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 5 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 5 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 5 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 5 months ago
Making virtual walking real: Perceptual evaluation of a new treadmill control algorithm
Jan L. Souman, Paolo Robuffo Giordano, Ilja Frisse...