7303 search results - page 122 / 1461 » Optimality for dynamic patterns |
107
Voted
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
95
Voted
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
105
click to vote
PVLDB
2010
14 years 8 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Low energy consumption and load balancing are required for enhancing lifetime at Wireless Sensor Networks (WSN). In addition, network dynamics and different delay, throughput, and...
92
Voted
EGH
2005
Springer
15 years 3 months ago
2005
Springer
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...