Sciweavers

4401 search results - page 681 / 881
» Computing with Default Logic
Sort
View
IEEEPACT
2009
IEEE
15 years 11 months ago
DDCache: Decoupled and Delegable Cache Data and Metadata
Abstract—In order to harness the full compute power of manycore processors, future designs must focus on effective utilization of on-chip cache and bandwidth resources. In this p...
Hemayet Hossain, Sandhya Dwarkadas, Michael C. Hua...
IEEESCC
2009
IEEE
15 years 11 months ago
Dynamic Service Composition in Ambient Intelligence Environment
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesâ€...
Yazid Benazzouz, Nicolas Sabouret, Belkacem Chikha...
LICS
2009
IEEE
15 years 11 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi
LICS
2009
IEEE
15 years 11 months ago
Pointer Programs and Undirected Reachability
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
Martin Hofmann, Ulrich Schöpp
EUROPAR
2009
Springer
15 years 11 months ago
POGGI: Puzzle-Based Online Games on Grid Infrastructures
Massively Multiplayer Online Games (MMOGs) currently entertain millions of players daily. To keep these players online and generate revenue, MMOGs are currently relying on manually...
Alexandru Iosup