Sciweavers

684 search results - page 86 / 137
» Compiler Tools in APL
Sort
View
134
Voted
CRIWG
2008
15 years 4 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...
115
Voted
CASCON
2003
89views Education» more  CASCON 2003»
15 years 4 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
110
Voted
IJCAI
2001
15 years 4 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...
105
Voted
WSS
2001
111views Control Systems» more  WSS 2001»
15 years 4 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...
122
Voted
AAAI
2000
15 years 4 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