Worst Case Execution Time Analysis for Modern Hardware Architectures

Knowing the worst case execution times #WCETs# for programs are crucial for the design and veri#cation of real-time systems. Modern hardware architectures utilize pipelinedexecution and cache memory for improved performance. We extend an existing execution time analysis technique, the Implicit Path Enumeration Technique #IPET#, to consider these and other modern hardwarearchitecturefeatures. We extend IPET in two stages. First, we annotate the control #ow graph of the program with variables representing the history of execution, thus allowing the state of architectural entities, such as cache and pipeline, to be determined before each basic block. Secondly, we model the architectural entities with constraints. The result is an equation which contains a complete model of how the program will execute on the modeled architecture. This novel idea provides a straightforward and #exible way of incorporating the behavior of various modern hardwarearchitecturefeatures into WCET analysis

ANALISIS OPINI BADAN PEMERIKSA KEUANGAN REPUBLIK INDONESIA ATAS LAPORAN KEUANGAN PEMERINTAH DAERAH SE-ACEH TAHUN ANGGARAN 2009 S.D. 2014

Laporan hasil pemeriksaan BPK selama tahun 2009 s.d. 2014 menunjukkan masih banyak Laporan Keuangan Pemerintah Daerah (LKPD) se-Aceh yang belum memperoleh opini WTP dan rendahnya tingkat penyelesaian tindak lanjut atas rekomendasi BPK. Penelitian ini bertujuan untuk mengetahui faktor-faktor yang menjadi penyebab pengecualian dalam opini WDP, TW, dan TMP dan bagaimana tindak lanjut pemerintah daerah atas rekomendasi hasil pemeriksaan BPK. Penelitian ini adalah penelitian kualitatif yang bersifat deskriptif dengan sumber data primer dan data sekunder. Pengumpulan data dilakukan dengan dokumentasi, observasi, dan wawancara. Analisa data dilakukan dengan mentranskrip data lalu di-organize untuk menentukan temanya. Tema-tema yang sudah terkumpul dicari keterkaitannya dan dinterpretasikan dengan menggunakan teori yang relevan. Hasil penelitian menunjukkan bahwa pengecualian dalam opini atas LKPD se-Aceh disebabkan beberapa faktor yaitu kelemahan prosedur pencatatan; kelemahan pengelolaan kas; kelemahan pengelolaan aset tetap; kelemahan pengelolaan pendapatan; kelemahan pengelolaan persediaan; kelemahan proses penganggaran; penyimpangan ketentuan tentang pengeluaran dan pertanggungjawaban belanja; dan kebijakan akuntansi yang belum lengkap. Selanjutnya, pengecualian yang tindak lanjutnya belum sesuai rekomendasi akan tetap menjadi pengecualian tahun berikutnya.Kata kunci: LKPD, Opini BPK, Pengecualian, Tindak Lanjut Rekomendasi BPKBanda Ace

An Efficient Signaling for Multi-mode Transmission in Multi-user MIMO

In this paper the downlink of a multi-user MIMO (MUMIMO) system with multi-mode transmission is considered. We propose a low-complexity algorithm for selecting users and the corresponding number of data streams to each user, denoted as user transmission mode (UTM). The selection is only based on the average received signal-to-noise ratio (SNR) from the base station (BS) for each user. This reduces the overall amount of feedback for scheduling, as opposed to techniques that assume perfect instantaneous channel state information (CSI) from all users. Analytical average throughput approximations are derived for each user at different UTMs. Simulation results demonstrate that the proposed algorithm provides performance close to dirty paper coding (DPC) with considerably reduced feedback

Предпринимательская деятельность как фактор экономического роста

Проведен анализ источников, содержащих информацию о взаимосвязи предпринимательской деятельности и экономического роста. Сделаны выводы о зависимости национальной конкурентоспособности и развития предпринимательства, о роли предпринимательской деятельности в инновационном процессе

Arbetslivsforskning vid Lunds universitet : En inventering av arbetslivsforskningens omfattning, hemvist och förutsättningar

Vi lever i en tid då arbetslivet – både i Sverige och globalt – genomgår storaförändringar och står inför stora utmaningar. Arbetslivsforskning har därför enstor samhällelig relevans. Men hur står det egentligen till med arbetslivsforskningen vid Lunds universitet? Hur många arbetslivsforskare finns det och var någonstans håller de hus? Och hur ser de på förutsättningarna för att bedriva arbetslivsforskning vid Lunds universitet idag?Föreliggande rapport är resultatet av en inventering av den arbetslivsforskning som bedrivs vid Lunds universitet. Rapporten är skriven inom projektet Historisk arbetslivsforskning (HALF), ett av sju av Lunds universitets strategiska forskningssatsningar på Campus Helsingborg under åren 2019–2023