1816 search results - page 41 / 364 » Trace oblivious computation |
RTSS
2008
IEEE
15 years 5 months ago
2008
IEEE
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
CONCUR
2005
Springer
15 years 4 months ago
2005
Springer
GRAPHITE
2004
ACM
15 years 4 months ago
2004
ACM
BIRTHDAY
2004
Springer
15 years 4 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...