536 search results - page 86 / 108 » Deconstructing process isolation |
TSP
2008
13 years 8 months ago
2008
To overcome the limitations of a conventional fullband adaptive filtering, various subband adaptive filtering (SAF) structures have been proposed. Properly designed, an SAF will co...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—The scalability limitations of BGP have been a major concern in the networking community lately. An important issue in this respect is the rate of routing updates (churn) that B...
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
Single-thread performance, reliability and power efficiency are critical design challenges of future multicore systems. Although point solutions have been proposed to address thes...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...