Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Numerical Analysis and Scientific Computing (24)
- Software Engineering (13)
- Databases and Information Systems (4)
- Other Computer Sciences (4)
- Theory and Algorithms (4)
-
- Computational Engineering (3)
- Computer Engineering (3)
- Engineering (3)
- Digital Communications and Networking (2)
- Electrical and Computer Engineering (2)
- OS and Networks (2)
- Systems Architecture (2)
- Aeronautical Vehicles (1)
- Aerospace Engineering (1)
- Artificial Intelligence and Robotics (1)
- Computer and Systems Architecture (1)
- Education (1)
- Electrical and Electronics (1)
- Graphics and Human Computer Interfaces (1)
- Hardware Systems (1)
- Information Security (1)
- Science and Mathematics Education (1)
- Institution
-
- University of Nebraska - Lincoln (22)
- Singapore Management University (8)
- San Jose State University (4)
- Old Dominion University (3)
- University of Nevada, Las Vegas (2)
-
- Air Force Institute of Technology (1)
- Bridgewater College (1)
- Chapman University (1)
- City University of New York (CUNY) (1)
- Columbus State University (1)
- Loyola University Chicago (1)
- University of Arkansas, Fayetteville (1)
- University of Connecticut (1)
- University of Dayton (1)
- Western Kentucky University (1)
- Keyword
-
- Linear Temporal Logic (3)
- Model Check (3)
- Operational Semantic (2)
- 3d animations (1)
- AMIBE (1)
-
- Applied sciences (1)
- Arduino course (1)
- Aspect-oriented programming (1)
- Binary tree formation (1)
- Broadband communication systems (1)
- CPS (1)
- Caching (1)
- Checkpoint (1)
- Communicating sequential processes (1)
- Compilers (1)
- Computer Science Education; Computer Science Education; CS1; CS2; Java; Python (1)
- Computer simulation (1)
- Concurrency (1)
- Concurrent programming (1)
- Cooperative learning (1)
- Crash Recovery (1)
- Curriculum design (1)
- Data Decomposition (1)
- Data mining (1)
- Document mark up language (1)
- EXtensible Markup Language (1)
- Economics (1)
- Electronic warfare aircraft (1)
- Electronics in military (1)
- Embedded systems (1)
- Publication
-
- The R Journal (22)
- Research Collection School Of Computing and Information Systems (8)
- Master's Projects (4)
- Electrical & Computer Engineering Theses & Dissertations (2)
- Theses and Dissertations (2)
-
- UNLV Theses, Dissertations, Professional Papers, and Capstones (2)
- Computational Modeling & Simulation Engineering Theses & Dissertations (1)
- Computer Science Faculty Publications (1)
- Computer Science and Computer Engineering Undergraduate Honors Theses (1)
- Computer Science: Faculty Publications and Other Works (1)
- Master's Theses (1)
- Masters Theses & Specialist Projects (1)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (1)
- Publications and Research (1)
- Senior Seminars (1)
- Publication Type
Articles 31 - 49 of 49
Full-Text Articles in Programming Languages and Compilers
Analyzing An Electronic Limit Order Book, David Kane, Andrew Liu, Khanh Nguyen
Analyzing An Electronic Limit Order Book, David Kane, Andrew Liu, Khanh Nguyen
The R Journal
The orderbook package provides facilities for exploring and visualizing the data associated with an order book: the electronic collection of the outstanding limit orders for a financial instrument. This article provides an overview of the orderbook package and examples of its use.
Testthat: Get Started With Testing, Hadley Wickham
Testthat: Get Started With Testing, Hadley Wickham
The R Journal
Software testing is important, but many of us don’t do it because it is frustrating and boring. testthat is a new testing framework for R that is easy learn and use, and integrates with your existing workflow. This paper shows how, with illustrations from existing packages.
Rworldmap: A New R Package For Mapping Global Data, Andy South
Rworldmap: A New R Package For Mapping Global Data, Andy South
The R Journal
rworldmap is a relatively new package available on CRAN for the mapping and visualisation of global data. The vision is to make the display of global data easier, to facilitate understanding and communication. The initial focus is on data referenced by country or grid due to the frequency of use of such data in global assessments. Tools to link data referenced by country (either name or code) to a map, and then to display the map are provided as are functions to map global gridded data. Country and gridded functions accept the same arguments to specify the nature of categories …
Differential Evolution With Deoptim, David Ardia, Kris Boudt, Peter Carl, Katharine M. Mullen, Brian G. Peterson
Differential Evolution With Deoptim, David Ardia, Kris Boudt, Peter Carl, Katharine M. Mullen, Brian G. Peterson
The R Journal
The R package DEoptim implements the Differential Evolution algorithm. This algorithm is an evolutionary technique similar to classic genetic algorithms that is useful for the solution of global optimization problems. In this note we provide an introduction to the package and demonstrate its utility for financial applications by solving a non-convex portfolio optimization problem.
Probabilistic Weather Forecasting In R, Chris Fraley, Adrian Raftery, Tilmann Gneiting, Mclean Sloughter, Veronica Berrocol
Probabilistic Weather Forecasting In R, Chris Fraley, Adrian Raftery, Tilmann Gneiting, Mclean Sloughter, Veronica Berrocol
The R Journal
This article describes two R packages for probabilistic weather forecasting, ensembleBMA, which offers ensemble post-processing via Bayesian model averaging (BMA), and Prob ForecastGOP, which implements the geostatistical output perturbation (GOP) method. BMA forecasting models use mixture distributions, in which each component corresponds to an ensemble member, and the form of the component distribution depends on the weather parameter (temperature, quantitative precipitation or wind speed). The model parameters are estimated from training data. The GOP technique uses geostatistical methods to produce probabilistic fore casts of entire weather fields for temperature or pressure, based on a single numerical forecast on …
On Combining State Space Reductions With Global Fairness Assumptions, Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong
On Combining State Space Reductions With Global Fairness Assumptions, Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong
Research Collection School Of Computing and Information Systems
Model checking has established itself as an effective system analysis method, as it is capable of proving/dis-proving properties automatically. Its application to practical systems is however limited by state space explosion. Among effective state reduction techniques are symmetry reduction and partial order reduction. Global fairness often plays a vital role in designing self-stabilizing population protocols. It is known that combining fairness and symmetry reduction is nontrivial. In this work, we first show that global fairness, unlike weak/strong fairness, can be combined with symmetry reduction. We extend the PAT model checker with the technique and demonstrate its usability by verifying recently …
Intelligent Systems Development In A Non Engineering Curriculum, Emily A. Brand, William L. Honig, Matthew Wojtowicz
Intelligent Systems Development In A Non Engineering Curriculum, Emily A. Brand, William L. Honig, Matthew Wojtowicz
Computer Science: Faculty Publications and Other Works
Much of computer system development today is programming in the large - systems of millions of lines of code distributed across servers and the web. At the same time, microcontrollers have also become pervasive in everyday products, economical to manufacture, and represent a different level of learning about system development. Real world systems at this level require integrated development of custom hardware and software.
How can academic institutions give students a view of this other extreme - programming on small microcontrollers with specialized hardware? Full scale system development including custom hardware and software is expensive, beyond the range of any …
Parallelizing Scale Invariant Feature Transform On A Distributed Memory Cluster, Stanislav Bobovych
Parallelizing Scale Invariant Feature Transform On A Distributed Memory Cluster, Stanislav Bobovych
Computer Science and Computer Engineering Undergraduate Honors Theses
Scale Invariant Feature Transform (SIFT) is a computer vision algorithm that is widely-used to extract features from images. We explored accelerating an existing implementation of this algorithm with message passing in order to analyze large data sets. We successfully tested two approaches to data decomposition in order to parallelize SIFT on a distributed memory cluster.
Efficient Schema Extraction From A Collection Of Xml Documents, Vijayeandra Parthepan
Efficient Schema Extraction From A Collection Of Xml Documents, Vijayeandra Parthepan
Masters Theses & Specialist Projects
The eXtensible Markup Language (XML) has become the standard format for data exchange on the Internet, providing interoperability between different business applications. Such wide use results in large volumes of heterogeneous XML data, i.e., XML documents conforming to different schemas. Although schemas are important in many business applications, they are often missing in XML documents. In this thesis, we present a suite of algorithms that are effective in extracting schema information from a large collection of XML documents. We propose using the cost of NFA simulation to compute the Minimum Length Description to rank the inferred schema. We also studied …
Performance Analysis For Wimax Wireless Systems With Multiple Receive Antennas, Selcuk Taskin
Performance Analysis For Wimax Wireless Systems With Multiple Receive Antennas, Selcuk Taskin
Electrical & Computer Engineering Theses & Dissertations
Broadband wireless access has become the best way to meet the growing demand for fast Internet connections. WiMAX is one of the most promising broadband access technologies that allows fast deployment as well as low maintenance costs. WiMAX allows efficient use available bandwidth by using orthogonal frequency division multiplexing (OFDM) which is an efficient multi-carrier modulation technique. Diversity is a method for improving the reliability of a signal in fading environments by using two or more communication channels and is usually achieved by multiple antenna techniques.
In this thesis, receiver side diversity combining methods are studied and the performance of …
Electronic Warfare By Using Unmanned Aerial Vehicles, Aydin Meric
Electronic Warfare By Using Unmanned Aerial Vehicles, Aydin Meric
Electrical & Computer Engineering Theses & Dissertations
Technology continues to evolve rapidly by the day. Developments in technology should be followed closely if a country wants to become more powerful. Nowadays nobody can afford to ignore the importance of Electronic Warfare and Unmanned Aerial Vehicles (UAV) in military applications. Both of them play a crucial role in military operations that they can change the course of a war.
There are different kinds of Electronic Warfare methods that can be applied according to the situations and any evolving circumstances. In the beginning Electronic Warfare was used mainly for defensive purposes, but these days Electronic Warfare is used for …
An Executable Packer, Neel Bavishi
An Executable Packer, Neel Bavishi
Master's Projects
This thesis addresses the topic of development and advancement of the Packer technology. It aims to prove that with the implementation of advanced code encryption and cryptographic techniques in conjunction with standard packing
methods, testing binaries with anti-virus will become increasingly difficult.
Study on this topic reveals that the idea of encoding data has already been established, but it is still not fully incorporated into a technique to pack an executable file. There are some noticeable defects as un-packer tools have also made a great advancement in the field of dynamic analysis. The addition of new capability to recognize emulation …
Decompiler For Pseudo Code Generation, Ankit Patel
Decompiler For Pseudo Code Generation, Ankit Patel
Master's Projects
Decompiling is an area of interest for researchers in the field of software reverse engineering. When the source code from a high-level programming language is compiled, it loses a great deal of information, including code structure, syntax, and punctuation.
The purpose of this research is to develop an algorithm that can efficiently decompile assembly language into pseudo C code. There are tools available that claim to extract high-level code from an executable file, but the results of these tools tend to be inaccurate and unreadable.
Our proposed algorithm can decompile assembly code to recover many basic high-level programming structures, including …
Model-Controller Interfacing Using Struts-Based Web Application, Deepti Bhardwaj
Model-Controller Interfacing Using Struts-Based Web Application, Deepti Bhardwaj
Master's Projects
StrutsHib IDE is an IDE for interfacing the model and controller of a MVC architecture based applications. It is developed using Java-based technologies such as the Struts framework, Hibernate and jQuery. The StrutsHib IDE is a web application. This project implements the part of StrutsHib IDE that makes it easy to create model and controller components. Moreover, it automates the process of database creation for web applications which means the user does not have to be a database expert when dealing with databases. Finally, StrutsHib IDE takes all the advantages of a web-based application and provides lot of flexibility to …
Advanced I/O Techniques For Efficient And Highly Available Process Crash Recovery Protocols, Jason Warren Cornwell
Advanced I/O Techniques For Efficient And Highly Available Process Crash Recovery Protocols, Jason Warren Cornwell
Theses and Dissertations
As the number of CPU cores in high-performance computing platforms continues to grow, the availability and reliability of these systems become a primary concern. As such, some solutions are physical (ie. power backup) and some are software driven. Lawrence Berkeley National Laboratory has created a system-level fault-tolerant checkpoint/restart implementation for Linux Clusters. This allows processes to restart computations at the last known checkpoint in the event the system crashes. The checkpoint data creation is highly dependent on system input and output operations. This paper proposes: (i) a technique to improve the efficiency of these I/O operations and (ii) an alternative …
Jshield: A Java Anti-Reversing Tool, Deepti Kundu
Jshield: A Java Anti-Reversing Tool, Deepti Kundu
Master's Projects
Java is a platform independent language. Java programs can be executed on any machine, irrespective of its hardware or the operating system, as long as a Java virtual machine for that platform is available. A Java compiler converts the source code into „bytecode‟ instead of native binary machine code. This bytecode contains a lot of information from and about the source code, which makes it easy to decompile, and hence, vulnerable to „reverse engineering attacks‟. In addition to the obvious security implications, businesses and the wider software engineering community also risk widespread IP theft - proprietary algorithms, for example, that …
Solving The Teacher Assignment Problem By Two Metaheuristics, Aldy Gunawan, Kien Ming Ng
Solving The Teacher Assignment Problem By Two Metaheuristics, Aldy Gunawan, Kien Ming Ng
Research Collection School Of Computing and Information Systems
The timetabling problem arising from a university in Indonesia is addressed in this paper.It involves the assignment of teachers to the courses and course sections. We formulate theproblem as a mathematical programming model. Two different algorithms, mainly basedon simulated annealing (SA) and tabu search (TS) algorithms, are proposed for solving theproblem. The proposed algorithms consist of two phases. The first phase involves allocatingthe teachers to the courses and determining the number of courses to be assigned to eachteacher. The second phase involves assigning the teachers to the course sections in order tobalance the teachers’ load. The performance of the proposed …
Solving The Quadratic Assignment Problem By A Hybrid Algorithm, Aldy Gunawan, Kien Ming Ng, Kim Leng Poh
Solving The Quadratic Assignment Problem By A Hybrid Algorithm, Aldy Gunawan, Kien Ming Ng, Kim Leng Poh
Research Collection School Of Computing and Information Systems
This paper presents a hybrid algorithm to solve the Quadratic Assignment Problem (QAP). The proposed algorithminvolves using the Greedy Randomized Adaptive Search Procedure (GRASP) to obtain an initial solution, and then using a combinedSimulated Annealing (SA) and Tabu Search (TS) algorithm to improve the solution. Experimental results indicate that the hybridalgorithm is able to obtain good quality solutions for QAPLIB test problems within reasonable computation time.
Two-Language, Two-Paradigm Introductory Computing Curriculum Model And Its Implementation, Vladimir Zanev, Atanas Radenski
Two-Language, Two-Paradigm Introductory Computing Curriculum Model And Its Implementation, Vladimir Zanev, Atanas Radenski
Mathematics, Physics, and Computer Science Faculty Articles and Research
This paper analyzes difficulties with the introduction of object-oriented concepts in introductory computing education and then proposes a two-language, two-paradigm curriculum model that alleviates such difficulties. Our two-language, two-paradigm curriculum model begins with teaching imperative programming using Python programming language, continues with teaching object-oriented computing using Java, and concludes with teaching object-oriented data structures with Java.