8766 search results - page 1240 / 1754 » Functional logic programming |
158
click to vote
MPC
1995
Springer
15 years 9 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
183
click to vote
IJCAI
2007
15 years 7 months ago
2007
Dynamic programming algorithms provide a basic tool identifying optimal solutions in Markov Decision Processes (MDP). The paper develops a representation for decision diagrams sui...
150
click to vote
EJC
2000
15 years 7 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...
174
click to vote
OSDI
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...
152
click to vote
AAAI
1990
15 years 7 months ago
1990
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...