4887 search results - page 679 / 978 » System Level Design Using C |
164
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents an adaptive haptic control for a one degree-of-freedom surgical device. The control addresses the problem of hitting a solid object too hard in the presence of ...
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper presents a framework for analyzing and designing decision-making in the context of an electricity industry or, more broadly, a stationary energy sector. It uses that fr...
144
click to vote
SAINT
2008
IEEE
15 years 11 months ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
133
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
134
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...