Sciweavers

685 search results - page 125 / 137
» Closure Operators for Order Structures
Sort
View
POPL
2006
ACM
16 years 1 days 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
91
Voted
ICFP
2006
ACM
15 years 11 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
102
Voted
ICRA
2009
IEEE
211views Robotics» more  ICRA 2009»
15 years 6 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»
15 years 6 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
15 years 6 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...