Sciweavers

684 search results - page 86 / 137
» Compiler Tools in APL
Sort
View
CRIWG
2008
13 years 11 months ago
Integrating Collaborative Program Development and Debugging within a Virtual Environment
A collaborative integrated development environment enables developers to share programming-related tasks. This paper presents the design and implementation of a collaborative IDE n...
Hani Bani-Salameh, Clinton Jeffery, Ziad Al-Sharif...
CASCON
2003
89views Education» more  CASCON 2003»
13 years 11 months ago
Removing false code dependencies to speedup software build processes
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code ï¬...
Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos
IJCAI
2001
13 years 11 months ago
A Framework for Declarative Update Specifications in Logic Programs
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
WSS
2001
111views Control Systems» more  WSS 2001»
13 years 11 months ago
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary
Abstract. We study a special type of self-stabilizing algorithms composition : the cross-over composition (A B). The cross-over composition is the generalization of the algorithm c...
Joffroy Beauquier, Maria Gradinariu, Colette Johne...
AAAI
2000
13 years 11 months ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin