1204 search results - page 124 / 241 » Hybrid Probabilistic Programs |
102
click to vote
ASE
2006
15 years 25 days ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
100
click to vote
JAIR
2008
15 years 23 days ago
2008
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custom...
105
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
COMPCON
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper describes Tempest, a collection of mechanisms for communication and synchronization in parallel programs. With these mechanisms, authors of compilers, libraries, and ap...
129
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...