Sciweavers

10899 search results - page 269 / 2180
» The GP Programming System
Sort
View
VLDB
1987
ACM
100views Database» more  VLDB 1987»
15 years 10 months ago
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
A Datalog program can be translated into a system of fixpoint equations of relational algebra; this paper studies how such a system can be solved and optimized for a particular qu...
Stefano Ceri, Letizia Tanca
INFORMS
1998
126views more  INFORMS 1998»
15 years 6 months ago
An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...
E. Andrew Boyd, Rusty Burlingame, Kenneth Lindsay
CSMR
2000
IEEE
15 years 11 months ago
Analyzing Java Software by Combining Metrics and Program Visualization
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
Tarja Systä, Ping Yu, Hausi A. Müller
BMCBI
2010
112views more  BMCBI 2010»
15 years 6 months ago
A parameter-adaptive dynamic programming approach for inferring cophylogenies
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
Daniel Merkle, Martin Middendorf, Nicolas Wieseke
AOSD
2009
ACM
15 years 9 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng