Modern platforms used for high-performance computing (HPC) include machines with both generalpurpose CPUs, and “accelerators”, often in the form of graphical processing units (GPUs). StarPU is a C library to exploit such platforms. It provides users with ways to define tasks to be executed on CPUs or GPUs, along with the dependencies among them, and by automatically scheduling them over all the...

Action language C+ is a high level notation of nonmonotonic causal logic for describing properties of actions. The definite fragment of C+ is implemented in Version 2 of the Causal Calculator (CCALC) based on the reduction of nonmonotonic causal logic to propositional logic. On the other hand, here we present two reformulations of the definite fragment of C+ in terms of different versions of th...

The major part of environments for parallel programming in distributed systems either neglects load distribution support or realizes load distribution by the trivial task farming paradigm. This paper presents new language concepts for the support of application integrated load distribution. In addition to the task farming approach, the system can also dynamically migrate objects. Active objects...

The 2LP system is a step in the “Operatica Program,” a project whose grand design is to provide an elegant and powerful programming language environment for combining AI and OR methods for decision support software systems. The term “Operatica” was coined by J.L. Lassez to suggest an analogy with the Mathematica system which provides a programming environment for symbolic mathematical computati...

Sridhar Narayanan and Melvin A. Breuer have proposed techniques to minimize test application time on circuits using scan-path with a single scan chain. Their main idea is to employ multiplexers to bypass registers that are not frequently accessed in the test process. The obvious question is how many multiplexers should be inserted in the scan chain and where should they be inserted. The work pr...

Natural language programming has proven to be a very challenging task. We present a novel idea which suggests using crowdsourcing to do natural language programming. Our approach asks non-expert workers to provide input/output examples for a task defined in natural language form. We then use a Programming by Example system to induce the intended program from the input/output examples. Our early...

The construction of parallel solutions for numerical problems relates diierent types of languages, for example, speciication languages, programming languages and reasoning languages. Each language has a diierent mechanism for expressing its semantics. An extension of a new speciication language, namely TLA + Lam91b], 1 is introduced, which will be used to specify and develop parallel solutions ...

This paper describes the design of a programming framework for microcontrollers specially ones with low program and data memory, using as base language modern features. The proposed is named Aixt Project took inspiration from other similar projects such Arduino, Micropython TinyGo among others. project’s name inspired on weasel pet V at same time it tribute to Ticuna people who live in Amazon r...