4 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Large-scale computation without synchronisation (SyncFree)
Date du début: 1 oct. 2013, Date de fin: 30 sept. 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 ...
Voir le projet
13
Participants partenaires
TERMINÉ
Property-based testing of Web services (PROWESS)
Date du début: 1 oct. 2012, Date de fin: 31 oct. 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 ...
Voir le projet
6
Participants partenaires
TERMINÉ
A High-Level Paradigm for Reliable Large-scale Server Software (RELEASE)
Date du début: 1 oct. 2011, Date de fin: 28 févr. 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 ...
Voir le projet
8
Participants partenaires
TERMINÉ
Property-based Testing (ProTest)
Date du début: 1 mai 2008, Date de fin: 31 déc. 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 ...
Voir le projet