5838 search results - page 884 / 1168 » A File System for System Programming in Ubiquitous Computing |
175
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
136
click to vote
IJCM
2002
15 years 4 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
153
Voted
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...
189
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
160
Voted
SAMOS
2010
Springer
15 years 2 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...