158 search results - page 16 / 32 » The multicast address allocation problem: theory and practic... |
CAV
1999
Springer
13 years 12 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
-This paper addresses the problem of performance analysis for maximum likelihood (ML) detection in two-input multiple-output multiplexing systems. A novel analytical method is pres...
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...
CGF
2004
13 years 7 months ago
2004
Visualization is a powerful tool for analysing data and presenting results in science, engineering and medicine. This paper reviews ways in which it can be used in distributed and...
SIGCOMM
2006
ACM
14 years 1 months ago
2006
ACM
Traditional studies of routing problems often assumed strict preferences on paths, by eliminating ambiguity in path comparisons, or imposing a priori deterministic tie-breaking. S...