9110 search results - page 239 / 1822 » Formally-Based Design Evaluation |
178
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
168
click to vote
ISMAR
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...
154
click to vote
INFOCOM
2006
IEEE
16 years 15 days ago
2006
IEEE
— With the explosive growth of network techniques, in particular wireless communications, the traditional centralized, fixed networks can no longer satisfy the enormous demands ...
157
click to vote
ISPASS
2006
IEEE
16 years 15 days ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
177
click to vote
RSP
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...