137 search results - page 14 / 28 » Hybrid Traitor Tracing |
HPCA
2000
IEEE
15 years 1 months ago
2000
IEEE
Value prediction is a technique that breaks true data dependences by predicting the outcome of an instruction, and executes speculatively its data-dependent instructions based on ...
110
click to vote
CGF
2011
14 years 1 months ago
2011
We investigate the use of two-level nested grids as acceleration structure for ray tracing of dynamic scenes. We propose a massively parallel, sort-based construction algorithm an...
68
Voted
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
RTSS
1998
IEEE
15 years 1 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Computing a few eigenpairs of large-scale matrices is a significant problem in science and engineering applications and a very active area of research. In this paper, two methods...