3019 search results - page 471 / 604 » Approximating the Domatic Number |
196
click to vote
ISSAC
2004
Springer
15 years 12 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
148
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose some improvements to the flooding protocols that aim to efficiently broadcast a given information through the whole ad-hoc network. These improvements ...
167
click to vote
ICPP
2003
IEEE
15 years 11 months ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...
144
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract—In this paper we analyze the M/G/1 processor sharing queue with heavy tailed services and with impatient customers. It is assumed that impatience depends on the value of...
110
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Given a set of service requests, each char acterize d by a temporal interval and a category, an integer k, and an integer hc for each categoryc, the Server A llocation with Bounde...