6693 search results - page 436 / 1339 » Methods of Automatic Algorithm Generation |
199
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
High power consumption will shorten battery life for handheld devices and cause thermal and reliability problems. One way to lower the dynamic power consumption is to reduce the s...
248
click to vote
INFORMS
1998
15 years 7 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
201
click to vote
JCC
2008
15 years 7 months ago
2008
: Quantum Monte Carlo (QMC) calculations require the generation of random electronic configurations with respect to a desired probability density, usually the square of the magnitu...
200
click to vote
CRYPTO
2004
Springer
16 years 1 months ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...
244
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...