Sciweavers

296 search results - page 24 / 60
» A Rewriting Framework for Rule-Based Programming Dynamic App...
Sort
View
LADS
2009
Springer
14 years 15 days ago
Temporal Planning in Dynamic Environments for P-CLAIM Agents
—Time and uncertainty of the environment are very important aspects in the development of real world applications. Another important issue for the real world agents is, the balan...
Muhammad Adnan Hashmi, Amal El Fallah-Seghrouchni
ICFP
2008
ACM
14 years 7 months ago
Write it recursively: a generic framework for optimal path queries
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
Akimasa Morihata, Kiminori Matsuzaki, Masato Takei...
AOSD
2008
ACM
13 years 10 months ago
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
Guoqing Xu, Atanas Rountev
ICS
2001
Tsinghua U.
14 years 11 days ago
Global optimization techniques for automatic parallelization of hybrid applications
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
Dhruva R. Chakrabarti, Prithviraj Banerjee
LSSC
2007
Springer
14 years 2 months ago
Optimization Based Stabilization of Nonlinear Control Systems
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
Lars Grüne