CAREER: Parallel and distributed Constraint Programming: methodologies, applications, and educational opportunities

9875279 Pontelli，EnricoThe这个职业生涯项目的目标是研究在并行和分布式架构上执行约束逻辑程序的技术和方法。这些模型适用于复杂和不规则的符号应用程序的隐式和显式并行化，例如自然语言处理，基于知识的系统和数字图书馆中出现的那些。并行化是通过新的编译时分析算法和有效的运行时进程和内存管理方案来实现的。 该模型还用于支持万维网编程的抽象框架，基于分布式约束逻辑编程和嵌入专门的约束域，元编程扩展和Web通信协议。所创建的框架用于软件组件的基于规则的协调。该项目的活动预计将推进这些研究领域的最新技术，并将知识注入NMSU的并行计算和编程语言教育计划。教育的发展依赖于课程的开发和采用新的教学方法以及与现有教育基础设施的合作。还强调改善少数群体在这些领域的参与。

9875279 Pontelli, EnricoThe goal of this CAREER project is to study techniques and methodologies for execution of constraint logic programs on parallel and distributed architectures. These models are applied to implicit and explicit parallelization of complex and irregular symbolic applications, such as those arising in Natural Language Processing, Knowledge-based Systems, and Digital Libraries. Parallelization is achieved through novel compile-time analysis algorithms and efficient run-time process and memory management schemes. The models are also employed to support an abstract framework for World-Wide-Web programming, based on distributed constraint logic programming and embedding specialized constraint domains, meta-programming extensions, and Web communication protocols. The framework created serves for rule-based coordination of software components. The activities of this project are expected to advance the state-of-the-art in these research areas and infuse knowledge into NMSU's parallel computing and programming languages educational programs. The educational development relies on curriculum development and on the introduction of novel teaching methodologies and collaborations with existing educational infrastructures. Emphasis is also placed on improving Minority participation in these fields.