Sciweavers

4150 search results - page 530 / 830
» A Practical Approach to Model Extension
Sort
View
PPOPP
2010
ACM
16 years 2 months ago
Symbolic prefetching in transactional distributed shared memory
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
Alokika Dash, Brian Demsky
ICDE
2005
IEEE
172views Database» more  ICDE 2005»
15 years 10 months ago
Monitoring K-Nearest Neighbor Queries Over Moving Objects
Many location-based applications require constant monitoring of k-nearest neighbor (k-NN) queries over moving objects within a geographic area. Existing approaches to this problem...
Xiaohui Yu, Ken Q. Pu, Nick Koudas
128
Voted
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 9 months ago
Energy-efficient real-time task scheduling with temperature-dependent leakage
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
Chuan-Yue Yang, Jian-Jia Chen, Lothar Thiele, Tei-...
ER
2009
Springer
117views Database» more  ER 2009»
15 years 8 months ago
An Ontology-Based Framework for Geographic Data Integration
Ontologies have been extensively used to model domain-specific knowledge. Recent research has applied ontologies to enhance the discovery and retrieval of geographic data in Spatia...
Vânia Maria Ponte Vidal, Eveline R. Sacramen...
184
Voted
CDC
2010
IEEE
166views Control Systems» more  CDC 2010»
14 years 12 months ago
A numerical method for the optimal control of switched systems
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
Humberto González, Ramanarayan Vasudevan, M...