148 search results - page 5 / 30 » Programming with angelic nondeterminism |
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
APAL
2008
13 years 10 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
SPAA
1997
ACM
14 years 1 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
HOTOS
2007
IEEE
14 years 1 months ago
2007
IEEE
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
IEEEPACT
2003
IEEE
14 years 3 months ago
2003
IEEE
Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance ...