1996 search results - page 247 / 400 » Financial Theory 2 |
172
click to vote
IEEEPACT
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently, chip multiprocessors (CMPs) have arisen as the de facto design for modern high-performance processors, with increasing core counts. An important property of CMPs is that...
166
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
157
click to vote
FAW
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
189
click to vote
PODC
2006
ACM
16 years 16 days ago
2006
ACM
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...
180
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a problem directly inspired by its application to DWDM (dense wavelength division multiplexing) network design. We are given a set of demands to be carried over a netw...