5241 search results - page 631 / 1049 » Embedded Programming with C |
144
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
163
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
139
click to vote
EUROPAR
2000
Springer
15 years 8 months ago
2000
Springer
We present a compiler algorithm called BitValue, which can discover both unused and constant bits in dusty-deck C programs. BitValue uses forward and backward dataflow analyses, ge...
128
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
Achieving good performance in bytecoded language interpreters is di cult without sacri cing both simplicity and portability. This is due to the complexity of dynamic translation (...
120
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...