7167 search results - page 115 / 1434 » A Technique for Invariant Generation |
139
click to vote
CSSE
2008
IEEE
16 years 23 days ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
128
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper compares the performances of a vibrationpowered electrical generators using PZT piezoelectric ceramic associated to two different power conditioning circuits. A new app...
142
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
165
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
138
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
We describe a trainable, hand-drawn symbol recognizer based on a multi-layer recognition scheme. Symbols are internally represented as binary templates. An ensemble of four differ...