1816 search results - page 148 / 364 » Trace oblivious computation |
DEBS
2007
ACM
14 years 2 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
CGI
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper, it is described a method of curved ray tracing capable of depicting phenomena that arise, under certain conditions, when light propagates through an inhomogeneous a...
CONCUR
2006
Springer
14 years 2 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
BIRTHDAY
2008
Springer
14 years 8 days ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Jonsson and Larsen's notion of probabilistic simulation is studied from a coalgebraic perspective. The notion is compared with two generic coalgebraic definitions of simulatio...