180 search results - page 32 / 36 » Qualitative Heterogeneous Control of Higher Order Systems |
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Modern high-end machines feature multiple processor packages, each of which contains multiple independent cores and integrated memory controllers connected directly to dedicated p...
DCC
2002
IEEE
14 years 7 months ago
2002
IEEE
Conventional digital video playback systems provide only limited user interactivity, mostly in the form of VCRlike controls such as fast forward/backward, slow motion, pause/stop,...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we propose an FPGA implementation of a multi protocol Weighted Fair (WF) queuing algorithm able to handle variable length packets targeted for Packet Over Sonet (POS...
HAPTICS
2002
IEEE
14 years 13 days ago
2002
IEEE
This study explores the effects of haptic feedback on performance and learning by human subjects executing a dynamic task. We present the results of experiments involving the cont...