2661 search results - page 364 / 533 » Model Checking Performability Properties |
PAMI
2006
13 years 10 months ago
2006
Visual attention is a mechanism which filters out redundant visual information and detects the most relevant parts of our visual field. Automatic determination of the most visually...
ECEASST
2010
13 years 5 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
We introduce a study of position auctions, with an explicit modeling of user navigation through ads. We refer to our model as the PPA model, since it is most applicable in the con...
SIAMCOMP
1998
13 years 10 months ago
1998
This paper introduces the queue-read, queue-write (qrqw) parallel random access machine (pram) model, which permits concurrent reading and writing to shared memory locations, but ...
JSSPP
2009
Springer
14 years 5 months ago
2009
Springer
In parallel systems, similar jobs tend to arrive within bursty periods. This fact leads to the existence of the locality phenomenon, a persistent similarity between nearby jobs, in...