1953 search results - page 11 / 391 » Embedded Probabilistic Programming |
SIGADA
1998
Springer
13 years 11 months ago
1998
Springer
SIGADA
1993
Springer
13 years 11 months ago
1993
Springer
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
ISOLA
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...