Entity

Time filter

Source Type

Zaltbommel, Netherlands

Vector Fabrics, B.V. is a software-development tools vendor based in Eindhoven, The Netherlands. They develop tools for programming multicore platforms. Vector Fabrics says to help software developers and OEMS that struggle to write error-free and efficient code for multicore and manycore processors. Wikipedia.


Holdermans S.,Vector Fabrics
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 | Year: 2013

Algebraic specification, equational reasoning, and property-based random testing provide functional programmers with a powerful yet reasonably lightweight framework for reasoning about abstract datatypes and assuring the quality of their concrete implementations. However, as it turns out, naïvely implementing property-based random testing for purely functional abstract datatypes is prone to subtle errors and may well leave unaware practitioners with a false sense of security about their datatype implementations. In this paper, we pinpoint one particular pitfall, namely overlooking the need to take into account the invariance of datatype operations under an implied equivalence relation on concreate datatype values, and discuss how to systematically avoid it. Presented in the context of a concrete case study, the proposed technique generalises nicely into a common design principle for engineering random tests of purely functional datastructures. © 2013 ACM. Source


Swierstra W.,Vector Fabrics
Higher-Order and Symbolic Computation | Year: 2010

Locality-aware algorithms over distributed arrays can be very difficult to write. Yet such algorithms are becoming more and more important as desktop machines boast more and more processors. This paper shows how a dependently-typed programming language can aid in the development of these algorithms and statically ensure that every well-typed program will only ever access local data. Such static guarantees can help catch programming errors early on in the development cycle and maximise the potential speedup that multicore machines offer. At the same time, the functional specification of effects presented here acilitates the testing of and reasoning about algorithms that manipulate distributed arrays. © 2011 The Author (s). Source


News Article | April 23, 2013
Site: www.gartner.com

To purchase this document, you will need to register or sign in above. The embedded software and systems market is booming, with an array of tools for equipment manufacturers and suppliers, including those to reduce application development time and cost and intelligent, smartphone-friendly, portable medical devices. We review providers offering these solutions.


Patent
Vector Fabrics | Date: 2010-06-01

A computer-implemented method of automatically generating an embedded system on the basis of an original computer program, comprising analyzing the original computer program, comprising a step of compiling the original computer program into an executable to obtain data flow graphs with static data dependencies and a step of executing the executable using test data to provide dynamic data dependencies as communication patterns between load and store operations of the original computer program, and a step of transforming the original computer program into an intermediary computer program that exhibits multi-threaded parallelism with inter-thread communication, which comprises identifying at least one static and/or dynamic data dependency that crosses a thread boundary and converting said data dependency into a buffered communication channel with read/write access.


Patent
Vector Fabrics | Date: 2015-07-13

A computer-implemented method of automatically generating an embedded system on the basis of an original computer program, comprising analyzing the original computer program, comprising a step of compiling the original computer program into an executable to obtain data flow graphs with static data dependencies and a step of executing the executable using test data to provide dynamic data dependencies as communication patterns between load and store operations of the original computer program, and a step of transforming the original computer program into an intermediary computer program that exhibits multi-threaded parallelism with inter-thread communication, which comprises identifying at least one static and/or dynamic data dependency that crosses a thread boundary and converting said data dependency into a buffered communication channel with read/write access.

Discover hidden collaborations