6299 search results - page 180 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
171
Voted
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an information push model information dissemination to mobile users, called dynamic channel model. It is a set of extensions to the conceptual models developed for info...
193
click to vote
JCB
2006
15 years 7 months ago
2006
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
294
click to vote
APCSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. The perceptron predictor is a highly accurate branch predictor. Unfortunately this high accuracy comes with high complexity. The high complexity is the result of the larg...
201
Voted
EUROSSC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
176
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...