1541 search results - page 215 / 309 » Tools and Techniques for Model Checking Networked Programs |
116
Voted
CGO
2007
IEEE
15 years 7 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...
109
click to vote
ML
2006
ACM
15 years 17 days 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...
111
Voted
TSE
2008
15 years 15 days 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...
115
Voted
ICN
2007
Springer
15 years 6 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 ...
173
Voted
SIGMOD
2009
ACM
16 years 26 days 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 ...