Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 5191 - 5220 of 25622

Full-Text Articles in Computer Engineering

A Versatile Python Package For Simulating Dna Nanostructures With Oxdna, Kira Threlfall May 2022

A Versatile Python Package For Simulating Dna Nanostructures With Oxdna, Kira Threlfall

Computer Science and Computer Engineering Undergraduate Honors Theses

The ability to synthesize custom DNA molecules has led to the feasibility of DNA nanotechnology. Synthesis is time-consuming and expensive, so simulations of proposed DNA designs are necessary. Open-source simulators, such as oxDNA, are available but often difficult to configure and interface with. Packages such as oxdna-tile-binding pro- vide an interface for oxDNA which allows for the ability to create scripts that automate the configuration process. This project works to improve the scripts in oxdna-tile-binding to improve integration with job scheduling systems commonly used in high-performance computing environments, improve ease-of-use and consistency within the scripts compos- ing oxdna-tile-binding, and move …

Go to article

Analysis Of Gpu Memory Vulnerabilities, Jarrett Hoover May 2022

Analysis Of Gpu Memory Vulnerabilities, Jarrett Hoover

Computer Science and Computer Engineering Undergraduate Honors Theses

Graphics processing units (GPUs) have become a widely used technology for various purposes. While their intended use is accelerating graphics rendering, their parallel computing capabilities have expanded their use into other areas. They are used in computer gaming, deep learning for artificial intelligence and mining cryptocurrencies. Their rise in popularity led to research involving several security aspects, including this paper’s focus, memory vulnerabilities. Research documented many vulnerabilities, including GPUs not implementing address space layout randomization, not zeroing out memory after deallocation, and not initializing newly allocated memory. These vulnerabilities can lead to a victim’s sensitive data being leaked to an …

Go to article

Side-Channel Analysis On Post-Quantum Cryptography Algorithms, Tristen Teague May 2022

Side-Channel Analysis On Post-Quantum Cryptography Algorithms, Tristen Teague

Computer Science and Computer Engineering Undergraduate Honors Theses

The advancements of quantum computers brings us closer to the threat of our current asymmetric cryptography algorithms being broken by Shor's Algorithm. NIST proposed a standardization effort in creating a new class of asymmetric cryptography named Post-Quantum Cryptography (PQC). These new algorithms will be resistant against both classical computers and sufficiently powerful quantum computers. Although the new algorithms seem mathematically secure, they can possibly be broken by a class of attacks known as side-channels attacks (SCA). Side-channel attacks involve exploiting the hardware that the algorithm runs on to figure out secret values that could break the security of the system. …

Go to article

Comparative Study Of Snort 3 And Suricata Intrusion Detection Systems, Cole Hoover May 2022

Comparative Study Of Snort 3 And Suricata Intrusion Detection Systems, Cole Hoover

Computer Science and Computer Engineering Undergraduate Honors Theses

Network Intrusion Detection Systems (NIDS) are one layer of defense that can be used to protect a network from cyber-attacks. They monitor a network for any malicious activity and send alerts if suspicious traffic is detected. Two of the most common open-source NIDS are Snort and Suricata. Snort was first released in 1999 and became the industry standard. The one major drawback of Snort has been its single-threaded architecture. Because of this, Suricata was released in 2009 and uses a multithreaded architecture. Snort released Snort 3 last year with major improvements from earlier versions, including implementing a new multithreaded architecture …

Go to article

Using Bluetooth Low Energy And E-Ink Displays For Inventory Tracking, David Whelan May 2022

Using Bluetooth Low Energy And E-Ink Displays For Inventory Tracking, David Whelan

Computer Science and Computer Engineering Undergraduate Honors Theses

The combination of Bluetooth Low energy and E-Ink displays allow for a low energy wire-less display. The application of this technology is far reaching especially given how the Bluetooth Low Energy specification can be extended. This paper proposes an extension to this specification specifically for inventory tracking. This extension combined with the low energy E-Ink display results in a smart label that can keep track of additional meta data and inventory counts for physical inventory. This label helps track the physical inventory and can help mitigate any errors in the logical organization of inventory.

Go to article

Improving Intelligent Transportation Safety And Reliability Through Lowering Costs, Integrating Machine Learning, And Studying Model Sensitivity, Cavender Holt May 2022

Improving Intelligent Transportation Safety And Reliability Through Lowering Costs, Integrating Machine Learning, And Studying Model Sensitivity, Cavender Holt

All Theses

As intelligent transportation becomes increasingly prevalent in the domain of transportation, it is essential to understand the safety, reliability, and performance of these systems. We investigate two primary areas in the problem domain. The first area concerns increasing the feasibility and reducing the cost of deploying pedestrian detection systems to intersections in order to increase safety. By allowing pedestrian detection to be placed in intersections, the data can be better utilized to create systems to prevent accidents from occurring. By employing a dynamic compression scheme for pedestrian detection, we show the reduction of network bandwidth improved by 2.12× over the …

Go to article

Control, Decision-Making, And Learning Approaches For Connected And Autonomous Driving Systems With Humans-In-The-Loop, Fangjian Li May 2022

Control, Decision-Making, And Learning Approaches For Connected And Autonomous Driving Systems With Humans-In-The-Loop, Fangjian Li

All Dissertations

By virtue of vehicular connectivity and automation, the vehicle becomes increasingly intelligent and self-driving capable. However, no matter what automation level the vehicle can achieve, humans will still be in the loop despite their roles. First, considering the manual driving car as a disturbance to the connected and autonomous vehicles (CAVs), a novel string stability is proposed for mixed traffic platoons consisting of both autonomous and manual driving cars to guarantee acceptable motion fluctuation and platoon safety. Furthermore, humans are naturally considered as the rider in the passenger vehicle. A human-centered cooperative adaptive cruise control (CACC) is designed to improve …

Go to article

Benchmarking Library Recognition In Tweets, Ting Zhang, Divya Prabha Chandrasekaran, Ferdian Thung, David Lo May 2022

Benchmarking Library Recognition In Tweets, Ting Zhang, Divya Prabha Chandrasekaran, Ferdian Thung, David Lo

Research Collection School Of Computing and Information Systems

Software developers often use social media (such as Twitter) to shareprogramming knowledge such as new tools, sample code snippets,and tips on programming. One of the topics they talk about is thesoftware library. The tweets may contain useful information abouta library. A good understanding of this information, e.g., on thedeveloper’s views regarding a library can be beneficial to weigh thepros and cons of using the library as well as the general sentimentstowards the library. However, it is not trivial to recognize whethera word actually refers to a library or other meanings. For example,a tweet mentioning the word “pandas" may refer to …

Go to article

Designing Autonomous Drone For Food Delivery In Gazebo/Ros Based Environments, Hrishitva Patel May 2022

Designing Autonomous Drone For Food Delivery In Gazebo/Ros Based Environments, Hrishitva Patel

Computer Science and Engineering Research

There has been a growing global trend towards convenience, speed, and ease in delivery services, and this has been further accelerated by the COVID pandemic. With the everincreasing demand for easily accessible deliveries and expanded delivery service coverage, it has become critical that innovations in this space be developed to further ensure the industry’s smooth operation. With the emergence of the COVID-19 pandemic, the inadequacies became more apparent, emphasizing the need to revolutionize and accelerate the trend in order to meet the increased demand. Drone delivery systems are of particular interest in this context because they can enable faster and …

Go to article

Data-Driven Framework For Understanding & Modeling Ride-Sourcing Transportation Systems, Bishoy Kelleny May 2022

Data-Driven Framework For Understanding & Modeling Ride-Sourcing Transportation Systems, Bishoy Kelleny

Civil & Environmental Engineering Theses & Dissertations

Ride-sourcing transportation services offered by transportation network companies (TNCs) like Uber and Lyft are disrupting the transportation landscape. The growing demand on these services, along with their potential short and long-term impacts on the environment, society, and infrastructure emphasize the need to further understand the ride-sourcing system. There were no sufficient data to fully understand the system and integrate it within regional multimodal transportation frameworks. This can be attributed to commercial and competition reasons, given the technology-enabled and innovative nature of the system. Recently, in 2019, the City of Chicago the released an extensive and complete ride-sourcing trip-level data for …

Go to article

Interval Observer-Based Supervision Of Nonlinear Networked Control Systems, Afef Najjar, Thach Ngoc Dinh, Messaoud Amairi, Tarek Raissi May 2022

Interval Observer-Based Supervision Of Nonlinear Networked Control Systems, Afef Najjar, Thach Ngoc Dinh, Messaoud Amairi, Tarek Raissi

Turkish Journal of Electrical Engineering and Computer Sciences

Networked control system (NCS) is a multidisciplinary area that attracts increasing attention today. In this paper, we deal with remote supervision of a nonlinear networked control systems class subject to network imperfections. Different from many existing researches that consider only the problem of small and/or constant communication delays, we focus on large and time-varying network delays problem in both measurement and control channels. The proposed method is a set-membership estimation-based predictor approach computing a guaranteed set of admissible state values when the uncertainties (i.e. measurement noises and system disturbances) are considered unknown but bounded with a priori known bounds. The …

Go to article

An Efficient End-To-End Deep Neural Network For Interstitial Lung Disease Recognition And Classification, Masum Shah Junayed, Afsana Ahsan Jeny, Md Baharul Islam, Ikhtiar Ahmed, Afm Shahen Shah May 2022

An Efficient End-To-End Deep Neural Network For Interstitial Lung Disease Recognition And Classification, Masum Shah Junayed, Afsana Ahsan Jeny, Md Baharul Islam, Ikhtiar Ahmed, Afm Shahen Shah

Turkish Journal of Electrical Engineering and Computer Sciences

The automated Interstitial Lung Diseases (ILDs) classification technique is essential for assisting clinicians during the diagnosis process. Detecting and classifying ILDs patterns is a challenging problem. This paper introduces an end-to-end deep convolution neural network (CNN) for classifying ILDs patterns. The proposed model comprises four convolutional layers with different kernel sizes and Rectified Linear Unit (ReLU) activation function, followed by batch normalization and max-pooling with a size equal to the final feature map size well as four dense layers. We used the ADAM optimizer to minimize categorical cross-entropy. A dataset consisting of 21328 image patches of 128 CT scans with …

Go to article

Evaluating The Role Of Carbon Quantum Dots Covered Silica Nanofillers On The Partial Discharge Performance Of Transformer Insulation, Kasi Viswanathan Palanisamy, Chandrasekar Subramaniam, Balaji Sakthivel May 2022

Evaluating The Role Of Carbon Quantum Dots Covered Silica Nanofillers On The Partial Discharge Performance Of Transformer Insulation, Kasi Viswanathan Palanisamy, Chandrasekar Subramaniam, Balaji Sakthivel

Turkish Journal of Electrical Engineering and Computer Sciences

The article presents the experimental results on the role of carbon quantum dots (CQD) covered silica nanofillers on the partial discharge (PD) properties of transformer oil insulation. The improvement in PD performance of nanofiller blend oil is tested with increased voltage gradient and nanofiller concentration. PD of nanoblend oils for various concentrations of modified silica ranging from 0 to 0.1%wt was measured. PD activity of the test samples is simulated in the laboratory with needle, rod and plane electrode geometry combinations. The facets of PD signals such as PD magnitude, PD inception and time duration of PD extracted from phase-resolved …

Go to article

Strategic Integration Of Battery Energy Storage And Photovoltaic At Low Voltage Level Considering Multiobjective Cost-Benefit, Samarjit Patnaik, Manas Nayak, Meera Viswavandya May 2022

Strategic Integration Of Battery Energy Storage And Photovoltaic At Low Voltage Level Considering Multiobjective Cost-Benefit, Samarjit Patnaik, Manas Nayak, Meera Viswavandya

Turkish Journal of Electrical Engineering and Computer Sciences

Renewable energy sources, such as solar photovoltaic (PV) systems and battery energy storage systems (BESS), help reduce greenhouse gas emissions while fulfilling the world?s growing energy demand. The inclusion of BESS reduces the peak hour demand, and control of charging and discharging of BESS can be economical for distributors facing time-based energy pricing. This paper discusses a novel multiobjective Horse herd optimisation algorithm (MOHHOA) approach, which is inspired by the social behaviour of horses in herds for PV and BESS optimal allocation in the radial distribution system. The proposed algorithm combines multiple benefits like benefits from economic gain per day, …

Go to article

Anomaly Detection In Rotating Machinery Using Autoencoders Based On Bidirectional Lstm And Gru Neural Networks, Krishna Patra, Rabi Narayan Sethi, Dhiren Kkumar Behera May 2022

Anomaly Detection In Rotating Machinery Using Autoencoders Based On Bidirectional Lstm And Gru Neural Networks, Krishna Patra, Rabi Narayan Sethi, Dhiren Kkumar Behera

Turkish Journal of Electrical Engineering and Computer Sciences

A time series anomaly is a form of anomalous subsequence that indicates future faults will occur. The development of novel techniques for detecting this type of anomaly is significant for real-time system monitoring. Several algorithms have been used to classify anomalies successfully. However, the time series anomaly detection algorithm was not studied well. We use a new bidirectional LSTM and GRU neural networks-based hybrid autoencoder to detect if a machine is operating normally in this research. An autoencoder is trained on a set of 12 features taken from healthy operating data gathered promptly after a planned maintenance period using vibration …

Go to article

Detecting Cybersecurity And Behavioral Anomalies In Smart Grid Substation, Anfal Yahya Hathah May 2022

Detecting Cybersecurity And Behavioral Anomalies In Smart Grid Substation, Anfal Yahya Hathah

Theses and Dissertations

Due to the increasing number of cyberattacks on smart grid networks globally in the last decade, maintaining a stable electric power supply has become increasingly challenging. The shift from traditional means of measurement instrumentation to smarter devices in electrical substations is experiencing increasing incidents of intrusion. Defense against those intrusions is now a global trending research topic and is attracting governments’ attention. Various techniques have been developed to mitigate the effect of cyberattacks on national power grid systems. The state estimation technique has proven its capability in detecting random false data-injection attacks (FDIAs). However, attackers may have considerable knowledge of …

Go to article

Learning Target Class Eigen Subspace (Ltc-Es) Via Eigen Knowledge Grid, Sanjay Kumar Sonbhadra, Sonali Agarwal, P. Nagabhushan May 2022

Learning Target Class Eigen Subspace (Ltc-Es) Via Eigen Knowledge Grid, Sanjay Kumar Sonbhadra, Sonali Agarwal, P. Nagabhushan

Turkish Journal of Electrical Engineering and Computer Sciences

In one-class classification (OCC) tasks, only the target class (class-of-interest (CoI)) samples are well defined during training, whereas the other class samples are totally absent. In OCC algorithms, the high dimensional data adds computational overhead apart from its intrinsic property of curse of dimensionality. For target class learning, conventional dimensionality reduction (DR) techniques are not suitable due to negligence of the unique statistical properties of CoI samples. In this context, the present research proposes a novel target class guided DR technique to extract the eigen knowledge grid that contains the most promising eigenvectors of variance-covariance matrix of CoI samples. In …

Go to article

A Novel Fault Detection Approach Based On Multilinear Sparse Pca: Application Onthe Semiconductor Manufacturing Processes, Riadh Toumi, Yahia Kourd, Dimitri Lefebvre May 2022

A Novel Fault Detection Approach Based On Multilinear Sparse Pca: Application Onthe Semiconductor Manufacturing Processes, Riadh Toumi, Yahia Kourd, Dimitri Lefebvre

Turkish Journal of Electrical Engineering and Computer Sciences

Batch processes are extremely important to researchers since they are widely used in many fields such as biochemistry, pharmacy, and semiconductors. The powerful batch detection method is critical to increase the performance of the overall equipment and to reduce the use of check wafers. Many techniques have been used in batch process monitoring. Among them, the multivariate statistical process control (MSPC) is very useful in batch process monitoring because of the large number of records data. Therefore, batch processes have certain characteristics, such as multimodal batch nonlinearity trajectories, which were challenged by these MSPCs. In this paper, a novel process …

Go to article

A Hybrid Acoustic-Rf Communication Framework For Networked Control Of Autonomous Underwater Vehicles: Design And Cosimulation, Saeed Nourizadeh Azar, Oytun Erdemi̇r, Mehrullah Soomro, Özgür Gürbüz Ünlüyurt, Ahmet Onat May 2022

A Hybrid Acoustic-Rf Communication Framework For Networked Control Of Autonomous Underwater Vehicles: Design And Cosimulation, Saeed Nourizadeh Azar, Oytun Erdemi̇r, Mehrullah Soomro, Özgür Gürbüz Ünlüyurt, Ahmet Onat

Turkish Journal of Electrical Engineering and Computer Sciences

Underwater control applications, especially ones using autonomous underwater vehicles (AUVs) have become very popular for industrial and military underwater exploration missions. This has led to the requirement of establishing a high data rate communication link between base stations and AUVs, while underwater systems mostly rely on acoustic communications. However, limited data rate and considerable propagation delay are the major challenges for employing acoustic communication in missions requiring high control gains. In this paper, we propose a hybrid acoustic and RF communication framework for establishing a networked control system, in which, for long distance communication and control the acoustic link is …

Go to article

Ai-Synthesized Speech : Generation And Detection, Ehab Alsayed Albadawy Abdrabuh May 2022

Ai-Synthesized Speech : Generation And Detection, Ehab Alsayed Albadawy Abdrabuh

Legacy Theses & Dissertations (2009 - 2024)

From speech to images, and videos, advances in machine learning have led to dramatic improvements in the quality and realism of so-called AI-synthesized content. While there are many exciting and interesting applications, this type of content can also be used to create convincing and dangerous fakes. We seek to develop forensic techniques that can distinguish a real human voice from a synthesized voice. We observe that deep neural networks used to synthesize speech introduce specific and unusual artifacts not typically found in human speech. Although not necessarily audible, we develop various detection algorithms to measure these artifacts and be able …

Go to article

Comparing Actively Managed Mutual Fund Categories To Index Funds Using Linear Regression Forecasting And Portfolio Optimization, Luke Weiner May 2022

Comparing Actively Managed Mutual Fund Categories To Index Funds Using Linear Regression Forecasting And Portfolio Optimization, Luke Weiner

Industrial Engineering Undergraduate Honors Theses

The global investment industry offers a wide variety of investment products especially for individual investors. One such product, index funds, which are younger than actively managed mutual funds, have typically outperformed managed funds. Despite this phenomenon, investors have displayed a tendency to continue investing in actively managed funds. Although only a small percentage of actively managed funds outperform index funds, the costs of actively managed funds are significantly higher. Also, managed fund performances are most often determined by their fund category such as growth or real estate. I wanted to answer the following question for individual investors: can we …

Go to article

Structural Checking Tool Restructure And Matching Improvements, Derek Taylor May 2022

Structural Checking Tool Restructure And Matching Improvements, Derek Taylor

Graduate Theses and Dissertations

With the rising complexity and size of hardware designs, saving development time and cost by employing third-party intellectual property (IP) into various first-party designs has become a necessity. However, using third-party IPs introduces the risk of adding malicious behavior to the design, including hardware Trojans. Different from software Trojan detection, the detection of hardware Trojans in an efficient and cost-effective manner is an ongoing area of study and has significant complexities depending on the development stage where Trojan detection is leveraged. Therefore, this thesis research proposes improvements to various components of the soft IP analysis methodology utilized by the Structural …

Go to article

Efficient And Scalable Algorithms For Estimating Structural Properties Of Large Graphs, Shiju Li May 2022

Efficient And Scalable Algorithms For Estimating Structural Properties Of Large Graphs, Shiju Li

Theses and Dissertations

Large complex networks and graphs are everywhere. Examples include social networks, web graphs, communication networks, power grids, and transportation networks. The ongoing rapid expansion of such networks has triggered a tremendous amount of attention in various disciplines. Estimating the structural and topological properties of the large complex networks has been at the heart of the understanding of the networks. However, such estimations often become technically challenging. This dissertation is focused on how to estimate three non-trivial structural quantities on large networks efficiently and scalably by transcending the current state-of-the-art algorithms. The structural quantities to estimate are (1) a function of …

Go to article

Eco: A Sustainability Education Chatbot, Joey Gruber May 2022

Eco: A Sustainability Education Chatbot, Joey Gruber

Theses/Capstones/Creative Projects

There is a lack of access to information about sustainability from what the climate crisis is to how to recycle properly. For both sustainability-informed and uninformed individuals, learning new information about sustainability and reducing their waste in a way that compliments their lifestyle is time-consuming, requires strategic skills, and can cost them money. ECO is an audio and text-based chatbot that teaches users to be more environmentally conscious through waste reduction.

Go to article

Optimized Damage Assessment And Recovery Through Data Categorization In Critical Infrastructure System., Shruthi Ramakrishnan May 2022

Optimized Damage Assessment And Recovery Through Data Categorization In Critical Infrastructure System., Shruthi Ramakrishnan

Graduate Theses and Dissertations

Critical infrastructures (CI) play a vital role in majority of the fields and sectors worldwide. It contributes a lot towards the economy of nations and towards the wellbeing of the society. They are highly coupled, interconnected and their interdependencies make them more complex systems. Thus, when a damage occurs in a CI system, its complex interdependencies make it get subjected to cascading effects which propagates faster from one infrastructure to another resulting in wide service degradations which in turn causes economic and societal effects. The propagation of cascading effects of disruptive events could be handled efficiently if the assessment and …

Go to article

A Novel Data Lineage Model For Critical Infrastructure And A Solution To A Special Case Of The Temporal Graph Reachability Problem, Ian Moncur May 2022

A Novel Data Lineage Model For Critical Infrastructure And A Solution To A Special Case Of The Temporal Graph Reachability Problem, Ian Moncur

Graduate Theses and Dissertations

Rapid and accurate damage assessment is crucial to minimize downtime in critical infrastructure. Dependency on modern technology requires fast and consistent techniques to prevent damage from spreading while also minimizing the impact of damage on system users. One technique to assist in assessment is data lineage, which involves tracing a history of dependencies for data items. The goal of this thesis is to present one novel model and an algorithm that uses data lineage with the goal of being fast and accurate. In function this model operates as a directed graph, with the vertices being data items and edges representing …

Go to article

Modeling Damage Spread, Assessment, And Recovery Of Critical Systems, Justin Burns May 2022

Modeling Damage Spread, Assessment, And Recovery Of Critical Systems, Justin Burns

Graduate Theses and Dissertations

Critical infrastructure systems have recently become more vulnerable to attacks on their data systems through internet connectivity. If an attacker is successful in breaching a system’s defenses, it is imperative that operations are restored to the system as quickly as possible. This thesis focuses on damage assessment and recovery following an attack. A literature review is first conducted on work done in both database protection and critical infrastructure protection, then the thesis defines how damage affects the relationships between data and software. Then, the thesis proposes a model using a graph construction to show the cascading affects within a system …

Go to article

Privacy-Preserving Blockchain-Based Registration Scheme For Av Parking System, Alexander Haastrup May 2022

Privacy-Preserving Blockchain-Based Registration Scheme For Av Parking System, Alexander Haastrup

Honors Theses

Autonomous Vehicles (AV) are a prime example of how innovation and automation are at the forefront of growing technology trends. The concern of parking systems is becoming apparent as research into ways to increase the efficiency and cost-effectiveness of AV continues. To ward against various internet attackers and secure users' sensitive information, an efficient AV parking system must have powerful user privacy and cyber security capabilities. In my work, I present a blockchain-based privacy registration system for AV parking systems that meets the following criteria. The proposed scheme incorporates k-Nearest Neighbor (kNN) - an efficient and lightweight algorithm - for …

Go to article

Self-Efficacy Development In Elementary-Aged Learners Through Dance As An Algorithmic Thinking Tool, Niva Shrestha May 2022

Self-Efficacy Development In Elementary-Aged Learners Through Dance As An Algorithmic Thinking Tool, Niva Shrestha

Honors Theses

The purpose of this research is to demonstrate the effectiveness of a transdisciplinary approach in teaching computational thinking through dance to elementary-aged learners, with primary attention to females. With limited literature available on how pre-adolescents begin to construct conceptions of computer science and other engineering domains, including potential career pathways, the incentive of this project was to leverage a day camp for about 20 rising 3rd - 5th-grade learners to assess their identity development in computer science. Modules that teach computational thinking through dance paired with Unruly splats (block-based programmable electronic gadgets) were implemented. By conducting pre-and post-surveys and a …

Go to article

Symbolic Ns-3 For Efficient Exhaustive Testing, Jianfei Shao May 2022

Symbolic Ns-3 For Efficient Exhaustive Testing, Jianfei Shao

School of Computing: Dissertations, Theses, and Student Research

Exhaustive testing is an important type of simulation, where a user exhaustively simulates a protocol for all possible cases with respect to some uncertain factors, such as all possible packet delays or packet headers. It is useful for completely evaluating the protocol performance, finding the worst-case performance, and detecting possible design or implementation bugs of a protocol. It is, however, time consuming to use the brute force method with current NS-3, a widely used network simulator, for exhaustive testing. In this paper, we present our work on Sym-NS-3 for more efficient exhaustive testing, which leverages a powerful program analysis technique …

Go to article

First Prev Next Last