Sciweavers

7262 search results - page 1266 / 1453
» Reversible Computer Hardware
Sort
View
SIGMETRICS
2005
ACM
163views Hardware» more  SIGMETRICS 2005»
16 years 14 hour ago
Smooth switching problem in buffered crossbar switches
Scalability considerations drive the switch fabric design to evolve from output queueing to input queueing and further to combined input and crosspoint queueing (CICQ). However, f...
Simin He, Shutao Sun, Wei Zhao, Yanfeng Zheng, Wen...
SIGMETRICS
2005
ACM
154views Hardware» more  SIGMETRICS 2005»
16 years 14 hour ago
Fair operation of multi-server and multi-queue systems
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
SIGMETRICS
2005
ACM
101views Hardware» more  SIGMETRICS 2005»
16 years 14 hour ago
Fundamental bounds on the accuracy of network performance measurements
This paper considers the basic problem of “how accurate can we make Internet performance measurements”. The answer is somewhat counter-intuitive in that there are bounds on th...
Matthew Roughan
ADHOCNOW
2005
Springer
16 years 9 hour ago
Probability Distributions for Channel Utilisation
Sensor nets have many undisputed fields of application. A paradigm of communication is the use of one control channel in the MAC layer. We challenge this paradigm for nodes with v...
Christian Schindelhauer, Kerstin Voß
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 3 hour ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
« Prev « First page 1266 / 1453 Last » Next »