998 search results - page 129 / 200 » From Feasible Proofs to Feasible Computations |
INTERWORKING
2000
14 years 1 months ago
2000
In a packet switching based scenario, optical technologies can not completely overcome the problem of insufficient network capacity, due to limitations produced by the presence of ...
SC
1995
ACM
14 years 1 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
DIS
2008
Springer
13 years 11 months ago
2008
Springer
We propose a well-founded method of ranking a pool of m trained classifiers by their suitability for the current input of n instances. It can be used when dynamically selecting a s...
LISA
2003
13 years 11 months ago
2003
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...