1190 search results - page 1 / 238 » The Continuing Quest for Abstraction |
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
SIGMETRICS
2006
ACM
13 years 11 months ago
2006
ACM
Abstract—In this paper, we present NetQuest, a flexible framework for large-scale network measurement. We apply Bayesian experimental design to select active measurements that m...
SENSYS
2005
ACM
13 years 11 months ago
2005
ACM
ng Link Abstraction for Wireless Sensor Networks Joseph Polastre, Jonathan Hui, Philip Levis, Jerry Zhao, David Culler, Scott Shenker, and Ion Stoica Computer Science Department In...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
CSL
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...