2482 search results - page 277 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
290
click to vote
ANCS
2011
ACM
14 years 7 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
207
Voted
ICS
2007
Tsinghua U.
16 years 1 months ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
181
Voted
COOPIS
2003
IEEE
16 years 8 days ago
2003
IEEE
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
167
Voted
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
160
Voted
RAID
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...