5133 search results - page 952 / 1027 » Optimization in Object Caching |
183
click to vote
LCPC
2007
Springer
16 years 24 days ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
151
click to vote
INFOCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— Multihoming has been used by stub networks for several years as a form of redundancy, improving the availability of Internet access. More recently, Intelligent Route Control (I...
229
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
186
click to vote
ACMSE
2006
ACM
16 years 19 days ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...
166
click to vote
SMI
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper considers computation of visibility for twodimensional shapes whose boundaries are C1 continuous curves. We assume we are given a one-parameter family of candidate view...