363 search results - page 50 / 73 » About paths with two blocks |
CGO
2005
IEEE
14 years 3 months ago
2005
IEEE
Aggressive software speculation holds significant potential, because it enables program transformations to reduce the program’s critical path. Like any form of speculation, how...
WMTE
2005
IEEE
14 years 3 months ago
2005
IEEE
: There is an ever growing number of mobile learning applications based on location-awareness, However, there is still a lack of information concerning how it might impact socio-co...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
Abstract. Many different index structures have been proposed for spatial databases to support efficient query processing. However, most of these index structures suffer from an exp...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...