3938 search results - page 108 / 788 » Interactive Protocols on the Reals |
128
click to vote
HPCA
2011
IEEE
14 years 4 months ago
2011
IEEE
Future CMPs will combine many simple cores with deep cache hierarchies. With more cores, cache resources per core are fewer, and must be shared carefully to avoid poor utilization...
117
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
131
Voted
HAPTICS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes the implementation of a demo that will be shown at the conference site. The demo of “softfinger grasping of physically based quasi-rigid objects” will pr...
106
Voted
HUC
2004
Springer
15 years 6 months ago
2004
Springer
Ubiquitous computing is giving rise to applications that interact very closely with activity in the real world, usually involving instrumentation of environments. In contrast, we p...
130
click to vote
ISMS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...