This paper investigates the application of the B method beyond the classical algorithmic level provided by the B0 sub-language, and presents refinements of B models at a level of precision equivalent to assembly language. We claim and justify that this extension provides a more reliable software development process as it bypasses two of the less trustable steps in the application of the B metho...

The integration of a task parallel skeleton into a functional programming language is presented. Task parallel skeletons, as other algorithmic skeletons, represent general parallelization patterns. They are introduced into otherwise sequential languages to enable the development of parallel applications. Into functional programming languages, they naturally are integrated as higher-order functi...

This article conceptualizes algorithmic consumer culture, and offers a framework that sheds new light on two previously conflicting theorizations: (1) digitalization tends to liquefy culture thus acts primarily as an empowering force, (2) digitalized marketing big data surveillance practices tend deprive consumers of all autonomy. By drawing critical social theories algorithms AI, we define his...

Field programmable gate arrays (FPGAs) can accelerate image processing by exploiting finegrained parallelism opportunities in image operations. FPGA language designs are often subsets or extensions of existing languages, though these typically lack suitable hardware computation models so compiling them to FPGAs leads to inefficient designs. Moreover, these languages lack image processing domain...