Jsspe: A Symbolic partial evaluator for javascript
Başlık çevirisi mevcut değil.
- Tez No: 725758
- Danışmanlar: DR. CHRİSTOPH CSALLNER
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2018
- Dil: İngilizce
- Üniversite: The University of Texas at Arlington
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 79
Özet
Özet yok.
Özet (Çeviri)
Currently, JavaScript is one of the mostly used programming languages for Web and Mobile platforms. This brings a large demand for optimization and smarter resource allocation of the applications written in JavaScript. Partial evaluation is a program transformation technique which rewrites a program by evaluating it with respect to its known variables. Recently, Facebook proposed Prepack: A partial evaluator for JavaScript which will make original program shorter and faster by performing both concrete and symbolic evaluation (concolic evaluation). Although it is proposed as a planned improvement, symbolic evaluation engine currently does not implement an SMT solver. In this work, a JavaScript symbolic partial evaluator (JSSpe) is designed using Babel plugin and it is connected to the Microsoft-Z3 SMT solver to investigate its contribution to its performance. Several test scenarios are experimented in order to show the performance enhancements through using an SMT solver in partial evaluator design.
Benzer Tezler
- Yapay alg algoritması tabanlı dağıtık iş atölyesi çizelgeleme problemlerinin optimizasyonu
Optimization of distributed job shop scheduling problems based on artificial algae algorithm
OKAN UZUNOĞLU
Yüksek Lisans
Türkçe
2025
Elektrik ve Elektronik MühendisliğiSelçuk ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. MEHMET AKİF ŞAHMAN
- Tekrar işlemeli esnek atölye tipi çizelgeleme problemi için yapay bağışıklık sistemi ile bir çözüm yaklaşımı
A solution approach for flexible job shop scheduling problem with reentrant process using artificial ummune system
ALPER ALADAĞ
Yüksek Lisans
Türkçe
2010
Endüstri ve Endüstri MühendisliğiEskişehir Osmangazi ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. AYDIN SİPAHİOĞLU
- A hybrid evolutionary algorithm for multi-objective flexible job shop problems
Çok amaçlı esnek atölye tipi çizelgeleme problemlerine yönelik hibrit evrimsel bir algoritma
ALPER TÜRKYILMAZ
Doktora
İngilizce
2023
Endüstri ve Endüstri MühendisliğiMarmara ÜniversitesiMühendislik Yönetimi Ana Bilim Dalı
PROF. DR. SEROL BULKAN
DOÇ. DR. ÖZLEM ŞENVAR
- Arap lehçeleri üzerine araştırmalar - Mısır lehçesi örneği
Studies on Arabic dialects - An introduction to Egyptian Arabic
HALİL KOÇAK
Yüksek Lisans
Türkçe
2021
DilbilimNecmettin Erbakan ÜniversitesiTemel İslam Bilimleri Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MOSTAFA ABDELHADY ABDELSATAR MOHAMED
- A modified shifting bottleneck heuristic for the reentrant job shop scheduling problem
Yeniden girişli iş atölyesi çizelgeleme problemi için önerilen darboğaz kaydırma sezgisel yöntemi
GAMZE KILINÇLI
Yüksek Lisans
İngilizce
2007
Endüstri ve Endüstri MühendisliğiDokuz Eylül ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
Y.DOÇ.DR. ŞEYDA TOPALOĞLU