6770 search results - page 265 / 1354 » How GPUs Work |
126
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
186
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
148
click to vote
ICICS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present new related-key attacks on the block ciphers 3WAY, Biham-DES, CAST, DES-X, NewDES, RC2, and TEA. Differential related-key attacks allow both keys and plaintex...
167
click to vote
ECOOPW
1994
Springer
15 years 10 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
187
click to vote
ISMIS
1993
Springer
15 years 10 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...