1359 search results - page 126 / 272 » Probabilistic Points-to Analysis |
71
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—In this paper, we focus on applications with quantitative QoS (Quality of Service) requirements in their end-toend response time. Two types of quantitative QoS garantees...
WDAG
2007
Springer
15 years 4 months ago
2007
Springer
Byzantine-fault-tolerant service protocols like Q/U and FaB Paxos that optimistically order requests can provide increased efficiency and fault scalability. However, these protocol...
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of creating probabilistic brain atlases from manually labeled training data. We propose a general mesh-based atlas representation, and compare diff...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Mining subtopics from weblogs and analyzing their spatiotemporal patterns have applications in multiple domains. In this paper, we define the novel problem of mining spatiotempora...
107
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...