Sciweavers

1814 search results - page 307 / 363
» Improved Results on Geometric Hitting Set Problems
Sort
View
SBACPAD
2003
IEEE
111views Hardware» more  SBACPAD 2003»
14 years 2 months ago
Boosting Performance for I/O-Intensive Workload by Preemptive Job Migrations in a Cluster System
Load balancing in a cluster system has been investigated extensively, mainly focusing on the effective usage of global CPU and memory resources. However, if a significant portion ...
Xiao Qin, Hong Jiang, Yifeng Zhu, David R. Swanson
ISPD
2003
ACM
171views Hardware» more  ISPD 2003»
14 years 2 months ago
Timing driven force directed placement with physical net constraints
This paper presents a new timing driven force directed placement algorithm that meets physical net length constraints as well as constraints on specific pin sets. It is the first ...
Karthik Rajagopal, Tal Shaked, Yegna Parasuram, Tu...
HUC
2009
Springer
14 years 1 months ago
Controlling Error Propagation in Mobile-Infrastructure Based Localization
Mobile infrastructure consists of one or more sensors in a fixed configuration on a mobile platform. By moving the mobile platform in the environment and attaching a set of stat...
Ying Zhang, Juan Liu
PCM
2001
Springer
183views Multimedia» more  PCM 2001»
14 years 1 months ago
An Adaptive Index Structure for High-Dimensional Similarity Search
A practical method for creating a high dimensional index structure that adapts to the data distribution and scales well with the database size, is presented. Typical media descrip...
Peng Wu, B. S. Manjunath, Shivkumar Chandrasekaran
ICLP
1997
Springer
14 years 1 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...