4323 search results - page 196 / 865 » Callback Implementations in C |
123
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
119
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
In this paper we propose a multicast-on-large-demand (MOLD) approach to the flash crowd problem. A MOLD Web server may dynamically open a multicast channel for resources when dete...
243
Voted
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...
140
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...
199
Voted
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...