Sciweavers

2259 search results - page 39 / 452
» Addressing Mode Selection
Sort
View
TPHOL
2007
IEEE
14 years 3 months ago
Extracting Purely Functional Contents from Logical Inductive Types
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
David Delahaye, Catherine Dubois, Jean-Fréd...
CGO
2010
IEEE
14 years 3 months ago
Integrated instruction selection and register allocation for compact code generation exploiting freeform mixing of 16- and 32-bi
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...
Tobias J. K. Edler von Koch, Igor Böhm, Bj&ou...
ICASSP
2009
IEEE
14 years 3 months ago
Incremental predictive and adaptive noise compensation
Model compensation schemes are a powerful approach to handling mismatches between training and testing conditions. Normally these schemes are run in a batch adaptation mode, re-re...
Federico Flego, Mark J. F. Gales
IPPS
1999
IEEE
14 years 1 months ago
The MuSE System: A Flexible Combination of On-Stack Execution and Work-Stealing
Executing subordinate activities by pushing return addresses on the stack is the most e cient working mode for sequential programs. It is supported by all current processors, yet i...
Markus Leberecht
IUI
1993
ACM
14 years 1 months ago
Commenting on action: continuous linguistic feedback generation
Action mode interfaces, in which the user achieves his goals by manipulating representations, suffer from some fundamental disadvantages. In this paper, we present a working proto...
Wim Claassen, Edwin Bos, Carla Huls, Koenraad De S...