On Time-sensitive Control Dependencies

We present efficient algorithms for time-sensitive control dependencies (CDs). If statement y is time-sensitively control dependent on statement x , then x decides not only whether y is executed but also how many timesteps after x . If y is not standard control dependent on x , but time-sensitively control dependent, then y will always be executed after x , but the execution time between x and y varies. This allows us to discover, e.g., timing leaks in security-critical software. We systematically develop properties and algorithms for time-sensitive CDs, as well as for nontermination-sensitive CDs. These work not only for standard control flow graphs (CFGs) but also for CFGs lacking a unique exit node (e.g., reactive systems). We show that Cytron’s efficient algorithm for dominance frontiers [ 10 ] can be generalized to allow efficient computation not just of classical CDs but also of time-sensitive and nontermination-sensitive CDs. We then use time-sensitive CDs and time-sensitive slicing to discover cache timing leaks in an AES implementation. Performance measurements demonstrate scalability of the approach.

Exploring the Measurement Lab Open Dataset for Internet Performance Evaluation: The German Internet Landscape

The Measurement Lab (MLab) provides a large and open collection of Internet performance measurements. We make use of it to look at the state of the German Internet by a structured analysis, in which we carve out expressive results from the dataset to identify busy hours and days, the impact of server locations and congestion control protocols, and compare Internet service providers. Moreover, we examine the impact of the COVID-19 lockdown in Germany. We observe that only parts of the Internet show a performance degradation at the beginning of the lockdown and that a large impact in performance depends on the network the servers are located in. Furthermore, the evolution of congestion control algorithms is reflected by performance improvements. For our analysis, we focus on the busy hours. From the end-user perspective, this time is of most interest to identify if the network can support challenging services such as video streaming or cloud gaming at these intervals.

An Efficient Probe-Based Routing for Content-Centric Networking

With the development of new technologies and applications, such as the Internet of Things, smart cities, 5G, and edge computing, traditional Internet Protocol-based (IP-based) networks have been exposed as having many problems. Information-Centric Networking (ICN), Named Data Networking (NDN), and Content-Centric Networking (CCN) are therefore proposed as an alternative for future networks. However, unlike IP-based networks, CCN routing is non-deterministic and difficult to optimize due to frequent in-network caching replacement. This paper presents a novel probe-based routing algorithm that explores real-time in-network caching to ensure the routing table storing the optimal paths to the nearest content provider is up to date. Effective probe-selections, Pending Interest Table (PIT) probe, and Forwarding Information Base (FIB) probe are discussed and analyzed by simulation with different performance measurements. Compared with the basic CCN, in terms of qualitative analysis, the additional computational overhead of our approach is O(NCS + Nrt + NFIB ∗ NSPT) and O(NFIB) on processing interest packets and data packets, respectively. However, in terms of quantitative analysis, our approach reduces the number of timeout interests by 6% and the average response time by 0.6 s. Furthermore, although basic CCN and our approach belong to the same Quality of Service (QoS) category, our approach outperforms basic CCN in terms of real values. Additionally, our probe-based approach performs better than RECIF+PIF and EEGPR. Owing to speedup FIB updating by probes, our approach provides more reliable interest packet routing when accounting for router failures. In summary, the results demonstrate that compared to basic CCN, our probe-based routing approach raises FIB accuracy and reduces network congestion and response time, resulting in efficient routing.

Analisa Kinerja Keuangan Kppri Dengan Pendekatan Laporan Keuangan Pada Kppri

Economic development in today is very fast, this can be seen from the changes that are happening now, these changes are the impact of economic globalization which is none other than trade liberalization and free market economic investment, as a result of that free market is likely to occur competition free tight, so the strong party and high purchasing power will dominate the market and become a winner in the competition and vice versa, the weak party with low purchasing power will automatically be excluded from the scope of competition and will be a passive audience in trading. From the ratio analysis of financial statements. KPRI can be seen in comparing the number of assets with the ability to meet short-term obligations turned out to be less good because it is still far from industry standards, and in the ability to pay all financial obligations both short-term and long-term are also still liquid, but in obtaining income net every year, in 2016-2020 KPRI was considered able to obtain high profits. Because in each year the income earned is increasing. And in generating a net profit KPRI is considered sufficient because it is measured by its effectiveness in investing its capital throughout all assets. Based on the results of KPRI performance measurements using the concept of ratio analysis of financial statements that have been carried out, it results in a satisfactory total performance measurement. Strategic planning that has been made is carried out to the fullest so that the cooperative's performance is in accordance with the vision and mission of KPRI.

A Triple Bottom Line Analysis of the Smart Cities Projects in GCC Countries

Cities are tackling their economic, social, and environmental challenges through smart city solutions. To demonstrate that these solutions achieve the desired impact, an indicator-based assessment system is needed. This chapter presents the process of developing CITYkeys performance measurement systems for target setting and monitoring. This European smart city indicator framework was developed by analyzing cities' needs, existing indicators, and gaps. The current research sets out to review several indicators, KPI, and performance measurements, along other indicator frameworks on the case studies involving the conceptualisation, development, and monitoring of smart cities in Lebanon and in Malta for comparative purposes. For this purpose, a mixed methods approach was adopted, whereby both interviews and structured surveys were used to collect primary data pertaining to the analyses of the respectively investigated smart cities.

Airbnb (Air Bed and Breakfast) Listing Analysis Through Machine Learning Techniques

Machine learning is a broad field that contains multiple fields of discipline including mathematics, computer science, and data science. Some of the concepts, like deep neural networks, can be complicated and difficult to explain in several words. This chapter focuses on essential methods like classification from supervised learning, clustering, and dimensionality reduction that can be easily interpreted and explained in an acceptable way for beginners. In this chapter, data for Airbnb (Air Bed and Breakfast) listings in London are used as the source data to study the effect of each machine learning technique. By using the K-means clustering, principal component analysis (PCA), random forest, and other methods to help build classification models from the features, it is able to predict the classification results and provide some performance measurements to test the model.

Theory of Constraints and Human Resource Management Applications

This purpose of this article is to assess constraints and suggest a theory that can improve Human Resource Management Systems (HRMS's). It investigates the relationship between Theory of Constraints (TOC) and operation management, which is based on the Critical Chain PMs book entitled The Goal. In 1984, the author, Goldratt, introduced an entire management philosophy about the TOC. The mental process and improvement theory tools discussed in his book mainly focus on manufacturing environments. However, the practice and examples in the book helped many organizations succeed, even in the private sectors. This study offers definitions of throughput, operating expense, and inventory measurements, and uses the principle of TOC to identify bottlenecks and constraints in every business process. By using these analyses, the study remodels the system to increase performance measurements of HRMS.

Hubungan Komunikasi Organisasi, Gaya Kepemimpinan, Motivasi dan Sikap Dengan Kinerja Perawat di RSUD Dr.A.Dadi Tjokrodipo Bandar Lampung

ABSTRACT: RELATIONSHIP OF ORGANIZATIONAL COMMUNICATION, LEADERSHIP STYLE, MOTIVATION AND ATTITUDE WITH NURSE PERFORMANCE IN RSUD Dr.A.DADI TJOKRODIPO BANDAR LAMPUNG Introduction: Performance is termed as job performance, in a broader sense, namely the results of work in quality, quantity, and timeliness achieved by an employee in carrying out their duties according to the responsibilities given. Almost all employee performance measurements consider the quantity, quality, and timeliness of work. Factors that affect performance include leadership, motivation, discipline and skills, and situational or work environment. The purpose of this study was to determine the relationship between organizational communication, leadership style, motivation, and attitude with the performance of nurses at RSUD Dr.A. Dadi Tjokrodipo Bandar Lampung in 2020.Research Methods: The type of research used in this study is quantitative and the design in this study uses descriptive-analytic by using a cross-sectional approach, namely the researcher visits the respondents directly to collect data at that time. The population in this study were all nurses at RSUD Dr.A. Dadi Tjokrodipo Bandar Lampung in 2020, totaling 98 respondents, the sample obtained was 78 people. In this study, the sampling technique used is the total population. Results: Based on the results of the Chi-Square test, there is a relationship between organizational communication (0.006), leadership (0.001), motivation (0.000), and attitude (0.002) with the performance of nurses at RSUD Dr.A. Dadi Tjokrodipo Bandar Lampung in 2020. Conclusion: It is hoped that the results of this study will become input so that RSUD Dr.A. Dadi Tjokrodipo Bandar Lampung can provide training facilities and motivational seminars to improve the performance of nurses, as well as provide rewards to nurses who excel. Keywords: Organizational Communication, leadership, motivation, attitudes and performance of nurses INTISARI: HUBUNGAN KOMUNIKASI ORGANISASI, GAYA KEPEMIMPINAN, MOTIVASI DAN SIKAP DENGAN KINERJA PERAWAT DI RSUD Dr.A.DADI TJOKRODIPO BANDAR LAMPUNG Pendahuluan : Kinerja diistilahkan sebagai prestasi kerja (job performance), dalam arti yang lebih luas yaitu hasil kerja secara kualitas, kuantitas dan ketepatan waktu yang dicapai oleh seorang pegawai dalam melaksanakan tugasnya sesuai tanggung jawab yang diberikan. Hampir semua pengukuran kinerja pegawai mempertimbangkan kuantitas, kualitas dan ketepatan waktu dalam bekerja. Faktor yang mempengaruhi kinerja diantaranya kepemimpinan, motivasi, disiplin dan keterampilan, dan situasional atau lingkungan kerja. Tujuan dalam penelitian ini adalah diketahui hubungan komunikasi organisasi, gaya kepemimpinan, motivasi dan sikap dengan kinerja perawat di RSUD Dr.A.Dadi Tjokrodipo Bandar Lampung Tahun 2020Metode Penelitian : Jenis penelitian yang digunakan dalam penelitian ini adalah kuantitatif dan desain dalam penelitian ini menggunakan diskriptif analitik dengan menggunakan pendekatan cross sectional yaitu peneliti mendatangi responden secara langsung untuk pengambilan data pada saat itu juga. Populasi dalam penelitian ini adalah seluruh perawat Di RSUD Dr.A.Dadi Tjokrodipo Bandar Lampung Tahun 2020 yang berjumlah 98 responden, sampel yang didapatkan berjumlah 78 orang. Dalam penelitian ini teknik sampling yang digunakan adalah total populasiHasil : Berdasarkan hasil uji Chi-Square, ada hubungan komunikasi organisasi (0,006), kepemimpinan (0,001), motivasi (0,000) dan sikap (0,002) dengan kinerja perawat di RSUD Dr.A.Dadi Tjokrodipo Bandar Lampung Tahun 2020.Kesimpulan : Diharapkan hasil penelitian ini menjadi masukan agar pihak RSUD Dr.A.Dadi Tjokrodipo Bandar Lampung dapat menyediakan fasilitas pelatihan serta seminar motivasi untuk meningkatkan kinerja perawat, serta memberikan reward/penghargaan kepada perawat yang berprestasi Kata Kunci : Komunikasi Organisasi, kepemimpinan, motivasi, sikap dan kinerja perawat