Sciweavers

685 search results - page 125 / 137
» Closure Operators for Order Structures
Sort
View
POPL
2006
ACM
14 years 7 months ago
A virtual class calculus
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
Erik Ernst, Klaus Ostermann, William R. Cook
ICFP
2006
ACM
14 years 7 months ago
Recursive modules for programming
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
Keiko Nakata, Jacques Garrigue
ICRA
2009
IEEE
211views Robotics» more  ICRA 2009»
14 years 2 months ago
Climbing rough vertical surfaces with hierarchical directional adhesion
— Prior research in biology and mechanics has shown the importance of hierarchy to the performance of dry adhesive systems on rough surfaces. The gecko utilizes several levels of...
Alan T. Asbeck, Sanjay Dastoor, Aaron Parness, Lau...
SMA
2009
ACM
208views Solid Modeling» more  SMA 2009»
14 years 2 months ago
Accelerating geometric queries using the GPU
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
Adarsh Krishnamurthy, Sara McMains, Kirk Haller
IPPS
2007
IEEE
14 years 1 months ago
Load Miss Prediction - Exploiting Power Performance Trade-offs
— Modern CPUs operate at GHz frequencies, but the latencies of memory accesses are still relatively large, in the order of hundreds of cycles. Deeper cache hierarchies with large...
Konrad Malkowski, Greg M. Link, Padma Raghavan, Ma...