7047 search results - page 235 / 1410 » Focusing on Binding and Computation |
177
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
185
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present a practical, market-based solution to the resource provisioning problem in a set of heterogeneous resource clusters. We focus on provisioning rather than immediate sc...
164
click to vote
ECBS
2005
IEEE
16 years 5 days ago
2005
IEEE
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
157
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
DePauw University is a small, liberal arts institution with 2200 undergraduate residential students and 222 faculty members, located in Greencastle, Indiana. The challenges of sup...
162
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
Accelerated future learning, in which learning proceeds more effectively and more rapidly because of prior learning, is considered to be one of the most interesting measures of ro...