3225 search results - page 191 / 645 » Compiling Experience into Knowledge |
194
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
161
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
164
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
124
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose a language called QOS-SMIL where some QoS guarantee statements are added to a subclass of SMIL, and give its implementation technique. In QOS-SMIL, in ad...
183
click to vote
ISSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Code generation for embedded processors creates opportunities for several performance optimizations not applicable for traditional compilers. We present techniques for improving d...