2313 search results - page 207 / 463 » On Heuristic Time Hierarchies |
192
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
186
click to vote
CRYPTO
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. There are numerous subexponential algorithms for computing discrete logarithms over certain classes of finite fields. However, there appears to be no published subexponen...
174
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a general model for resources allocation of virtual machines in multi-tier distributed environments. Our model describes each virtual machine and each physical host by ...
198
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
143
click to vote
FPGA
1995
ACM
15 years 10 months ago
1995
ACM
We study the nominal delay minimization problem in LUTbased FPGA technologymapping, where interconnect delay is assumed proportionalto net fanout size. We prove that the delay-opt...