1855 search results - page 83 / 371 » Composing model programs for analysis |
119
click to vote
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
118
click to vote
SIGDOC
2006
ACM
15 years 9 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
150
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
118
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
128
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...