9626 search results - page 1795 / 1926 » Invariant Based Programming |
111
click to vote
JGAA
2006
15 years 1 months ago
2006
The task of balancing dynamically generated work load occurs in a wide range of parallel and distributed applications. Diffusion based schemes, which belong to the class of neares...
112
click to vote
EOR
2007
15 years 1 months ago
2007
In this paper, we study the procurement problem faced by a buyer who needs to purchase a variety of goods from suppliers applying a so-called total quantity discount policy. This ...
119
click to vote
LOBJET
2006
15 years 1 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
128
click to vote
ALGORITHMICA
2005
15 years 1 months ago
2005
We present a new bit-parallel technique for approximate string matching. We build on two previous techniques. The first one, BPM [Myers, J. of the ACM, 1999], searches for a patte...
133
click to vote
TCS
2008
15 years 1 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...