5838 search results - page 850 / 1168 » A File System for System Programming in Ubiquitous Computing |
144
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes Mercury, a wearable, wireless sensor platform for motion analysis of patients being treated for neuromotor disorders, such as Parkinson’s Disease, epilepsy,...
162
click to vote
ICS
2011
Tsinghua U.
14 years 8 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
143
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
126
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
140
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...