Sciweavers

1816 search results - page 39 / 364
» Trace oblivious computation
Sort
View
PPDP
2004
Springer
15 years 10 months ago
A semantics for tracing declarative multi-paradigm programs
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...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
85
Voted
SC
2005
ACM
15 years 10 months ago
Using Dynamic Tracing Sampling to Measure Long Running Programs
Ø Ð × ÑÙÐ Ø ÓÒ Ò Ù× ÙÐ ØÓ ÓØ ×Ýר Ñ ¹ Ú ÐÓÔ Ö× Ò ÔÔÐ Ø ÓÒ ÛÖ Ø Ö× ØÓ ÙÒ Öר Ò Ò ÔÔÐ ¹ Ø ÓÒ³× Ô Ö ÓÖÑ Ò º ÀÓÛ ...
Jeffrey Odom, Jeffrey K. Hollingsworth, Luiz De Ro...
115
Voted
ICS
2004
Tsinghua U.
15 years 10 months ago
Design space exploration of caches using compressed traces
Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Ab...
111
Voted
CIE
2007
Springer
15 years 9 months ago
Sofic Trace Subshift of a Cellular Automaton
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...
Julien Cervelle, Enrico Formenti, Pierre Guillon