5838 search results - page 509 / 1168 » A File System for System Programming in Ubiquitous Computing |
158
click to vote
FMSD
2006
15 years 6 months ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
149
click to vote
IANDC
2007
15 years 6 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
276
click to vote
AICI
2010
15 years 5 months ago
2010
Moving a brain-computer interface from a laboratory demonstration to real-life applications poses severe challenges to the BCI community. Recently, with advances in the biomedical ...
163
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
164
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. The nano-threads programming model was proposed to effectively integrate multiprogramming on shared-memory multiprocessors, with the exploitation of fine-grain parallelis...