6120 search results - page 173 / 1224 » The Power of Linear Functions |
264
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
161
click to vote
DBPL
1997
Springer
15 years 10 months ago
1997
Springer
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...
153
click to vote
ACISP
2000
Springer
15 years 10 months ago
2000
Springer
This paper shows how suitable choice of cost function can significantly affect the power of optimisation methods for the synthesising of Boolean functions. In particular we show ...
177
click to vote
JUCS
2007
15 years 6 months ago
2007
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
161
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
NBTI is one of the most important silicon reliability problems facing processor designers today. The impact of NBTI can be mitigated at both the circuit and microarchitecture leve...