5838 search results - page 840 / 1168 » A File System for System Programming in Ubiquitous Computing |
129
click to vote
ISLPED
2006
ACM
15 years 11 months ago
2006
ACM
Many techniques have been developed for adaptive power management of computing systems. These techniques rely on the presence of varying power phases to detect opportunities for a...
110
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
123
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
147
Voted
ICS
2003
Tsinghua U.
15 years 10 months ago
2003
Tsinghua U.
With the increasing popularity of small to large-scale symmetric multiprocessor (SMP) systems, there has been a dire need to have sophisticated, and flexible development and runt...
144
click to vote
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...