2335 search results - page 256 / 467 » Type Checking Type Classes |
111
Voted
HAPTICS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we address the problem of providing near-field haptic feedback in a wearable, scalable manner. Our solution, called the TactaBoard, supports the independent control...
104
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— This paper analyzes a communication network with heterogeneous customers. We investigate priority queueing as a way to differentiate between these users. Customers join the net...
101
Voted
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
IMC
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes a measurement infrastructure used to collect detailed IP traffic measurements from an IP backbone. Usage, i.e, bytes transmitted, is determined from raw NetF...
117
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...