Loading...
Search for:
application-programs
0.006 seconds
Total 56 records
Two studies of framework-usage templates extracted from dynamic traces
, Article IEEE Transactions on Software Engineering ; Volume 38, Issue 6 , 2012 , Pages 1464-1487 ; 00985589 (ISSN) ; Czarnecki, K ; Binder, W ; Bartolomei, T. T ; Sharif University of Technology
2012
Abstract
Object-oriented frameworks are widely used to develop new applications. They provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implementing interfaces, and calling framework operations. Unfortunately, many modern frameworks are difficult to use because of their large and complex APIs and frequently incomplete user documentation. To cope with these problems, developers often use existing framework applications as a guide. However, locating concept implementations in those sample applications is typically challenging due to code tangling and scattering. To address this challenge, we introduce the notion of...
EXAF: A search engine for sample applications of object-oriented framework-provided concepts
, Article Information and Software Technology ; Volume 75 , 2016 , Pages 135-147 ; 09505849 (ISSN) ; Heydarnoori, A ; Sharif University of Technology
Elsevier
Abstract
Object-oriented application frameworks, such as Java Swing, provide reusable code and design for implementing domain-specific concepts, such as Context Menu, in software applications. Hence, use of such frameworks not only can decrease the time and the cost of developing new software applications, but also can increase their maintainability. However, the main problems of using object-oriented application frameworks are their large and complex APIs, and often incomplete user manuals. To mitigate these problems, developers often try to learn how to implement their desired concepts from available sample applications. Nonetheless, this introduces another hard and time-consuming challenge which...
Off-chain management and state-tracking of smart programs on blockchain for secure and efficient decentralized computation
, Article International Journal of Computers and Applications ; 2021 ; 1206212X (ISSN) ; Majidi, B ; Peyvandi, A ; Movaghar, A ; Sharif University of Technology
Taylor and Francis Ltd
2021
Abstract
In the last decade various crypto-currencies opened new doors to a decentralized electronic monetary system. Emergence of new Blockchain platforms, such as Ethereum, introduced new features for the implementation of decentralized software or smart contracts. The applications of blockchain technology for secure and efficient information systems is rapidly increasing. However, due to the limitations of this platform including high computational and storage cost, it is not possible to run sophisticated and computationally expensive software on the blockchain. In this paper, a new framework for execution of smart programs on blockchain called the Smart Program Runner Framework (SPRF) is...
Constructing a Class Library to Implement the Project Scheduling Algorithms on Primavera
, M.Sc. Thesis Sharif University of Technology ; Shadrokh, Shahram (Supervisor)
Abstract
In this research we investigate one of the heuristic algorithms of scheduling, Squeaky Wheel Optimization (SWO) in order to solve an RCPSP problem with minimization of Makespan as the objective function; and we will implement this algorithm on Primavera which is one of the most popular software systems in Project Management. The main purpose of this project is to prepare a way to implement the scheduling algorithms on one of the popular Project Management Software Systems. Hence, we have created an application which can interact with this kind of systems, gets data from their databases, run a scheduling algorithm on it, and updates the data in the databases. One of the main characteristics...
Modeling User Behavior in Applications and Maximising User Lifecycle
, M.Sc. Thesis Sharif University of Technology ; Habibi, Jafar (Supervisor)
Abstract
Smartphones are ubiquitous nowadays. This fact would give the opportunity to the developers to earn lots of money and attention. One of the main factors in a successful business plan is user lifecycle, meaning that users use the app more and more in a specific period. For app developers, notifications are an effective way to interact with the users in different ways depending on the nature of the notification. However, hen a notification is sent out to a user, it is delivered directly without considering the users situationor psychological state. The notification could be perceived as a distraction or interruption, potentially causing inattentionand frustration for the recipient, even if the...
A survey of dynamic software updating
, Article Journal of software: Evolution and Process ; Volume 25, Issue 5 , 2013 , Pages 535-568 ; 20477481 (ISSN) ; Abolhassani, H ; Moshkenani, M. S ; Sharif University of Technology
2013
Abstract
Application update at run-time remains a challenging issue in software engineering. There are many techniques with different evaluation metrics, resulting in different behaviours in the application being updated. In this paper, we provide an extensive review of research work on dynamic software updating. A framework for the evaluation of dynamic updating features is developed, and the articles are categorized and discussed based on the provided framework. Areas of online software maintenance requiring further research are also identified and highlighted. This information is deemed to not only assist practitioners in selecting appropriate dynamic updating techniques for their systems, but...
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
, Article ACM SIGPLAN Notices ; Volume 51, Issue 1 , 2016 , Pages 327-342 ; 15232867 (ISSN) ; Fu, H ; Novotný, P ; Hasheminezhad, R ; Sharif University of Technology
Association for Computing Machinery
Abstract
In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs....
Topic recommendation for software repositories using multi-label classification algorithms
, Article Empirical Software Engineering ; Volume 26, Issue 5 , 2021 ; 13823256 (ISSN) ; Heydarnoori, A ; Gousios, G ; Sharif University of Technology
Springer
2021
Abstract
Many platforms exploit collaborative tagging to provide their users with faster and more accurate results while searching or navigating. Tags can communicate different concepts such as the main features, technologies, functionality, and the goal of a software repository. Recently, GitHub has enabled users to annotate repositories with topic tags. It has also provided a set of featured topics, and their possible aliases, carefully curated with the help of the community. This creates the opportunity to use this initial seed of topics to automatically annotate all remaining repositories, by training models that recommend high-quality topic tags to developers. In this work, we study the...
A hardware approach to concurrent error detection capability enhancement in COTS processors
, Article 11th Pacific Rim International Symposium on Dependable Computing, PRDC 2005, Changsha, Hunan, 12 December 2005 through 14 December 2005 ; Volume 2005 , 2005 , Pages 83-90 ; 0769524923 (ISBN); 9780769524924 (ISBN) ; Miremadi, S. G ; Sharif University of Technology
2005
Abstract
To enhance the error detection capability in COTS (commercial off-the-shelf) -based design of safety-critical systems, a new hardware-based control flow checking (CFC) technique will be presented. This technique, Control Flow Checking by Execution Tracing (CFCET), employs the internal execution tracing features available in COTS processors and an external watchdog processor (WDP) to monitor the addresses of taken branches in a program. This is done without any modification of application programs, therefore, the program overhead is zero. The external hardware overhead is about 3.5% using an Altera Flex 10K30 FPGA. For different workload programs, the execution time overhead and the error...
Studying the relationship between the usage of APIS discussed in the crowd and post-release defects
, Article Journal of Systems and Software ; Volume 170 , 2020 ; Heydarnoori, A ; Nadri, R ; Sharif University of Technology
Elsevier Inc
2020
Abstract
Software development nowadays is heavily based on libraries, frameworks and their proposed Application Programming Interfaces (APIs). However, due to challenges such as the complexity and the lack of documentation, these APIs may introduce various obstacles for developers and common defects in software systems. To resolve these issues, developers usually utilize Question and Answer (Q&A) websites such as Stack Overflow by asking their questions and finding proper solutions for their problems on APIs. Therefore, these websites have become inevitable sources of knowledge for developers, which is also known as the crowd knowledge. However, the relation of this knowledge to the software quality...
Traffic Engineering Design in Software-Defined Networks with Big Flow Applications
, M.Sc. Thesis Sharif University of Technology ; Akbari, Behzad (Supervisor)
Abstract
"Programmable networks" are to facilitate and evolve the computer networks. Specifically, Network Defined Software (SDN) is an advanced and innovative solution in the new computer network in which the hardwares are completely independent of the control and decision regarding data transfer. Based on this logic, network management becomes much simpler and enables innovation and new solutions for different parts of the network. In SDN, the program or network intelligence is logically present in software-based controllers (on the control panel) and can be changed and programmed, and network devices are converted into network packet sending hardware (on the data page) through an interface, Such...
Predicting API-Related Faults Using Crowd Knowledge
, Ph.D. Dissertation Sharif University of Technology ; Heydarnoori, Abbas (Supervisor)
Abstract
Software quality assurance activities such as debugging are considered one of the most important and effective tasks in software development life cycle. However, these activities are tedious and time consuming. Consequently, wide variety of studies have been conduced around the process of software debugging, such as predicting defects,which is one of the most important topics in this area.In spite of the popularity of software libraries and frameworks, and the use of application programming interfaces (API), most of the studies in the defect prediction area have not focused on predicting defects related to API usages. However, due to the lack of documentation and complexity of the APIs...
Investigating the impacts of different price-based demand response programs on home load management
, Article Journal of Electrical Engineering and Technology ; Vol. 9, issue. 3 , 2014 , p. 1125-1131 ; ISSN: 19750102 ; Fotuhi-Firuzabad, M ; Choi, J ; Sharif University of Technology
Abstract
Application of residential demand response (DR) programs are currently realized up to a limited extent due to customers' difficulty in manually responding to the time-differentiated prices. As a solution, this paper proposes an automatic home load management (HLM) framework to achieve the household minimum payment as well as meet the operational constraints to provide customer's comfort. The projected HLM method controls on/off statuses of responsive appliances and the charging/discharging periods of plug-in hybrid electric vehicle (PHEV) and battery storage at home. This paper also studies the impacts of different time-varying tariffs, i.e., time of use (TOU), real time pricing (RTP), and...
Activities performed by programmers while using framework examples as a guide
, Article Proceedings of the ACM Symposium on Applied Computing ; 2014 , p. 1146-1151 ; Heydarnoori, A ; Kazemitabaar, M ; Sharif University of Technology
Abstract
It is now a common approach pursued by programmers to develop new software systems using Object-Oriented Application Frameworks such as Spring, Struts and, Eclipse. This improves the quality and the maintainability of the code. Furthermore, it reduces development cost and time. However, the main problem is that these frameworks usually have a complicated Application Programming Interface (API), and typically suffer from the lack of enough documentation and appropriate user manuals. To solve these problems, programmers often refer to existing sample applications of those frameworks to learn how to implement the desired functionality in their own code. This is called the Monkey See, Monkey Do...
Using genetic algorithm to identify soft-error derating blocks of an application program
, Article Proceedings - 15th Euromicro Conference on Digital System Design, DSD 2012, 5 September 2012 through 8 September 2012 ; September , 2012 , Pages 359-367 ; 9780769547985 (ISBN) ; Rahmani, A. M ; Mansoor, A ; Miremadi, S. G ; Sharif University of Technology
2012
Abstract
Soft-errors are increasingly considered as a major cause for computer system failures. Software techniques are used as cost-effective and flexible techniques to tolerate soft-errors but the introduced overhead is not acceptable in some safety-critical real-time systems. The identification of the program blocks and protecting only vulnerable blocks against soft-errors reduces the performance overhead. In this paper, we present a genetic algorithm to identify the vulnerable program blocks as well as the derating program blocks against soft-errors. Then, only vulnerable blocks are protected by some software-based soft-error tolerance techniques to achieve a lower performance and space overhead....
Operating system level data tiering using online workload characterization
, Article Journal of Supercomputing ; Volume 71, Issue 4 , April , 2015 , Pages 1534-1562 ; 09208542 (ISSN) ; Asadi, H ; Ebrahimi, S ; Sharif University of Technology
Kluwer Academic Publishers
2015
Abstract
Over the past decade, storage has been the performance bottleneck in I/O-intensive programs such as online transaction processing applications. To alleviate this bottleneck with minimal cost penalty, cost-effective design of a high-performance disk subsystem is of decisive importance in enterprise applications. Data tiering is an efficient way to optimize cost, performance, and reliability in storage servers. With the promising advantages of solid-state drives (SSDs) over hard disk drives (HDDs) such as lower power consumption and higher performance, traditional data tiering techniques should be revisited to use SSDs in a more efficient way. Previously proposed tiering solutions have...
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
, Article 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20 January 2016 through 22 January 2016 ; Volume 20-22-January-2016 , 2016 , Pages 327-342 ; 07308566 (ISSN) ; 9781450335492 (ISBN) ; Fu, H ; Novotný, P ; Hasheminezhad, R ; Majumdar, R ; Bodik, R ; Association for Computing Machinery (ACM) SIGPLAN ; Sharif University of Technology
Association for Computing Machinery
Abstract
In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs....
Model-data interaction in groundwater studies: Review of methods, applications and future directions
, Article Journal of Hydrology ; Volume 567 , 2018 , Pages 457-477 ; 00221694 (ISSN) ; Ataie Ashtiani, B ; Simmons, C. T ; Sharif University of Technology
Elsevier B.V
2018
Abstract
We define model-data interaction (MDI) as a two way process between models and data, in which on one hand data can serve the modeling purpose by supporting model discrimination, parameter refinement, uncertainty analysis, etc., and on the other hand models provide a tool for data fusion, interpretation, interpolation, etc. MDI has many applications in the realm of groundwater and has been the topic of extensive research in the groundwater community for the past several decades. This has led to the development of a multitude of increasingly sophisticated methods. The progress of data acquisition technologies and the evolution of models are continuously changing the landscape of groundwater...
On the use of COMSOL Multiphysics for seawater intrusion in fractured coastal aquifers
, Article 25th Salt Water Intrusion Meeting, SWIM 2018, 17 June 2018 through 22 June 2018 ; Volume 54 , 2018 ; 22671242 (ISSN) ; Fahs, M ; Ataie Ashtiani, B ; Simmons, C. T ; Younes, R ; Sharif University of Technology
EDP Sciences
2018
Abstract
COMSOL Multiphysics is a comprehensive simulation software environment for a wide range of applications. COMSOL has an interactive interface that facilitates the modeling procedure and allows an easy coupling of different physical processes. The Subsurface Flow module extends the COMSOL modeling environment to applications related to fluid flow in saturated and variably saturated porous media. COMSOL is increasingly used in the investigation of geophysical, hydrogeological and environmental phenomena. The main goal of this work is to explore the ability of COMSOL for simulating seawater intrusion (SWI) in fractured coastal aquifers. Numerical modeling of such a problem is of high interest as...
Tolerance–reliability analysis of mechanical assemblies for quality control based on Bayesian modeling
, Article Assembly Automation ; Volume 39, Issue 5 , 2019 , Pages 769-782 ; 01445154 (ISSN) ; Ghaderi, A ; Sharif University of Technology
Emerald Group Publishing Ltd
2019
Abstract
Purpose: The purpose of this paper is to present a new efficient method for the tolerance–reliability analysis and quality control of complex nonlinear assemblies where explicit assembly functions are difficult or impossible to extract based on Bayesian modeling. Design/methodology/approach: In the proposed method, first, tolerances are modelled as the random uncertain variables. Then, based on the assembly data, the explicit assembly function can be expressed by the Bayesian model in terms of manufacturing and assembly tolerances. According to the obtained assembly tolerance, reliability of the mechanical assembly to meet the assembly requirement can be estimated by a proper first-order...