3172 search results - page 175 / 635 » Combining Specification Techniques for Processes, Data and T... |
139
click to vote
EOR
2008
15 years 6 months ago
2008
We study how to efficiently schedule online perfectly malleable parallel jobs with arbitrary arrival times on m 2 processors. We take into account both the linear speedup of such...
196
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We investigate the fundamental capacity limits of space-time journeys of information in mobile and Delay Tolerant Networks (DTNs), where information is either transmitted or carrie...
212
click to vote
QEST
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
188
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...
184
click to vote
CGA
2010
15 years 3 months ago
2010
Developing visualization applications is non-trivial and poses special challenges. This is due to the fact that typical visualization software processes a large amount of data res...