Sciweavers

2377 search results - page 165 / 476
» Hybrid Systems in TLA
Sort
View
FPGA
2008
ACM
136views FPGA» more  FPGA 2008»
15 years 8 months ago
HybridOS: runtime support for reconfigurable accelerators
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
John H. Kelm, Steven S. Lumetta
VTC
2007
IEEE
129views Communications» more  VTC 2007»
16 years 23 days ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...
ICRA
2006
IEEE
124views Robotics» more  ICRA 2006»
16 years 16 days ago
Hybrid Vision-force Robot Control for Tasks on Unknown Smooth Surfaces
— This work considers a hybrid force and vision control system for robotic manipulators using a force sensor and a fixed uncalibrated camera. A method is proposed to combine dir...
Antonio C. Leite, Fernando C. Lizarralde, Liu Hsu
DSN
2003
IEEE
15 years 11 months ago
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
Michael Backes, Christian Cachin
COLING
2008
15 years 8 months ago
Hybrid Processing for Grammar and Style Checking
This paper presents an implemented hybrid approach to grammar and style checking, combining an industrial patternbased grammar and style checker with bidirectional, large-scale HP...
Berthold Crysmann, Nuria Bertomeu, Peter Adolphs, ...