7167 search results - page 1079 / 1434 » A Technique for Invariant Generation |
209
click to vote
LCTRTS
2005
Springer
16 years 1 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
185
click to vote
NIME
2005
Springer
16 years 1 months ago
2005
Springer
When learning a classical instrument, people often either take lessons in which an existing body of “technique” is delivered, evolved over generations of performers, or in som...
170
click to vote
PCM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Next generation information appliances are required to handle realtime audio/video playback and in the mean time should be able to handle text based requests such as data...
213
click to vote
PCM
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, attention is paid to the automatic generation of XML-based descriptions containing information about the high-level structure of binary multimedia resources. These s...
182
click to vote
PKC
2005
Springer
16 years 1 months ago
2005
Springer
We present an attack on DSA smart-cards which combines physical fault injection and lattice reduction techniques. This seems to be the first (publicly reported) physical experimen...