2661 search results - page 239 / 533 » Model Checking Performability Properties |
179
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
142
click to vote
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
126
click to vote
BELL
2000
15 years 2 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
142
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...
104
click to vote
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM
Among the retrieval models that have been proposed in the last years, the ESA model of Gabrilovich and Markovitch received much attention. The authors report on a significant imp...