14190 search results - page 278 / 2838 » Abstractions for hybrid systems |
187
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
154
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
— 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...
181
click to vote
DSN
2003
IEEE
16 years 14 hour ago
2003
IEEE
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...
150
click to vote
COLING
2008
15 years 8 months ago
2008
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...
160
click to vote
LREC
2008
15 years 8 months ago
2008
Large-scale grammar-based parsing systems nowadays increasingly rely on independently developed, more specialized components for pre-processing their input. However, different too...