7167 search results - page 79 / 1434 » A Technique for Invariant Generation |
135
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
—We address the problem of code optimization for embedded DSP microprocessors. Such processors (e.g., those in the TMS320 series) have highly irregular datapaths, and conventiona...
177
click to vote
IJDAR
2011
15 years 1 months ago
2011
Although publicly-available, ground-truthed corpora have proven useful for training, evaluating, and comparing recognition systems in many domains, the availability of such corpor...
281
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
178
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
156
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. One of the focuses of...