1816 search results - page 39 / 364 » Trace oblivious computation |
PPDP
2004
Springer
14 years 3 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
SC
2005
ACM
14 years 3 months ago
2005
ACM
Ø Ð × ÑÙÐ Ø ÓÒ Ò Ù× ÙÐ ØÓ ÓØ ×Ý×Ø Ñ ¹ Ú ÐÓÔ Ö× Ò ÔÔÐ Ø ÓÒ ÛÖ Ø Ö× ØÓ ÙÒ Ö×Ø Ò Ò ÔÔÐ ¹ Ø ÓÒ³× Ô Ö ÓÖÑ Ò º ÀÓÛ ...
ICS
2004
Tsinghua U.
14 years 3 months ago
2004
Tsinghua U.
CIE
2007
Springer
14 years 1 months ago
2007
Springer
The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. In this paper we study conditions for a sofic subshift t...