2005 search results - page 285 / 401 » Decisive Markov Chains |
104
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a low-cost and practical approach to achieve basic input using a tactile cube-shaped object, augmented with a set of sensors, processor, batteries and wireless...
109
click to vote
APN
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
124
click to vote
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
107
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...