The proceedings contain 19 papers. The topics discussed include: alliance based approach for reducing saturation and congestion in VANETs;an improved K-means cluster-based routing scheme for wireless sensor networks;O...
ISBN:
(纸本)9781538646908
The proceedings contain 19 papers. The topics discussed include: alliance based approach for reducing saturation and congestion in VANETs;an improved K-means cluster-based routing scheme for wireless sensor networks;OL-BaS: efficient data load-balancing for skewed data with approximate load statistics;adaptive credit-based stimulation scheme for dealing with smart selfish nodes in mobile ad hoc network;performance evaluation of TSCH-minimal and orchestra scheduling in IEEE 802.15.4e networks;maximizing profit in cloud computing Using M/G/c/k queuing model;an improved QoE estimation method based on QoS and affective computing;recommendation diversification using a weighted similarity measure in user based collaborative filtering;a collaborative recommendation system for location based social networks;graphical notation and tool to design JCSP programs;rule-based approach for detecting dirty data in discharge summaries;a cooperative solver for single machine total weighted tardiness scheduling problem;secure and lightweight biometric-based remote patient authentication scheme for home healthcare systems;towards privacy and ownership preserving of outsourced health data in IoT-cloud context;verifiable outsourced computation integrity in cloud-assisted big data processing;adaptive content based image retrieval based on rice algorithm selection model;and predator prey optimizer and DTCWT for multimodal medical image fusion.
The proceedings contain 13 papers. The topics discussed include: a calculus of delayed reductions;multicompatibility for multiparty-session composition;termination in concurrency, revisited;typed equivalence of labele...
ISBN:
(纸本)9798400708121
The proceedings contain 13 papers. The topics discussed include: a calculus of delayed reductions;multicompatibility for multiparty-session composition;termination in concurrency, revisited;typed equivalence of labeled effect handlers and labeled delimited control operators;type-directed program transformation for constant-time enforcement;comprehending queries over finite maps;intuitionistic metric temporal logic;strongly-typed multi-view stack-based computations;and polymorphic typestate for session types;additive cellular automata graded-monadically.
The proceedings contain 19 papers. The topics discussed include: a simple view of multiparty session types;on the preciseness of subtyping in session types: 10 years later;higher-order unification for free!: reusing t...
ISBN:
(纸本)9798400709692
The proceedings contain 19 papers. The topics discussed include: a simple view of multiparty session types;on the preciseness of subtyping in session types: 10 years later;higher-order unification for free!: reusing the meta-language unification for the object language;declarative macro-programming of collective systems with aggregate computing: an experience report;hierarchical higher-order port-graphs: a rewriting-based modelling language;on the almost-sure termination of binary sessions;formal verification of executable matrix inversion via adjoint matrix and gaussian elimination;grammar-based pattern matching and type checking for difference data structures;evidence tampering and chain of custody in layered attestations;and towards effective ASP-based stream reasoning: facilitate the reasoning over patterns of events.
The proceedings contain 16 papers. The special focus in this conference is on Functional and Logic programming. The topics include: Term Evaluation systems with Refinements: First-Order, Second-Order, and Contextual I...
ISBN:
(纸本)9789819722990
The proceedings contain 16 papers. The special focus in this conference is on Functional and Logic programming. The topics include: Term Evaluation systems with Refinements: First-Order, Second-Order, and Contextual Improvement;a Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting;tabulation with Zippers;declarative Pearl: Rigged Contracts;System Description: DeepLLM, Casting Dialog Threads into Logic Programs;a Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics;grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description);inferring Non-failure Conditions for Declarative Programs;being Lazy When It Counts Practical Constant-Time Memory Management for Functional programming;MetaOCaml: Ten Years Later System Description;An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage programming;rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming System Description;language-parameterized Proofs for Functional Languages with Subtyping;system Description: A Theorem-Prover for Subregular systems: The Language Toolkit and Its Interpreter, Plebby.
The proceedings contain 13 papers. The topics discussed include: scalable spreadsheet-driven end-user applications with incremental computation;towards an industrial stateful software rejuvenation toolchain using mode...
ISBN:
(纸本)9798400703881
The proceedings contain 13 papers. The topics discussed include: scalable spreadsheet-driven end-user applications with incremental computation;towards an industrial stateful software rejuvenation toolchain using model learning;cloning and beyond: a quantum solution to duplicate code;trustworthy formal natural language specifications;code merging using transformations and member identity;time-awareness in object exploration tools: toward in situ omniscient debugging;could no-code be code? toward a no-code programming language for citizen developers;concept-centric software development: an experience report;toward programming languages for reasoning: humans, symbolic systems, and ai agents;will code remain a relevant user interface for end-user programming with generative AI Models?;and whither problem-solving environments?.
The proceedings contain 47 papers. The topics discussed include: a reliable trust management scheme in wireless sensor networks;balancing heuristic for independent task scheduling in cloud computing;analytical evaluat...
ISBN:
(纸本)9781479976997
The proceedings contain 47 papers. The topics discussed include: a reliable trust management scheme in wireless sensor networks;balancing heuristic for independent task scheduling in cloud computing;analytical evaluation of the impacts of Sybil attacks against RPL under mobility;cluster based key management in VANET networks;the teleoperation of a mobile robot in a network without a quality of service guaranteed;a survey of locality-awareness solutions in mobile DHT systems;dishonest recommendation attacks in wireless sensor networks: a survey;energy efficient routing for mobile underwater wireless sensor networks;distributed energy efficient adaptive clustering protocol with data gathering for large scale wireless sensor networks;and towards an open framework for inter- organizational workflow semantic annotation.
The proceedings contain 28 papers. The topics discussed include: passivity-based finite-time consensus for nonlinear fractional-order multi-agent systems;accelerating GNN inference by soft channel pruning;a multi-obje...
ISBN:
(纸本)9781665452182
The proceedings contain 28 papers. The topics discussed include: passivity-based finite-time consensus for nonlinear fractional-order multi-agent systems;accelerating GNN inference by soft channel pruning;a multi-object detection sampling algorithm for large scenes;comparative study on data sovereignty guarantee technology;cluster-based federated learning framework for intrusion detection;graph-based multi-view partial multi-label learning;hypergraphs: concepts, applications and analysis;traffic speed prediction of road cluster with heterogeneous sampling frequency;multi-selection attention for multimodal aspect-level sentiment classification;deep just-in-time consistent comment update via source code changes;do not have enough data? an easy data augmentation for code summarization;leveraging graph to improve lexicon enhanced Chinese sequence labelling;and parallel accelerating ultra-long read alignment by vertical partitioning data.
Developing real-time systems applications requires programming paradigms that can handle the specification of concurrent activities and timing constraints, and controlling execution on a particular platform. The incre...
详细信息
ISBN:
(纸本)9798350388640;9798350388633
Developing real-time systems applications requires programming paradigms that can handle the specification of concurrent activities and timing constraints, and controlling execution on a particular platform. The increasing need for high-performance, and the use of fine-grained parallel execution, makes this an even more challenging task. This paper explores the state-of-the-art and challenges in real-time parallel application development, focusing on two research directions: one from the high- performance domain (using OpenMP) and another from the real-time and critical systems field (based on Ada). The paper reviews the features of each approach and highlights remaining open issues.
We provide a detailed evaluation of several parallel programming models, emphasizing both performance and energy efficiency in heterogeneous computing systems. The evaluation employs a diverse array of hardware, inclu...
详细信息
ISBN:
(纸本)9798350356045;9798350356038
We provide a detailed evaluation of several parallel programming models, emphasizing both performance and energy efficiency in heterogeneous computing systems. The evaluation employs a diverse array of hardware, including Intel Xeon and AMD Epyc CPUs, along with NVIDIA GPUs featuring Pascal, Turing, and Ampere architectures, and an AMD GPU with Vega10 architecture. We utilize SYCL, OpenMP, CUDA, and HIP for implementing benchmarks in 11 varied application domains, offering a comprehensive perspective on the capabilities of these programming models in diverse computing environments.
programming languages have been trapped in a world of linear textual representations fundamentally unchanged for half a century. Even systems pushing beyond these forms visual languages, projectional language workbenc...
详细信息
ISBN:
(纸本)9798400712159
programming languages have been trapped in a world of linear textual representations fundamentally unchanged for half a century. Even systems pushing beyond these forms visual languages, projectional language workbenches, and end-user programming tools - largely ape the strictures of stream-of-bytes compilers and confine themselves to the popular paradigms of conventional textual systems. Instead of recreating what succeeded in textual paradigms, newprogrammingsystems should also be exploring what did not- the confounding, confusing, convoluted approaches that fell by the wayside- with the sorts of direct manipulation, spatial connection, and change over time that textual languages could never match;and they should use their control of presentation to let the user choose the right representation for a piece of code in the moment- and change it. We argue that these two points unlock new frontiers for programmingsystems, and present preliminary explorations to highlight how multiple-representation environments can lower the pressure on more speculative visual paradigms, to encourage more investigation of this underexamined space.
暂无评论