Results 1 - 10 of 1383
[PROJECT] PHYLAWS - PHYsical LAyer Wireless Security
ID: 317562
Start date: 2012-11-01, End date: 2016-10-31
One of the weaknesses of wireless communications is the easy capture of the radiated signals by eavesdroppers, which enhances the risks of using these signals or acting on them by un-authorized persons. Given the prevalence of wireless technologies, their security and the rel...
Programme: FP7-ICT
Record Number: 105853
Last updated on: 2017-07-09
[PROJECT] TERAMICROSYS - Terahertz microsystems - Enabling the large-scale exploitation of the terahertz gap
ID: 616846
Start date: 2014-04-01, End date: 2019-03-31
This project envisions the wide-spread use of THz technology in various applications in our society, which is enabled by the proposed THz microsystems, providing an unprecedented way of creating highly-integrated, volume-manufacturable, cost and energy-efficient, reconfigurab...
Programme: FP7-IDEAS-ERC
Record Number: 185641
Last updated on: 2017-07-02
[REPORT SUMMARY] Final Report Summary - DOPPLER (Domain-optimised parallelisation by polymorphic language embeddings and rewritings)
How can we build high performance software with low effort when CPU clock speeds are stagnating and multi-core CPUs, SIMD units and GPUs are commonplace from data centers all the way down to mobile phones? Project DOPPLER set out to solve this challenge through cutting-edge PL...
Programme: FP7-IDEAS-ERC
Record Number: 187217
Last updated on: 2016-07-20
[PROJECT] DOPPLER - Domain-optimised parallelisation by polymorphic language embeddings and rewritings
ID: 268073
Start date: 2011-04-01, End date: 2016-03-31
Concurrent and parallel programming are becoming indispensable for exploiting modern hardware. Because possible speed increases of single processors have reached their limit, increasing transistor count will yield more, but not necessarily faster cores, and this for the fores...
Programme: FP7-IDEAS-ERC
Record Number: 97925
Last updated on: 2017-07-02
The main research goal of this project was the quest for rigorous mathematical theory explaining the power and failure of heuristics. A large family of heuristics consists of preprocessing techniques, also known as data reduction or kernelization. Preprocessing means reducing...
Programme: FP7-IDEAS-ERC
Record Number: 187194
Last updated on: 2016-07-20
[PROJECT] PREPROCESSING - RIGOROUS THEORY OF PREPROCESSING
ID: 267959
Start date: 2011-04-01, End date: 2016-03-31
The main research goal of this project is the quest for rigorous mathematical theory explaining the power and failure of heuristics. The incapability of current computational models to explain the success of heuristic algorithms in practical computing is the subject of wide d...
Programme: FP7-IDEAS-ERC
Record Number: 97611
Last updated on: 2017-06-26
[REPORT SUMMARY] Final Report Summary - VERIWARE (From Software Verification to Everyware Verification)
“It is the start of school term and Amy is getting her daughter Ariel ready for school. She checks her smartwatch, which advises her to reduce stress and exercise more. Ariel has chronotropic deficiency and does not tolerate exercise, but she has been much better since she...
Programme: FP7-IDEAS-ERC
Record Number: 189599
Last updated on: 2016-10-07
[PROJECT] VERIWARE - From Software Verification to Everyware Verification
ID: 246967
Start date: 2010-05-01, End date: 2016-04-30
In the words of Adam Greenfield, the age of ubiquitous computing is here: a computing without computers, where information processing has diffused into everyday life, and virtually disappeared from view . Conventional hardware and software has evolved into everyware sensor-en...
Programme: FP7-IDEAS-ERC
Record Number: 94340
Last updated on: 2017-06-26
[REPORT SUMMARY] Mid-Term Report Summary - LBCAD (Lower bounds for combinatorial algorithms and dynamic problems)
The project so far led to several new discoveries and many other results which substantially deepen our understanding of computational complexity. The most suprising is the discovery of the concept of catalytic computation which runs counter to the usual lower-bound intuition...
Programme: FP7-IDEAS-ERC
Record Number: 191604
Last updated on: 2016-11-21
[PROJECT] LBCAD - Lower bounds for combinatorial algorithms and dynamic problems
ID: 616787
Start date: 2014-02-01, End date: 2019-01-31
This project aims to establish the time complexity of algorithms for two classes of problems. The first class consists of problems related to Boolean matrix multiplication and matrix multiplication over various semirings. This class contains problems such as computing transit...
Programme: FP7-IDEAS-ERC
Record Number: 192410
Last updated on: 2017-06-26
List retrieved on: 2017-07-10
