1133 search results - page 25 / 227 » Local Logics for Traces |
86
Voted
ISQED
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
107
Voted
RT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Photo-realistic rendering algorithms such as Monte Carlo ray tracing sample individual paths to compute images. Noise and aliasing artefacts are usually reduced by supers...
106
click to vote
FAC
2008
15 years 21 days ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
84
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
We describe ViralVCD: a low cost method for tracing paths of information diffusion in developing communities using physical media. We instituted a participatory video framework fo...
CGF
2008
15 years 7 days ago
2008
In this paper we introduce the constrained tetrahedralization as a new acceleration structure for ray tracing. A constrained tetrahedralization of a scene is a tetrahedralization ...