Sciweavers

2050 search results - page 326 / 410
» constraints 2010
Sort
View
PVLDB
2010
146views more  PVLDB 2010»
13 years 6 months ago
Graph Indexing of Road Networks for Shortest Path Queries with Label Restrictions
The current widespread use of location-based services and GPS technologies has revived interest in very fast and scalable shortest path queries. We introduce a new shortest path q...
Michael Rice, Vassilis J. Tsotras
QRE
2010
84views more  QRE 2010»
13 years 6 months ago
Three-level and mixed-level orthogonal arrays for lean designs
Orthogonal arrays (OA’s) are widely used in design of experiments. Each OA has a specific number of rows that is fixed by the number of factors in the OA and the number of leve...
Chang-Xing Ma, Ming-Yao Ai, L. Y. Chan, T. N. Goh
RR
2010
Springer
13 years 6 months ago
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
Klara A. Weiand, Steffen Hausmann, Tim Furche, Fra...
RTAS
2010
IEEE
13 years 6 months ago
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
Julien Forget, Frédéric Boniol, Emma...
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
13 years 6 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki