533 search results - page 78 / 107 » Protocol synthesis from timed and structured specifications |
CORR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
SIGGRAPH
2000
ACM
14 years 3 months ago
2000
ACM
This paper introduces a new type of medium, called a video texture, which has qualities somewhere between those of a photograph and a video. A video texture provides a continuous ...
HPCA
2003
IEEE
14 years 11 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
DMSN
2010
ACM
14 years 2 days ago
2010
ACM
In sparse and intermittently connected Mobile Sensor Networks (MSNs), the base station cannot easily get the data objects acquired by the mobile sensors in the field. When users q...
CN
2006
13 years 11 months ago
2006
Today's wireless networks are characterized by a fixed spectrum assignment policy. However, a large portion of the assigned spectrum is used sporadically and geographical var...