Forskning vid Uppsala universitet

Ny metod för att söka efter jordlika planeter
18 februari 2021. Med hjälp av ny teknik för att reducera störande ljus vid teleskopobservationer kan jordlika planete ...

Nya biomarkörer öppnar för genombrott i diabetesforskning
16 februari 2021. Med upptäckten av två nya biomarkörer kan Olof Eriksson, forskare i translationell avbildning, vara ...

Professorn som vill bidra till fred på jorden
25 januari 2021. Isak Svensson är, som han beskriver det själv, en produkt av institutionen för freds- och konfliktfo ...
Sök forskningsprojekt
Här hittar du alla forskningsprojekt vid Uppsala universitetet som finansieras av Vetenskapsrådet, Vinnova, Riksbankens Jubileumsfond, Formas och ytterligare ett antal finansiärer. Sökfunktionen bygger på databasen SweCRIS.
Valda filter:
Sökresultat
Ditt val gav 25 träffar
-
Consistency and Persistency: Ensuring Correctness of Concurrent Programs on Non-Volatile Memories
Forskningsprojekt från 2020-12-01 till 2024-11-30
Nonvolatile memories (NVRAMs)} offer the best of two worlds, namely the low latency of DRAM, and the persistency of long term storage.They provide direct access to data in the same way as DRAM, but allow ...
-
2015 IEEE International Symposium on Performance Analysis of Systems and Software
Forskningsprojekt från 2015-11-01 till 2015-11-30
ISPASS is the premier conference for researchers targeting computer system performance. ISPASS is supported by the most prominent organization for computer engineering: IEEE. For the first time since its ...
-
Andra Svenska Workshopen om Multicore Computing, MCC-09
Forskningsprojekt från 2009-11-01 till 2009-11-30
Multicore computers are the main computing platform for the future, and computer system providers have switched to this new technology. In order to benefit form the performance potential of multicore systems ...
-
Ett ramverk för parallelprogrameringsspecifikationer
Forskningsprojekt från 2015-01-01 till 2018-12-31
This project is a direct continuation of the project "A framework for parallel programming models", to accommodate and verify a spectrum of high-level modeling languages. We formally established correctness ...
-
Accelererade Exekveringsmiljöer
Forskningsprojekt från 2021-01-01 till 2024-12-31
Managed languages, such as Java, JavaScript and Haskell, enable better software by abstracting the hardware and removing entire classes of bugs from software development, for example through the use of ...
-
Ett anpassningsbart sensor aktuator system för elefantövervakning
Forskningsprojekt från 2014-01-01 till 2016-12-31
The elephant human conflict is a major problem in Sri Lanka that causes the death of 150 elephants and 60 humans per year. Further, the damage caused by elephants to property and crop is tens of thousands ...
-
Application-specific Coherence for Concurrent Acceleration of Managed Language
Forskningsprojekt från 2020-01-01 till 2023-12-31
Managed languages dominate computing: enterprises run Java/C#, Python drives AI, and the web runs on JavaScript. This success comes from the productivity of automating common error-prone tasks (such as ...
-
Att möjliggöra datanära exekvering för kommande beräkningsproblem
Forskningsprojekt från 2019-01-01 till 2022-12-31
In this proposal, we aim to explore solutions to address the memory system bottleneck for important emerging applications (Big Data, Graph Analytics, Data Mining, etc). For this class of computing there ...
-
Drönare för att upptäcka svårtillgängliga tillväxtplatser för mygg
Forskningsprojekt från 2019-01-01 till 2020-12-31
Dengue and Zika are arboviral viruses that affect a significant portion of the world population causing many deaths. While there is no direct correlation between the income level and the possibility of ...
-
Operations in Thin Air: Battery-free Wide-Area IoT Networks
Forskningsprojekt från 2019-01-01 till 2022-12-31
Wireless sensor networks and the Internet of Things (IoT) are expected to be the next computing revolution to enable smart and interactive environments, goods and services. One of the key obstacle of IoT ...
-
Effektiv Hantering av Kvantifierare i SMT-Lösare
Forskningsprojekt från 2015-01-01 till 2018-12-31
Satisfiability Modulo Theories (SMT) is a paradigm for constructing solvers for logical constraints modulo various background theories. Due to their efficiency and flexibility, SMT solvers are widely used ...
-
Effektiv modellering av heterogena datorsystem i eran av Dark Silicon
Forskningsprojekt från 2013-01-01 till 2016-12-31
The concept of this project is to enable productive optimization of parallel heterogeneous systems by providing rapid energy and performance feedback to the software developer, hardware developer (architect ...
-
Energi-effektiva sensornät med riktbara antenner
Forskningsprojekt från 2014-01-01 till 2016-12-31
Wireless sensor networks consist of small embedded computing devices that are equipped with sensors and communicate wirelessly. They enable numerous applications such as environmental monitoring, surveillance ...
-
Snabb och noggrann modellering av datorsystem
Forskningsprojekt från 2013-01-01 till 2015-12-31
The complexity of modern computers systems have increased in many dimensions over the last decades: complex out-of-order processors, deep memory hierarchies and several cores on a chip. It is widely believed ...
-
Hållbara sensorer i framtidens fabriker
Forskningsprojekt från 2018-11-30 till 2019-11-29
Syfte och mål: To enable factories of the future around the vision of Industry 4.0 collection of large scale data at factories is essential. This is to enable the use of various machine learning tools ...
-
Nyttjande av multivärdeslogik för att modulera approximation för framtida nanoteknologier
Forskningsprojekt från 2016-01-01 till 2019-12-31
For the past five decades, computer performance has enabled incredible scientific and societal advancements. Yet today´s systems are energy limited, which severely hampers any further improvements. To ...
-
Modellgenerering och testning med användning av automatainlärning
Forskningsprojekt från 2012-01-01 till 2015-12-31
Model-based approaches to verification and validation are becoming increasingly important as a means to control the effort in development of complex component-based systems. Models, however, are not always ...
-
Transmission av flera paket till energikostnaden för ett: en ny paradigm för energisnåla IoT nätverk
Forskningsprojekt från 2018-01-01 till 2021-12-31
The Internet of Things (IoT) is expected to comprise more than 50 billion devices. Many of these devices will be sensors and actuators and to unleash their full potential, one cannot rely on battery-driven ...
-
Proktive hantering av minneshierarkier
Forskningsprojekt från 2015-01-01 till 2018-12-31
The memory hierarchy is critical for a computer´s performance and power efficiency. However, today´s memory hierarchies are reactive and brute-force, repeatedly replicating and moving data, resulting in ...
-
Skalbar Flyttalsverifiering för Inbyggda System: Metoder och Verktyg
Forskningsprojekt från 2012-01-01 till 2014-12-31
Safety in numerous domains such as transportation and health relies on sophisticated software that is the core of embedded computing devices. Many such devices process real-valued quantities, represented ...
-
Tidsanalys för framtida inbyggda system
Forskningsprojekt från 2012-01-01 till 2015-12-31
In many safety-critical applications, embedded computer systems must react to their environment in real-time. The designers must predict and make sure at design time that given timing constraints such ...
-
Trådlösa robotmaterial
Forskningsprojekt från 2018-11-30 till 2019-11-29
Syfte och mål: Based on e.g. changes in the physical environment, wireless robotic materials self-modify their physical properties by changing e.g. shape, color, stiffness, texture or permeance. Considering ...
-
VeriDeep: Programverifiering med hjälp av Maskininlärning
Forskningsprojekt från 2019-01-01 till 2022-12-31
We propose research towards new techniques for automatic program analysis, focusing on the functional correctness properties that are essential when specifying and developing software libraries, frameworks ...
-
Verifiering av Svaga Memory Modeller
Forskningsprojekt från 2013-01-01 till 2016-12-31
It is now common knowledge that software systems have to be designed to run in parallel on chips that contain several processors (cores). While parallelism is crucial for obtaining efficiency, it also ...
-
Verifiering av Parallell Mjukvara
Forskningsprojekt från 2015-01-01 till 2018-12-31
Our society is becoming increasingly dependent on complex computer systems. In communication, transportation, household appliances, industrial process control, health care, and many other areas, computers ...
Visar 25 av 25 träffar
Forskning i fokus: Det nya coronaviruset

Hjärnskada kan påvisas hos covid-19-patienter
17 februari 2021. Många covid-19-patienter har neurologiska symtom, men rutinprover visar oftast inte någon hjärnpåver ...

Bred immunitet mot covid-19 efter nio månader
16 februari 2021. Av de personer som utvecklade antikroppar mot SARS-CoV-2 i våras har 96 procent kvar dessa nio månad ...

Begränsad samhällsspridning med öppet högstadium men lärarna blev sjukare
12 februari 2021. De flesta länder i världen stängde sina skolor under våren 2020 trots stor osäkerhet kring hur det p ...
Publikationer

Forskarutbildning

Samarbete i forskning och utveckling

Forskningsutmaningar


