Sciweavers

172 search results - page 18 / 35
» Program generation for the all-pairs shortest path problem
Sort
View
IJRR
2008
75views more  IJRR 2008»
13 years 7 months ago
Planning Time-Minimal Safe Paths Amidst Unpredictably Moving Obstacles
In this paper we discuss the problem of planning safe paths amidst unpredictably moving obstacles in the plane. Given the initial positions and the maximum speeds of the moving ob...
Jur P. van den Berg, Mark H. Overmars
PODS
1991
ACM
98views Database» more  PODS 1991»
13 years 11 months ago
Minimum and Maximum Predicates in Logic Programming
A novel approach is proposed for ezpresaing and computing eficienily a large cla88 of problem8, including jinding the shortest path in a graph, that were previously considered imp...
Sumit Ganguly, Sergio Greco, Carlo Zaniolo
DAC
1996
ACM
13 years 11 months ago
Using Register-Transfer Paths in Code Generation for Heterogeneous Memory-Register Architectures
In this paper we address the problem of code generation for basic blocks in heterogeneous memory-register DSP processors. We propose a new a technique, based on register-transfer ...
Guido Araujo, Sharad Malik, Mike Tien-Chien Lee
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
14 years 2 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
ICIW
2008
IEEE
14 years 2 months ago
Web Application to Generate Route Bus Timetables
—Bus route system is the fundamental transportation device for aged people and students, and has an important role in every province. However, passengers decreases year by year, ...
Kazunori Toshioka, Takao Kawamura, Kazunori Sugaha...