571 search results - page 24 / 115 » A principled approach to operating system construction in Ha... |
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
118
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
ARITH
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we investigate the implementation of basic arithmetic functions, such as addition and multiplication, in Single Electron Tunneling (SET) technology. First, we descri...
106
click to vote
JEI
2008
15 years 22 days ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
109
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...