Sciweavers

7262 search results - page 618 / 1453
» Reversible Computer Hardware
Sort
View
MSS
2008
IEEE
58views Hardware» more  MSS 2008»
15 years 6 months ago
Voting with preferences over margins of victory
This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over the support that each alternative receives, and not only over the...
Humberto Llavador
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Analysis of a gossip protocol in PRISM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
SIGMETRICS
2008
ACM
15 years 6 months ago
Synchronized network emulation: matching prototypes with complex simulations
Network emulation, in which real systems interact with a network simulation, is a common evaluation method in computer networking research. Until now, the simulation in charge of ...
Elias Weingärtner, Florian Schmidt, Tobias He...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 6 months ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois
ETS
2000
IEEE
90views Hardware» more  ETS 2000»
15 years 6 months ago
Teacher Collaboration in a Networked Community
In this paper, we examine the collaboration problems teachers encountered in the course of instructing students using collaborative computer software to connect distributed classr...
Daniel R. Dunlap, Dennis C. Neale, John M. Carroll