2111 search results - page 234 / 423 » How to Program Pervasive Systems |
147
Voted
PDP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
126
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
115
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
137
Voted
HPCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Impulse is a new memory system architecture that adds two important features to a traditional memory controller. First, Impulse supports application-specific optimizations through...
149
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...