4323 search results - page 659 / 865 » Callback Implementations in C |
139
Voted
IPL
2010
15 years 1 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...
238
click to vote
FAST
2011
14 years 7 months ago
2011
Shared storage underlies most enterprise VM deployments because it is an established technology that administrators are familiar with and because it good job of protecting data. H...
116
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—The Internet has significantly evolved in the number and variety of applications. Network operators need mechanisms to constantly monitor and study these applications. Given mo...
138
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
193
click to vote
PROCEDIA
2011
14 years 7 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...