10899 search results - page 1853 / 2180 » The GP Programming System |
160
Voted
CASES
2007
ACM
15 years 9 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
163
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
154
click to vote
SIGGRAPH
1995
ACM
15 years 8 months ago
1995
ACM
Most recent rendering research has concentrated on two subproblems: modeling the reflection of light from materials, and calculating the direct and indirect illumination from lig...
148
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
188
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...