Sciweavers

10271 search results - page 464 / 2055
» Computer Science
Sort
View
QOFIS
2000
Springer
15 years 8 months ago
The Fairness Challenge in Computer Networks
Abstract. In this paper, the concept of fairness as a future field of research in computer networks is investigated. We motivate the need of examining fairness issues by providing ...
Robert Denda, Albert Banchs, Wolfgang Effelsberg
TAP
2009
Springer
96views Hardware» more  TAP 2009»
15 years 11 months ago
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
Stefan Ratschan, Jan-Georg Smaus
HPCN
1998
Springer
15 years 9 months ago
DISCWorld: A Distributed High Performance Computing Environment
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
Kenneth A. Hawick, Heath A. James, Craig J. Patten...
CCA
2009
Springer
15 years 11 months ago
Realisability and Adequacy for (Co)induction
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
Ulrich Berger
FOCS
1998
IEEE
15 years 9 months ago
Towards an Optimal Bit-Reversal Permutation Program
The speed of many computations is limited not by the number of arithmetic operations but by the time it takes to move and rearrange data in the increasingly complicated memory hie...
Larry Carter, Kang Su Gatlin