Araştırma Çıktıları

Araştırma Projeleri Veritabanı

Boğaziçi Üniversitesi araştırmacılarının yürüttüğü ulusal ve uluslararası projeler.

11 proje bulundu

Sonuçlandı 58000301 2019

SRC-2020-AH-2970

M. Alper Şen

Semiconductor Research Corporation (SRC) Uluslararası

Yürürlükte 19A01D2 2019

Mobil Uygulamalar için Biçimsel Belirtimler Kullanarak Test Üretimi

M. Alper Şen

BAP Doktora

Sonuçlandı 17A01P8 2017

Sanal Prototipler için Hata Tahminleme

M. Alper Şen

BAP Standart

Sonuçlandı 7223P 2013

Yüksek Seviyedeki Modellerden Çok İşlemcili Mobil Platformlar için Sentetik Uygulama Üretilmesi

M. Alper Şen

BAP Standart

Yürürlükte 2010-HJ-2082 2012

System Level Verification and Debugging of Embedded Multicores

M. Alper Şen

Semiconductor Research Corporation (SRC) Uluslararası

Sonuçlandı 53000195 2010

Reliable Embedded Systems Using Multicore and Message Passing-Amendment-1

M. Alper Şen

Semiconductor Research Corporation (SRC) Diğer Uluslararası

Sonuçlandı 5483P 2010

Grafik İşlemci Birimleri Kullanarak Paralel Mantık Benzetimi

M. Alper Şen

BAP Standart

Sonuçlandı 2082.001 2010

Reliable Embedded System using Multicore and Message passing Architectures

M. Alper Şen

Semiconductor Research Corporation (SRC) Uluslararası

Sonuçlandı 58000028 2009

Predictive Techniques for System Level Analysis of Multi-Processors

M. Alper Şen

Avrupa Birliği FP7 - PEOPLE

Sonuçlandı 09HA101P 2009

Fonksiyonel Tasarım Doğrulaması için Kapsama Ölçütlerinin Geliştirilmesi

M. Alper Şen

BAP Standart

Sonuçlandı 224860 2009

Predictive Techniques for System Level Analysis of Multi-Processor

M. Alper Şen

Avrupa Birliği FP7 - PEOPLE