1816 search results - page 41 / 364 » Trace oblivious computation |
111
Voted
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
111
Voted
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
94
Voted
GRAPHITE
2004
ACM
15 years 10 months ago
2004
ACM
105
Voted
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...