12981 search results - page 2297 / 2597 » Model Checking (Abstract) |
138
click to vote
TES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
144
Voted
VECPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
125
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a Bayesian approach for simultaneously estimating the number of people in a crowd and their spatial locations by sampling from a posterior distribution over cr...
136
click to vote
APCSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...
117
Voted
BIBE
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— We analyze the performance of likelihoodbased approaches used to reconstruct phylogenetic trees. Unlike other techniques such as Neighbor-Joining (NJ) and Maximum Parsi...