454 search results - page 61 / 91 » Models for Data-Flow Sequential Processes |
87
Voted
EDBT
2006
ACM
16 years 11 days ago
2006
ACM
Abstract. Many different index structures have been proposed for spatial databases to support efficient query processing. However, most of these index structures suffer from an exp...
127
click to vote
JAIR
2008
15 years 7 days ago
2008
Probabilistic planning problems are typically modeled as a Markov Decision Process (MDP). MDPs, while an otherwise expressive model, allow only for sequential, non-durative action...
108
click to vote
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
There is a growing interest in the use of speculative multithreading to speed up the execution of a program. In speculative multithreading model, threads are extracted from a sequ...
96
Voted
APN
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
76
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...