5838 search results - page 316 / 1168 » A File System for System Programming in Ubiquitous Computing |
127
click to vote
ICPP
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
143
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...
181
click to vote
CGF
2010
15 years 3 months ago
2010
A growing number of applications depend on accurate and fast 3D scene analysis. Examples are model and lightfield acquisition, collision prevention, mixed reality, and gesture re...
147
click to vote
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
Location information is an important source of context for ubiquitous computing systems. We have previously developed a wearable location system that combines a foot-mounted inerti...
154
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...