One of the most important interfaces in a computer system is the interface between hardware and software. This interface is the contract between the hardware designer and the programmer that defines the functional behaviour of the hardware. This thesis examines two critical aspects of defining the hardware-software interface: quality and performance.
The first aspect is creating a high quality specification of the interface as conventionally defined in an instruction set architecture. The majority of this thesis is concerned with creating a specification that covers the full scope of the interface; that is applicable to all current implementations of the architecture; and that can be trusted to accurately describe the behaviour of implementations of the architecture. We describe the development of a formal specification of the two major types of Arm processors: A-class (for mobile devices such as phones and tablets) and M-class (for micro-controllers). These specifications are unparalleled in their scope, applicability and trustworthiness. This thesis identifies and illustrates what we consider the key ingredient in achieving this goal: creating a specification that is used by many different user groups. Supporting many different groups leads to improved quality as each group finds different problems in the specification; and, by providing value to each different group, it helps justify the considerable effort required to create a high quality specification of a major processor architecture. The work described in this thesis led to a step change in Arm's ability to use formal verification techniques to detect errors in their processors; enabled extensive testing of the specification against Arm's official architecture conformance suite; improved the quality of Arm's architecture conformance suite based on measuring the architectural coverage of the tests; supported earlier, faster development of architecture extensions by enabling animation of changes as they are being made; and enabled early detection of problems created from architecture extensions by performing formal validation of the specification against semi-structured natural language specifications. As far as we are aware, no other mainstream processor architecture has this capability. The formal specifications are included in Arm's publicly released architecture reference manuals and the A-class specification is also released in machine-readable form.
The second aspect is creating a high performance interface by defining the hardware-software interface of a software-defined radio subsystem using a programming language. That is, an interface that allows software to exploit the potential performance of the underlying hardware. While the hardware-software interface is normally defined in terms of machine code, peripheral control registers and memory maps, we define it using a programming language instead. This higher level interface provides the opportunity for compilers to hide some of the low-level differences between different systems from the programmer: a potentially very efficient way of providing a stable, portable interface without having to add hardware to provide portability between different hardware platforms. We describe the design and implementation of a set of extensions to the C programming language to support programming high performance, energy efficient, software defined radio systems. The language extensions enable the programmer to exploit the pipeline parallelism typically present in digital signal processing applications and to make efficient use of the asymmetric multiprocessor systems designed to support such applications. The extensions consist primarily of annotations that can be checked for consistency and that support annotation inference in order to reduce the number of annotations required. Reducing the number of annotations does not just save programmer effort, it also improves portability by reducing the number of annotations that need to be changed when porting an application from one platform to another. This work formed part of a project that developed a high-performance, energy-efficient, software defined radio capable of implementing the physical layers of the 4G cellphone standard (LTE), 802.11a WiFi and Digital Video Broadcast (DVB) with a power and silicon area budget that was competitive with a conventional custom ASIC solution.
The Arm architecture is the largest computer architecture by volume in the world. It behooves us to ensure that the interface it describes is appropriately defined.
Item Type: | Thesis (PhD) |
---|---|
Qualification Level: | Doctoral |
Keywords: | ISA, specification, formal verification. |
Subjects: | > > |
Colleges/Schools: | > |
Supervisor's Name: | Gay, Professor Simon |
Date of Award: | 2019 |
Depositing User: | |
Unique ID: | glathesis:2019-41068 |
Copyright: | Copyright of this thesis is held by the author. |
Date Deposited: | 14 Mar 2019 11:46 |
Last Modified: | 10 Aug 2022 10:45 |
Thesis DOI: | |
URI: |
View Item |
Downloads per month over past year
View more statistics
The University of Glasgow is a registered Scottish charity: Registration Number SC004401
Imperial Journal of Interdisciplinary Research (IJIR) Vol-3, Issue-5, 2017 ISSN: 2454-1362
6 Pages Posted: 14 Mar 2018
Rajarata university of sri lanka - faculty of management studies.
Rajarata University of Sri Lanka - Department of Business Management
Sulochana dissanayake.
Date Written: 2017
The major problematic source towards the organizations and corporates is the accounting field by the way its intended users need to clarify the accounting softwares which are suitable on the basis of their day today accounting and business needs. Mainly the fact in Anuradhapura area is the incomplete records and unauthorized access of data by unsuitable accounting packages and apps. The fundamental error occurring in all kind of working environment and organizations are not finding the correct solution toward accounting and decision making by the selection of main accounting packages and apps. The key course of action is how to choose accounting software and apps by the businesses in Anuradhapura area. Which influence in decision making process.
Keywords: accounting, business, performance
Suggested Citation: Suggested Citation
Rajarata university of sri lanka - faculty of management studies ( email ).
Mihintale, 10300 Sri Lanka
Rajarata university of sri lanka - department of business management ( email ).
Mihintale Sri Lanka
Paper statistics, related ejournals, information systems & economics ejournal.
Subscribe to this fee journal for more curated articles on this topic
Discover the world's research
Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser .
Enter the email address you signed up with and we'll email you a reset link.
The major problematic source towards the organizations and corporates is the accounting field by the way its intended users need to clarify the accounting soft wares which are suitable on the basis of their day today accounting and business needs. Mainly the fact in Anuradhapura area is the incomplete records and unauthorized access of data by unsuitable accounting packages and apps. The fundamental error occurring in all kind of working environment and organizations are not finding the correct solution toward accounting and decision making by the selection of main accounting packages and apps. The key course of action is how to choose accounting software and apps by the businesses in Anuradhapura area. Which influence in decision making process. Abstract: Accounting, business, performance
Mazedan International Research Academy
Naqeeb Ullah, Ph.D
The aim of the research was to empirically analyse the most effective accounting software for accountants, specifically in SMEs of UK. For the current research, primary quantitative research method was used, and information were gathered from 100 accountants working in SMEs of UK. For data analysis, descriptive and frequency analysis were used though using SPSS software. Findings revealed that Fresh book, Quick book, Zoho, Wave are mostly used in SMEs of UK. Further, it has also been analysed that Fresh book is one of the most effective accounting software due to higher quality, features, and fastest speed. Findings in the current research has significantly contributed in the information body of accounting sphere, and fill a gap in previous studies.
International Scientific days 2016 :: The Agri-Food Value Chain: Challenges for Natural Resources Management and Society :: Proceedings
Zuzana Bigasová
Rahmawati Rahmawati
Company’s management must have the information in order to make business and financial decisions. As management decisions have crucial importance, the information appears as a key instrument of governance. Information produced by the accounting information systems are important for the effective management of business activities, and according to the type of users, its information requests and needs vary. In this paper, particular attention is given to the accounting information systems and their importance for the business and financial decision making of individual users. Key words: application of accounting information system, accounting information system, decision making process, business decision.
Shanlax International Journal of Management
mahmoud manayseh
The purpose of this study is to qualitatively explain the quality of accounting application systems in order to promote the performance of a small, medium and large Sultanate of Oman company’s financial sector. The method used in this study is a semi-structured interview with whistleblowers regarding the quality of accounting information as a corporate budget accountant. As a result, high-quality accounting application systems analyze existing accounting information systems for quality such as security, accessibility, reliability, data integration, and accurate and timely information availability that can support business performance. We found that it was configured. Companies need to include these four elements in their accounting system. The conclusion of this study is that the company used a high quality accounting information system because it could meet all four factors and support the performance of the company’s employees and able to improve the quality of its employees perfo...
Hojjatallah Salari
Ibrahim Saheed
Vysoká škola bezpečnostného manažérstva v Košiciach
Maksym Bezpartochnyi
The book is addressed to those who want to open a business in Romania, to become entrepreneurs or managers and to accumulate necessary accounting information on starting and managing a business. Accounting is the "ace up the sleeve" of any manager because, with the information provided, one can know the past, present and predict the future of a company. This paper presents the theoretical elements of the concepts used in accounting necessary for any manager. The book is intended for those interested in this field whose training can be completed with the ABC of accounting.
IJMSBR Open Access Journal
Regarding to the potential capabilities of accounting information systems (AIS) and software packages as computer AIS, and regarding to the continuous changes and rapid developments of economical units, provision of relevant, reliable, and comparable financial information is necessary. To investigate this, the question is that whether IT affects qualitative features of accounting information in financial statements?To do this research, a sample of 105 confidant auditors from Tehran Stock Exchange and professors of Islamic Azad University, region 5, was selected by Simple Random Sampling (SRS) method as questionnaires. Inferential statistical method, Clemogrov-Smironov test, and t-student test were used. It was found that accounting information systems and softwares highly affect on comparison capability and relevance of financial statement, but they lowly affect on reliability of them. Also, variance analysis was done for three indices of relevance, reliability, comparability. To do this, pair groups were compared by t-test. In this test, first rank was for relevance.
Journal of Applied Science, Information and Computing
Olusegun Alao
Tracking the various business parameters variables related to the business’s goal is a difficult task to do without the right tools. Failure to properly put in place accounting processes that oversee and manage such parameters has led to the demise of many promising small and big organizations. This work looks into how the use of accounting software affects the quality of reporting while focusing on the tools and application modules that make the process hitch-free. Because of the lack of local data and feedback from first-hand operators of accounting software, the study infers knowledge from other works on the effectiveness of accounting software in organizational reporting. It also looks into the tools that come with Microsoft Excel, one of the most widely used accounting software in Nigeria. We make use of sales data gotten online to implement this tool and the result shows that the Microsoft Excel application is capable of minimizing errors, automating tasks, and forecasting. By...
International Journal of Advanced Computer Science and Applications
Agustinus Winoto
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
CERN European Organization for Nuclear Research - Zenodo
Aliona Lîsîi
ahmad abumusa
International Journal of Professional Business Review
Sinan Al-Shaikh
SSRN Electronic Journal
Morteza Ramazani
IJAERS Journal
International Journal of Recent Research Aspects ISSN 2349-7688
International Journal of Accounting & Finance Review
SUSAN PETER TERU
niyonsenga gedeon
European Journal of Business and Management
ayad Shaker Sultan
James Mageto
Jurnal Ilmu Keuangan dan Perbankan (JIKA)
Meifida Ilyas
Dzoar J . Bakr
Shadrack Joe
Atlantis Press
Nur Zeina Maya Sari
ganeesha kaluarachchi
International Journal of Scientific & Technology Research
Asep Darmansyah
Akbar Rahimipoor
Gaurav Baral
Research Journal of Finance and Accounting
Alexander Decker
Information Management and Business Review
COMMENTS
Abdel-Hamid (Citation 1984) explored software project performance using interval-based overtime and dynamic hiring through SD modelling. Abdel-Hamid (Citation 1989) ... Li, S. (2008), "A Generic Model of Project Management with Vensim" (master's thesis, Faculty of Engineering and Science, Agder University). Google Scholar.
This thesis presents a series of novel approaches based on empirical insights that attempt to support developers at the task of designing efficient code. We present contributions in three aspects ...
1. Reference Management Software. Comprehensive reference management software, such as Zotero, Mendeley, or EndNote, is a must-have tool for any thesis writer. These tools help you organize and manage your references efficiently, generate citations in different formats, and create a bibliography effortlessly.
Completing your dissertation or thesis requires a hearty investment of time, effort and hard work. There's no shortcut on the road to research success, but as with anything, there are ways to optimise the process and work smarter.. Here, we'll share with you a wide range of apps, software and services that will make your life a little easier throughout the research process.
Unfortunately, performance variability is often seen as unavoidable fact of commodity computing systems. This thesis challenges that notion, and shows that we can obtain 0-cycle variability for CPU-bound workloads, and <0.3% variability for workloads that touch memory. It shows how a programmer might take an arbitrary system and tease out and ...
even average programmers will need to be able to write fast code. Software performance engineering offers great promise to provide computer performance gains in the post-Moore era, but developing efficient software today requires substantial expertise and arcane knowl-edge of hardware and software systems.
Master Thesis A MODEL FOR SOFTWARE DEVELOPMENT TEAM PERFORMANCE . 1 Author: T.S. Kooijman, B.Sc. Student ID: 3970183 [email protected] ... Before we can determine how we can accurately measure the performance of a software development team, we need to determine what constitutes an accurate and objective metric in the first place. ...
3. EndNote. EndNote is a trusted reference management software used by researchers, students, and librarians. It excels in storing, organizing, and formatting bibliographic references, offering a wide range of citation styles to meet your thesis's specific requirements. 4.
FreeMind, a mind mapping software, is an innovative tool that's increasingly being utilized in the realm of academic writing, particularly for thesis and dissertation preparation. This free, open-source software offers a dynamic way to organise: Thoughts. Research, and. References.
Dustball is a free plagiarism detection tool that will easily find plagiarized parts in your text. ThePensters is free plagiarism-checking software for students and beyond. It analyzes the percentage of plagiarized text from web pages. Also, with the help of this tool, you can create a bibliography by ISBN code.
List of dissertations / theses on the topic 'Software Performance'. Scholarly publications with full text pdf download. Related research topic ideas.
from hardware and limiting the scope of the application domain. This thesis proposes a new software/hardware co-design approach to achieving 3P platforms, called the loop-task accelerator (LTA) platform, that provides high productivity and portability without sacrificing performance or efficiency across a wide range of applications.
s and store performance data. The following section describes a number of specific performance analysis tools, from commonly used tools to more recent ones, with a longer section on possible extensions and customisatio. s to the Linux Trace Toolkit. S. ction 5 is the conclusion.3. Performance Data Coll. ction, Processing and StorageIn a simple ...
PhD Dissertations in the Area of Software Engineering. This list is provided as a resource for PhD candidates, researchers, scientists, and engineers who are actively pursuing advanced research in Software Engineering. If you are a PhD graduate, we invite you to submit information about your dissertation using this form.
Elaine J. Weyuker, Senior Member, IEEE, and Filippos I. Vokolos. Abstract ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach ...
Software engineering and technology are prevalent areas for thesis at the department, and many candidates ask for thesis topics every academic year. We do our best to accommodate the requests, but the applicants can smoothen the process by taking an active role in thinking about potential topics based on the themes presented below.
factors(Kandula, 2006). Macky and Johnson (2000) pressed that the importance of performance management system is on continuously improving organization performance and this is achieved by improving individual performance. Therefore, improving employee performance by using performance management system is vital.
This thesis examines two critical aspects of defining the hardware-software interface: quality and performance. The first aspect is creating a high quality specification of the interface as conventionally defined in an instruction set architecture. The majority of this thesis is concerned with creating a specification that covers the full scope ...
This doctoral thesis aims to improve the understanding of the use of Kanban in software engineering. The research was performed in two phases: 1) analysis of scientific literature on Kanban in software engineering and industrial engineering and 2) investigation of Kanban implementation trends in software companies.
However, the purpose of the study was to. examine the impact of accounting software for. business perf ormance on profitability level of small. scale business. To meas ure the business perform ...
The key course of action is how to choose accounting software and apps by the businesses in Anuradhapura area. Which influence in decision making process. ... Mihiri and RMMD, Pemarathna and Cooray, N. H. K. and Dissanayake, Sulochana, Impact of Accounting Software for Business Performance (2017). Imperial Journal of Interdisciplinary Research ...
impact of accounting software characteristics on business performance of firms in. Malaysia as 0.711 and adjusted R Square 0.691, indicating that 69.1% of the. variance of accounting software ...
See Full PDFDownload PDF. The aim of the research was to empirically analyse the most effective accounting software for accountants, specifically in SMEs of UK. For the current research, primary quantitative research method was used, and information were gathered from 100 accountants working in SMEs of UK. For data analysis, descriptive and ...