214 search results - page 40 / 43 » Automatic Correction of Loop Transformations |
104
Voted
DAC
2009
ACM
15 years 4 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
149
click to vote
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
98
Voted
LICS
1989
IEEE
15 years 3 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
122
Voted
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
GRAPHICSINTERFACE
2001
15 years 1 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...