1541 search results - page 215 / 309 » Tools and Techniques for Model Checking Networked Programs |
148
click to vote
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
145
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
149
click to vote
TSE
2008
15 years 4 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
148
click to vote
ICN
2007
Springer
15 years 10 months ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
206
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...