959 search results - page 77 / 192 » New Techniques for Algorithm Portfolio Design |
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
DELTA
2004
IEEE
15 years 3 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
DAC
1995
ACM
15 years 3 months ago
1995
ACM
Abstract A new method for power estimation in sequential circuits is presented that is based on a statistical estimation technique. By applying randomly generated input sequences t...
CTRSA
2008
Springer
15 years 1 months ago
2008
Springer
We develop new algorithmic and cryptographic techniques for authenticating the results of queries over databases that are outsourced to an untrusted responder. We depart from previ...
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Recent research in image compression has focused on lossy compression algorithms. However, the baseline implementations of such algorithms generally use a universal quantization p...