229 search results - page 15 / 46 » Self-applicable C Program Specialization |
CC
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
SIAMJO
2002
14 years 9 months ago
2002
We outline a new approach for radiosurgery treatment planning, based on solving a series of optimization problems. We consider a specific treatment planning problem for a speciali...
104
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
FTDCS
1999
IEEE
15 years 1 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...