5838 search results - page 704 / 1168 » A File System for System Programming in Ubiquitous Computing |
204
click to vote
RTA
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
167
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We introduce a location?based game called Feeding Yoshi that provides an example of seamful design, in which key characteristics of its underlying technologies--the coverage and s...
174
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic Random Access Memory (DRAM) is used as the bulk of the main memory in most computing systems and its energy and power consumption has become a first-class design considera...
179
click to vote
IPPS
2006
IEEE
16 years 28 days ago
2006
IEEE
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
163
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...