Sciweavers

8658 search results - page 58 / 1732
» Models of Command and Control
Sort
View
MICRO
2010
IEEE
156views Hardware» more  MICRO 2010»
15 years 24 days ago
Explicit Communication and Synchronization in SARC
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
Manolis Katevenis, Vassilis Papaefstathiou, Stamat...
ICPR
2006
IEEE
16 years 3 months ago
Human-Robot Interaction by Whole Body Gesture Spotting and Recognition
An intelligent robot is required for natural interaction with humans. Visual interpretation of gestures can be useful in accomplishing natural Human-Robot Interaction (HRI). Previ...
A-Yeon Park, Hee-Deok Yang, Seong-Whan Lee
132
Voted
FROCOS
2009
Springer
15 years 9 months ago
Building SMT-Based Software Model Checkers: An Experience Report
Alessandro Armando