3028 search results - page 352 / 606 » Integrating Temporal Logics |
171
click to vote
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
170
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
164
click to vote
VLSI
2007
Springer
16 years 24 days ago
2007
Springer
— In the future, high performance computing systems may consist of multiple multicore processors and reconfigurable logic coprocessors. Industry trends indicate that such coproc...
155
click to vote
ISLPED
2004
ACM
16 years 3 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
184
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
It is likely that it will become increasingly difficult to manufacture the complex, heterogeneous logic structures that characterise current reconfigurable logic systems. As a res...