446 search results - page 19 / 90 » Active Pages: A Computation Model for Intelligent Memory |
ICPPW
2006
IEEE
14 years 2 months ago
2006
IEEE
Trust, the fundamental basis of ‘cooperation’ – one of the most important characteristics for the performance of pervasive ad hoc network-- is under serious threat with the ...
ASPLOS
1998
ACM
14 years 21 days ago
1998
ACM
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
HRI
2011
ACM
12 years 12 months ago
2011
ACM
In this paper, we present an approach to monitor human activities such as entry, exit and break times of people in a workplace environment. The companion robot then learns the use...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
AIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...