English
Related papers

Related papers: Distributed WWW Programming using (Ciao-)Prolog an…

200 papers

Urgent computing workloads are time critical, unpredictable, and highly dynamic. Whilst efforts are on-going to run these on traditional HPC machines, another option is to leverage the computing power donated by volunteers. Volunteer…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-12-29 Nick Brown , Simon Newby

This paper presents a general xml-based distributed software architecture in the aim of accessing and sharing resources in an opened client/server environment. The paper is organized as follows : First, we introduce the idea of a "General…

Software Engineering · Computer Science 2009-09-14 Samuel Cruz-Lara , Patrice Bonhomme , Christophe De Saint-Rat , Laurent Romary

Numerous administration tools and techniques require near real time vision of the activity occurring on a distributed filesystem. The changelog facility provided by Lustre to address this need suffers limitations in terms of scalability and…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-05-12 Henri Doreau

This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemented by use of tabling. During search, every state…

Artificial Intelligence · Computer Science 2020-02-19 Neng-Fa Zhou , Roman Bartak , Agostino Dovier

The adoption of WebAssembly has rapidly increased in the last few years as it provides a fast and safe model for program execution. However, WebAssembly is not exempt from vulnerabilities that could be exploited by side channels attacks.…

Software Engineering · Computer Science 2021-10-14 Javier Cabrera Arteaga , Orestis Malivitsis , Oscar Vera Pérez , Benoit Baudry , Martin Monperrus

Prolog is a well-known declarative programming language commonly used in introductory courses on logic and reasoning. However, many students find Prolog challenging because it lacks the familiar debugging mechanisms found in imperative…

Programming Languages · Computer Science 2026-05-27 Ricardo Brancas , Vasco Manquinho , Ruben Martins

Considering the market's competitiveness and the complexity of organizations and projects, analyzing data is crucial to decision support on software development and project management processes. These practices are essential to increase…

Information Retrieval · Computer Science 2022-11-28 Andre Nobre Barrocas , Alberto Rodrigues da Silva , Joao Paulo Saraiva

Natural language (NL) programming has become more approachable due to the powerful code-generation capability of large language models (LLMs). This shift to using NL to program enhances collaborative programming by reducing communication…

Human-Computer Interaction · Computer Science 2024-06-18 Li Feng , Ryan Yen , Yuzhe You , Mingming Fan , Jian Zhao , Zhicong Lu

In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based ECLiPSe system using declarative techniques like constraint logic programming and…

Programming Languages · Computer Science 2014-12-16 Sergii Dymchenko , Mariia Mykhailova

The idle time of personal computers has increased steadily due to the generalization of computer usage and cloud computing. Clustering research aims at utilizing idle computer resources for processing a variable workload on a large number…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-25 Geunsik Lim , Minho Lee , R. J. W. E. Lahaye , Young Ik Eom

The high demand for computer science education has led to high enrollments, with thousands of students in many introductory courses. In such large courses, it can be overwhelmingly difficult for instructors to understand class-wide…

Human-Computer Interaction · Computer Science 2024-04-17 Ashley Ge Zhang , Xiaohang Tang , Steve Oney , Yan Chen

W3C's XML-Query language offers a powerful instrument for information retrieval on XML repositories. This article describes an implementation of this retrieval in a real world's scenario. Distributed XML-Query processing reduces load on…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Christian Thiemann , Michael Schlenker , Thomas Severiens

This paper introduces Ciw, an open source library for conducting discrete event simulations that has been developed in Python. The strengths of the library are illustrated in terms of best practice and reproducibility for computational…

Performance · Computer Science 2017-10-11 Geraint I. Palmer , Vincent A. Knight , Paul R. Harper , Asyl L. Hawa

Large Language Models for Code (or code LLMs) are increasingly gaining popularity and capabilities, offering a wide array of functionalities such as code completion, code generation, code summarization, test generation, code translation,…

Software Engineering · Computer Science 2024-10-18 Rahul Krishna , Rangeet Pan , Raju Pavuluri , Srikanth Tamilselvam , Maja Vukovic , Saurabh Sinha

In recent IoT (Internet of Things) and Web 2.0 technologies, a critical problem arises with respect to storing and processing the large amount of collected data. In this paper we develop and evaluate distributed infrastructures for storing…

Databases · Computer Science 2014-04-04 S. Sioutas , E. Sakkopoulos , A. Panaretos , D. Tsoumakos , P. Gerolymatos , G. Tzimas , Y. Manolopoulos

Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations…

Programming Languages · Computer Science 2022-05-10 David Geleßus , Michael Leuschel

The performance of data intensive applications is often dominated by their input/output (I/O) operations but the I/O stack of systems is complex and severely depends on system specific settings and hardware components. This situation makes…

Performance · Computer Science 2023-06-12 Masoud Gholami , Florian Schintke

With the ever-increasing volume of data, there is an urgent need to provide expressive and efficient tools to support Big Data analytics. The declarative logical language Datalog has proven very effective at expressing concisely graph,…

Databases · Computer Science 2022-09-07 Mingda Li , Jin Wang , Guorui Xiao , Youfu Li , Carlo Zaniolo

XML is based on two essential aspects: the modelization of data in a tree like structure and the separation between the information itself and the way it is displayed. XML structures are easily serializable. The separation between an…

Software Engineering · Computer Science 2009-02-19 Claude Pasquier , Laurent Théry

Code executability plays a vital role in software debugging and testing (e.g., detecting runtime exceptions or assertion violations). However, code execution, especially partial or arbitrary code execution, is a non-trivial task due to…

Software Engineering · Computer Science 2024-07-25 Zhipeng Xue , Zhipeng Gao , Shaohua Wang , Xing Hu , Xin Xia , Shanping Li