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 17 träffar
-
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 ...
-
ProFun: Programmeringsplattform för trådlösa sensornätverk
Forskningsprojekt från 2009-01-01 till 2015-06-30
Vårt forskningsmål är att bygga en programmeringsplattform för trådlösa sensornät (WSN) där sensorerna kan programmeras kollektivt snarare än individuellt, med fokus på tjänster från hela nätet snarare ...
-
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 ...
-
CoDeR-MP: Realtidssystem på flerkärniga plattformar
Forskningsprojekt från 2009-01-01 till 2014-12-31
Inbyggda datorsystem som utför krävande beräkningar med starkt begränsade tidsramar och resurser är en kritisk del i viktiga svenska industriprodukter i många viktiga sektorer. Svensk industri står nu ...
-
Utveckling av skalbara parallella datastrukturer: metoder och verktyg
Forskningsprojekt från 2016-01-01 till 2019-12-31
The introduction of multicores in virtually all computing platforms, implies that software development must exploit parallelism increase performance. The scalability of program performance critically depends ...
-
Effektiva testningstekniker för att hitta samtidighetsrelaterade fel i mjukvara
Forskningsprojekt från 2018-01-01 till 2021-12-31
Concurrency has become ubiquitous and necessary nowadays in order to leverage the power of multi-cores. At the same time, concurrent programming is considerably more error-prone, not only due to non-determinism ...
-
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 ...
-
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 ...
-
SCADA: Skalbar Data för Parallellism Överallt
Forskningsprojekt från 2015-01-01 till 2018-12-31
Parallel computers are pervasive, and future computers of all scales will be provide their power through parallelism. Thus, all applications will need to be parallel to exploit the available computing ...
-
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 ...
-
Strukturerad aliasering
Forskningsprojekt från 2013-01-01 till 2016-12-31
Object-oriented programming builds on aliasing and mutable state. It is well-known that these combined cause problems for programmers, tool developers and formalists. Creating and managing aliases and ...
-
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 ...
-
Tillförlitliga skalbara bevismetoder för flyttal
Forskningsprojekt från 2018-01-01 till 2021-12-31
Recently, SMT solvers have acquired the ability to reason about floating-point arithmetic. Because of their pervasive use and their potentially surprising semantics, the verification of floating-point ...
-
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 ...
Visar 17 av 17 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


