Sciweavers

5762 search results - page 275 / 1153
» R-tree: A Hardware Implementation
Sort
View
ASPDAC
2000
ACM
92views Hardware» more  ASPDAC 2000»
15 years 11 months ago
Co-synthesis with custom ASICs
- This paper introduces the first hardwarekoftware co-synthesis algorithm that optimizes the implementations of ASICs that are used as processing elements for the embedded systems....
Yuan Xie, Wayne Wolf
CARDIS
1998
Springer
95views Hardware» more  CARDIS 1998»
15 years 11 months ago
Serpent and Smartcards
We proposed a new block cipher, Serpent, as a candidate for the Advanced Encryption Standard. This algorithm uses a new structure that simultaneously allows a more rapid avalanche,...
Ross J. Anderson, Eli Biham, Lars R. Knudsen
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
AROBOTS
1998
113views more  AROBOTS 1998»
15 years 6 months ago
Grounding Mundane Inference in Perception
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
Ian Horswill
ICRA
2010
IEEE
117views Robotics» more  ICRA 2010»
15 years 5 months ago
Online intention recognition for computer-assisted teleoperation
— An online intention recognition algorithm for computer-assisted teleoperation is introduced. The algorithm is able to distinguish between phases of a typical object manipulatio...
Nikolay Stefanov, Angelika Peer, Martin Buss