699 search results - page 84 / 140 » mc 2008 |
OSDI
2008
ACM
16 years 26 days ago
2008
ACM
Conceptually, fast server-side page cache storage could dramatically reduce paging I/O. In this extended abstract, we speculate how such a device might be used, then show how it c...
98
Voted
ICFP
2008
ACM
16 years 15 days ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
95
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
86
Voted
HAPTICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a floor tile designed to provide the impression of walking on different ground materials, such as gravel, carpet, or stone. The device uses affordable and commerciall...
97
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
A fuzzy c-means algorithm was adapted for analyzing microarray data. The adaptation consisted of initialization of fuzzy centroids using gene ontology information and the use of P...