2251 search results - page 25 / 451 » Specification and Implementation Problems for C |
103
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
104
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...
MONET
2008
15 years 1 months ago
2008
Cognitive Radio has been proposed as a promising technology to solve today's spectrum scarcity problem by dynamic spectrum access. The MPSoC reconfigurable platform is propose...
120
click to vote
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
146
click to vote
SCCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...