Sciweavers

495 search results - page 22 / 99
» A Compiler for the Smart Space
Sort
View
VTC
2007
IEEE
135views Communications» more  VTC 2007»
15 years 6 months ago
Spontaneous and Context-Aware Media Recommendation in Heterogeneous Spaces
—While mobile users move from one smart space to another, it is highly desirable for them to access the right media contents from the overabundant media information in the right ...
Daqing Zhang, Zhiwen Yu
HPCA
2011
IEEE
14 years 3 months ago
ACCESS: Smart scheduling for asymmetric cache CMPs
In current Chip-multiprocessors (CMPs), a significant portion of the die is consumed by the last-level cache. Until recently, the balance of cache and core space has been primari...
Xiaowei Jiang, Asit K. Mishra, Li Zhao, Ravishanka...
SOFSEM
2009
Springer
15 years 8 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
ICRA
2006
IEEE
185views Robotics» more  ICRA 2006»
15 years 5 months ago
A Cognitive Modeling of Space using Fingerprints of Places for Mobile Robot Navigation
- In this work we address the problem of perception, spatial cognition and topological navigation for a mobile robot. The objective of this work is to enable the navigation of an a...
Adriana Tapus, Roland Siegwart
CASSIS
2004
Springer
15 years 5 months ago
A Type System for Checking Applet Isolation in Java Card
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
Werner Dietl, Peter Müller, Arnd Poetzsch-Hef...