3256 search results - page 267 / 652 » Mixin-Based Programming in C |
123
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
231
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
129
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
136
click to vote
C5
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
116
click to vote
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...