4323 search results - page 326 / 865 » Callback Implementations in C |
130
click to vote
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
226
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
129
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
121
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
This paper reports our experiences building PlanetLab over the last four years. It identifies the requirements that shaped PlanetLab, explains the design decisions that resulted fr...
166
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We consider the problem of offloading secure access-controlled content from central origin servers to distributed caches so clients can access a proximal cache rather than the orig...