5 European Projects Found
Searched on 125080 European Projects
FINISHED
Large-scale computation without synchronisation (SyncFree)
Start date: Oct 1, 2013, End date: Sep 30, 2016,
The goal of SyncFree is to enable large-scale distributed applications without global synchronisation, by exploiting the recent concept of Conflict-free Replicated Data Types (CRDTs). CRDTs allow unsynchronised concurrent updates, yet ensure data consistency. This revolutionary approach maximises responsiveness and availability; it enables locating data near its users, in decentralised clouds.Glob ...
Read Project
13
Partners Participants
FINISHED
Property-based testing of Web services (PROWESS)
Start date: Oct 1, 2012, End date: Oct 31, 2015,
This project will develop advanced software engineering technologies suitable for the networked, distributed dimension of software and access to services and data (Objective 1.2). Specifically, we develop approaches to improve quality assurance: the challenge is to reduce time spent on testing, whilst increasing software quality, in order to quickly launch new, or enhancements of existing, web ser ...
Read Project
6
Partners Participants
FINISHED
Parallel Patterns for Adaptive Heterogeneous Multicore Systems (ParaPhrase)
Start date: Oct 1, 2011, End date: Mar 31, 2015,
... have alternative parallel implementations, we will be able to redeploy/refactor parallel components to dynamically match the available hardware resources.One large scale company (MELLANOX), one SME (ERLANG SOLUTIONS) and an Austrian software competence centre (SCCH) with strong links to industry will exploit the project results in a commercial context. ParaPhrase will strengthen their respective ...
Read Project
13
Partners Participants
FINISHED
A High-Level Paradigm for Reliable Large-scale Server Software (RELEASE)
Start date: Oct 1, 2011, End date: Feb 28, 2015,
... radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. The trend-setting language we will use is Erlang/OTP which has concurrency and robustness designed in. Currently Erlang/OTP has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of ...
Read Project
8
Partners Participants
FINISHED
Property-based Testing (ProTest)
Start date: May 1, 2008, End date: Dec 31, 2011,
...order to bring insights into what practical tools are required, what properties will need to be checked and strategies to maximise industrial impact. The initial implementation vehicle will be Erlang/OTP (Open Telecom Platform) developed by Ericsson in the early nineties. It is an open-source concurrent functional language aimed at telecoms and internet services and represents a common instrument ...
Read Project
