264 search results - page 25 / 53 » Portable Execution Time Analysis Method |
76
Voted
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a Grid environment developed for analysis of MRI brain data on global Grids. In the current experiment, the MRI data analysis tasks are composed and formulated...
106
click to vote
CONCUR
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
111
click to vote
PSTV
1992
14 years 10 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
71
Voted
ACRI
2006
Springer
15 years 3 months ago
2006
Springer
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
CIKM
2004
Springer
15 years 3 months ago
2004
Springer
Peer-to-peer Data Networks (PDNs) are large-scale, selforganizing, distributed query processing systems. Familiar examples of PDN are peer-to-peer file-sharing networks, which su...