Concurrent Programming Wim
نویسنده
چکیده
منابع مشابه
mHume for parallel FPGA
The formally motivated Hume language, based on the coordination of concurrent automata performing functional computations, was designed to support the development of systems requiring strong assurance that resource bounds are met. mHume is an experimental subset oriented to exploration of efficient heterogeneous multi-processors implementations. In this paper, the deployment of mHume on the FPG...
متن کاملStatic Application-Level Race Detection in STM Haskell using Contracts
Writing concurrent programs is a hard task, even when using high-level synchronization primitives such as transactional memories together with a functional language with well-controlled side-effects such as Haskell, because the interferences generated by the processes to each other can occur at different levels and in a very subtle way. The problem occurs when a thread leaves or exposes the sha...
متن کاملHume to FPGA
Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of coordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability a...
متن کاملGannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip
There is a growing demand for solutions which allow the design of large and complex reconfigurable Systems-on-Chip (SoC) at high abstraction levels. The Gannet project proposes a functional programming approach for high-abstraction design of very large SoCs. Gannet is a distributed service-based SoC architecture, i.e. a network of services offered by hardware or software cores. The Gannet SoC p...
متن کاملEffective Teaching in Case-based Education: Patterns in Teacher Behavior and Their Impact on the Students’ Clinical Problem Solving and Learning
Case-based learning formats, in which relevant case information is provided just in time, require teachers to combine their scaffolding role with an information-providing one. The objective of this study is to establish how this combination of roles affects teacher behavior and that, in turn, mediates students’ reasoning and problem solving. Data on actual behaviors, intentions, effects and app...
متن کامل