Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (127)
- Computer Sciences (119)
- Electrical and Computer Engineering (76)
- Other Computer Engineering (65)
- Computer and Systems Architecture (43)
-
- Robotics (43)
- Digital Communications and Networking (41)
- Hardware Systems (25)
- Electrical and Electronics (21)
- Data Storage Systems (19)
- Mechanical Engineering (19)
- Digital Circuits (14)
- Systems and Communications (14)
- Controls and Control Theory (13)
- Artificial Intelligence and Robotics (12)
- Computational Engineering (12)
- Other Electrical and Computer Engineering (11)
- Signal Processing (10)
- Social and Behavioral Sciences (9)
- Software Engineering (9)
- VLSI and Circuits, Embedded and Hardware Systems (8)
- Aerospace Engineering (7)
- Business (7)
- Electro-Mechanical Systems (7)
- Information Security (7)
- Medicine and Health Sciences (7)
- Biomedical (6)
- Databases and Information Systems (6)
- Institution
-
- California Polytechnic State University, San Luis Obispo (57)
- Wright State University (35)
- Chulalongkorn University (28)
- Santa Clara University (24)
- University of Massachusetts Amherst (14)
-
- Michigan Technological University (12)
- University of Tennessee, Knoxville (12)
- Western University (11)
- Air Force Institute of Technology (9)
- University of Arkansas, Fayetteville (9)
- University of Louisville (9)
- The University of Akron (8)
- University of Kentucky (8)
- University of South Florida (8)
- University of Central Florida (7)
- University of South Carolina (7)
- Missouri University of Science and Technology (6)
- University of New Mexico (6)
- University of North Florida (6)
- Wayne State University (6)
- California State University, San Bernardino (5)
- City University of New York (CUNY) (5)
- New Jersey Institute of Technology (5)
- Virginia Commonwealth University (5)
- Washington University in St. Louis (5)
- Boise State University (4)
- Florida Institute of Technology (4)
- Louisiana State University (4)
- Marquette University (4)
- Old Dominion University (4)
- Keyword
-
- Department of Computer Science and Engineering (35)
- Machine Learning (15)
- Machine learning (8)
- Academic -- UNF -- Master of Science in Computer and Information Sciences; Dissertations (6)
- Android (6)
-
- Deep Learning (6)
- Deep learning (6)
- FPGA (6)
- Software (6)
- Thesis; University of North Florida; UNF; Dissertations (6)
- Autonomous (5)
- Computer Engineering (5)
- Engineering, Computer Science and Engineering (5)
- Natural Language Processing (5)
- App (4)
- Arduino (4)
- Artificial Intelligence (4)
- Big Data (4)
- Computer Science (4)
- Computer Vision (4)
- Daniel Felix Ritchie School of Engineering and Computer Science (4)
- IOS (4)
- Localization (4)
- Mobile (4)
- OpenFlow (4)
- Optimization (4)
- Robotics (4)
- Virtual Reality (4)
- Classification (3)
- Computer engineering (3)
- Publication
-
- Browse all Theses and Dissertations (35)
- Computer Engineering (31)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (28)
- Electronic Theses and Dissertations (26)
- Theses and Dissertations (26)
-
- Computer Science and Engineering Senior Theses (18)
- Masters Theses (17)
- Doctoral Dissertations (14)
- Dissertations, Master's Theses and Master's Reports (12)
- Electronic Thesis and Dissertation Repository (11)
- Computer Science and Software Engineering (9)
- Master's Theses (8)
- USF Tampa Graduate Theses and Dissertations (8)
- Williams Honors College, Honors Research Projects (8)
- Theses (6)
- UNF Graduate Theses and Dissertations (6)
- Electrical Engineering (5)
- Electronic Theses, Projects, and Dissertations (5)
- Graduate Theses and Dissertations (5)
- McKelvey School of Engineering Theses & Dissertations (5)
- Boise State University Theses and Dissertations (4)
- Computer Science ETDs (4)
- Computer Science and Computer Engineering Undergraduate Honors Theses (4)
- Interdisciplinary Design Senior Theses (4)
- Theses and Dissertations--Computer Science (4)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (4)
- Wayne State University Dissertations (4)
- Dissertations and Theses (3)
- Ingeniería en Automatización (3)
- LSU Doctoral Dissertations (3)
Articles 1 - 30 of 386
Full-Text Articles in Computer Engineering
Intelligent Advancements In Location Management And C-Ran Power-Aware Resource Allocation, Emad Ali Aqeeli
Intelligent Advancements In Location Management And C-Ran Power-Aware Resource Allocation, Emad Ali Aqeeli
Electronic Thesis and Dissertation Repository
The evolving of cellular networks within the last decade continues to focus on delivering a robust and reliable means to cope with the increasing number of users and demanded capacity. Recent advancements of cellular networks such as Long-Term Evolution (LTE) and LTE-advanced offer a remarkable high bandwidth connectivity delivered to the users. Signalling overhead is one of the vital issues that impact the cellular behavior. Causing a significant load in the core network hence effecting the cellular network reliability. Moreover, the signaling overhead decreases the Quality of Experience (QoE) of users. The first topic of the thesis attempts to reduce …
Implementation Of Switching Circuit Models As Vector Space Transformations, David Kebo Houngninou
Implementation Of Switching Circuit Models As Vector Space Transformations, David Kebo Houngninou
Computer Science and Engineering Theses and Dissertations
Modeling of switching circuits is the foundation for many Electronic Design Automation (EDA) tasks and is commonly used at various phases of the design flow for tasks such as simulation, justification, and other analyses. State-of-the-art simulation tools are based on discrete event algorithms using switching algebraic models and are highly optimized and mature. Symbolic simulation may also be implemented using a discrete event approach, or other approaches based on extracted functional models. The common foundation of modern simulation tools is that of a switching or Boolean algebraic model that may be augmented with timing information. Justification using switching circuit models …
Breadcrumbs: Privacy As A Privilege, Prachi Bhardwaj
Breadcrumbs: Privacy As A Privilege, Prachi Bhardwaj
Capstones
Breadcrumbs: Privacy as a Privilege Abstract
By: Prachi Bhardwaj
In 2017, the world saw more data breaches than in any year prior. The count was more than the all-time high record in 2016, which was 40 percent more than the year before that.
That’s because consumer data is incredibly valuable today. In the last three decades, data storage has gone from being stored physically to being stored almost entirely digitally, which means consumer data is more accessible and applicable to business strategies. As a result, companies are gathering data in ways previously unknown to the average consumer, and hackers are …
Bio-Inspired Multi-Spectral And Polarization Imaging Sensors For Image-Guided Surgery, Nimrod Missael Garcia
Bio-Inspired Multi-Spectral And Polarization Imaging Sensors For Image-Guided Surgery, Nimrod Missael Garcia
McKelvey School of Engineering Theses & Dissertations
Image-guided surgery (IGS) can enhance cancer treatment by decreasing, and ideally eliminating, positive tumor margins and iatrogenic damage to healthy tissue. Current state-of-the-art near-infrared fluorescence imaging systems are bulky, costly, lack sensitivity under surgical illumination, and lack co-registration accuracy between multimodal images. As a result, an overwhelming majority of physicians still rely on their unaided eyes and palpation as the primary sensing modalities to distinguish cancerous from healthy tissue. In my thesis, I have addressed these challenges in IGC by mimicking the visual systems of several animals to construct low power, compact and highly sensitive multi-spectral and color-polarization sensors. I …
Optimal Decomposition Strategy For Tree Edit Distance, Shaofeng Jiang
Optimal Decomposition Strategy For Tree Edit Distance, Shaofeng Jiang
Electronic Thesis and Dissertation Repository
An ordered labeled tree is a tree where the left-to-right order among siblings is significant. Given two ordered labeled trees, the edit distance between them is the minimum cost edit operations that convert one tree to the other.
In this thesis, we present an algorithm for the tree edit distance problem by using the optimal tree decomposition strategy. By combining the vertical compression of trees with optimal decomposition we can significantly reduce the running time of the algorithm. We compare our method with other methods both theoretically and experimentally. The test results show that our strategies on compressed trees are …
Dynamic In Vivo Skeletal Feature Tracking Via Fluoroscopy Using A Human Gait Model, William Patrick Anderson
Dynamic In Vivo Skeletal Feature Tracking Via Fluoroscopy Using A Human Gait Model, William Patrick Anderson
Doctoral Dissertations
The Tracking Fluoroscope System II, a mobile robotic fluoroscopy platform, developed and built at the University of Tennessee, Knoxville, presently employs a pattern matching algorithm in order to identify and track a marker placed upon a subject’s knee joint of interest. The purpose of this research is to generate a new tracking algorithm based around the human gait cycle for prediction and improving the overall accuracy of joint tracking.
This research centers around processing the acquired x-ray images of the desired knee joint obtained during standard clinical operation in order to identify and track directly through the acquired image. Due …
Streaming Mysql Database Activity To Aws Kinesis, Chris I. Voncina
Streaming Mysql Database Activity To Aws Kinesis, Chris I. Voncina
Computer Engineering
Connecting Amazon RDS MySQL engine with AWS Kinesis is a feature that RDS customers have often requested. A good example indicating customer demand is demonstrated on AWS’ forum post at https://forums.aws.amazon.com/thread.jspa?messageID=697516.
Upon completion, my project will enable Amazon RDS to pick up the MySQL open source project, integrate the MySQL plugin with Amazon RDS MySQL and deliver this feature to Amazon RDS MySQL customers. Other open source engine projects can follow and build upon my project.
Amazon Aurora delivered similar capability to the project. See details at https://aws.amazon.com/about-aws/whats-new/2016/10/amazon-aurora-new-features-aws-lambda-integration-and-data-load-from-amazon-s3-to-aurora-tables/
Real Time And High Fidelity Quadcopter Tracking System, Tyler Mckay Hall
Real Time And High Fidelity Quadcopter Tracking System, Tyler Mckay Hall
Computer Engineering
This project was conceived as a desired to have an affordable, flexible and physically compact tracking system for high accuracy spatial and orientation tracking. Specifically, this implementation is focused on providing a low cost motion capture system for future research. It is a tool to enable the further creation of systems that would require the use of accurate placement of landing pads, payload acquires and delivery. This system will provide the quadcopter platform a coordinate system that can be used in addition to GPS.
Field research with quadcopter manufacturers, photographers, agriculture and research organizations were contact and interviewed for information …
Query Expansion Techniques For Enterprise Search, Eric M. Domke
Query Expansion Techniques For Enterprise Search, Eric M. Domke
Masters Theses
Although web search remains an active research area, interest in enterprise search has waned. This is despite the fact that the market for enterprise search applications is expected to triple within the next six years, and that knowledge workers spend an average of 1.6 to 2.5 hours each day searching for information. To improve search relevancy, and hence reduce this time, an enterprise- focused application must be able to handle the unique queries and constraints of the enterprise environment. The goal of this thesis research was to develop, implement, and study query expansion techniques that are most effective at improving …
Pubwc Bathroom Review App, Clay Jacobs
Pubwc Bathroom Review App, Clay Jacobs
Computer Science and Software Engineering
For my senior project, I developed an iOS application to allow users to find, rate, and review nearby public restrooms. The app takes advantage of crowdsourced data to collect bathroom and review information. I also created a REST API to interface with the backend database that could be used to port the application to other platforms.
Windows Server 2012, Fisnik Gojani
Windows Server 2012, Fisnik Gojani
Theses and Dissertations
Windows Server 2012 R2 ka mbi 300 funksione të reja dhe është sistemi i parë i Microsoft Server që ka lidhje me cloud.
Windows Server 2012 paraqet një bollëk të veçorive të reja për të adresuar nevojat e evolucionit të një infrastrukture moderne IT dhe fuqisë punëtore. Bërthama e kësaj përvoje është nevoja për të shkallëzuar, virtualizuar dhe zhvendosur ngarkesat e punës, aplikacionet dhe shërbimet për cloud. Windows Server 2012 përfshin një përvojë te ndërtimit, administrimit dhe funksionimit të cloud private dhe publike, të gjitha të bazuara në Windows Server.
Windows Server 2012 siguron sigurinë e të dhënave të gjeneratës …
Proactive Sequential Resource (Re)Distribution For Improving Efficiency In Urban Environments, Supriyo Ghosh
Proactive Sequential Resource (Re)Distribution For Improving Efficiency In Urban Environments, Supriyo Ghosh
Dissertations and Theses Collection (Open Access)
Due to the increasing population and lack of coordination, there is a mismatch in supply and demand of common resources (e.g., shared bikes, ambulances, taxis) in urban environments, which has deteriorated a wide variety of quality of life metrics such as success rate in issuing shared bikes, response times for emergency needs, waiting times in queues etc. Thus, in my thesis, I propose efficient algorithms that optimise the quality of life metrics by proactively redistributing the resources using intelligent operational (day-to-day) and strategic (long-term) decisions in the context of urban transportation and health & safety. For urban transportation, Bike Sharing …
Demand Side Management In Smart Grid Using Big Data Analytics, Sidhant Chatterjee
Demand Side Management In Smart Grid Using Big Data Analytics, Sidhant Chatterjee
All Graduate Plan B and other Reports, Spring 1920 to Spring 2023
Smart Grids are the next generation electrical grid system that utilizes smart meter-ing devices and sensors to manage the grid operations. Grid management includes the prediction of load and and classification of the load patterns and consumer usage behav-iors. These predictions can be performed using machine learning methods which are often supervised. Supervised machine learning signifies that the algorithm trains the model to efficiently predict decisions based on the previously available data.
Smart grids are employed with numerous smart meters that send user statistics to a central server. The data can be accumulated and processed using data mining and machine …
Cloudskulk: Design Of A Nested Virtual Machine Based Rootkit-In-The-Middle Attack, Joseph Anthony Connelly
Cloudskulk: Design Of A Nested Virtual Machine Based Rootkit-In-The-Middle Attack, Joseph Anthony Connelly
Boise State University Theses and Dissertations
Virtualized cloud computing services are a crucial facet in the software industry today, with clear evidence of its usage quickly accelerating. Market research forecasts an increase in cloud workloads by more than triple, 3.3-fold, from 2014 to 2019 [33]. Integrating system security is then an intrinsic concern of cloud platform system administrators that with the growth of cloud usage, is becoming increasingly relevant. People working in the cloud demand security more than ever. In this paper, we take an offensive, malicious approach at targeting such cloud environments as we hope both cloud platform system administrators and software developers of these …
Automated Program Profiling And Analysis For Managing Heterogeneous Memory Systems, Adam Palmer Howard
Automated Program Profiling And Analysis For Managing Heterogeneous Memory Systems, Adam Palmer Howard
Masters Theses
Many promising memory technologies, such as non-volatile, storage-class memories and high-bandwidth, on-chip RAMs, are beginning to emerge. Since each of these new technologies present tradeoffs distinct from conventional DRAMs, next-generation systems are likely to include multiple tiers of memory storage, each with their own type of devices. To efficiently utilize the available hardware, such systems will need to alter their data management strategies to consider the performance and capabilities provided by each tier.
This work explores a variety of cross-layer strategies for managing application data in heterogeneous memory systems. We propose different program profiling-based techniques to automatically partition program allocation …
Sd-Mcan: A Software-Defined Solution For Ip Mobility In Campus Area Networks, Adam Chase Calabrigo
Sd-Mcan: A Software-Defined Solution For Ip Mobility In Campus Area Networks, Adam Chase Calabrigo
Master's Theses
Campus Area Networks (CANs) are a subset of enterprise networks, comprised of a network core connecting multiple Local Area Networks (LANs) across a college campus. Traditionally, hosts connect to the CAN via a single point of attachment; however, the past decade has seen the employment of mobile computing rise dramatically. Mobile devices must obtain new Internet Protocol (IP) addresses at each LAN as they migrate, wasting address space and disrupting host services. To prevent these issues, modern CANs should support IP mobility: allowing devices to keep a single IP address as they migrate between LANs with low-latency handoffs. Traditional approaches …
Genealogy Extraction And Tree Generation From Free Form Text, Timothy Sui-Tim Chu
Genealogy Extraction And Tree Generation From Free Form Text, Timothy Sui-Tim Chu
Master's Theses
Genealogical records play a crucial role in helping people to discover their lineage and to understand where they come from. They provide a way for people to celebrate their heritage and to possibly reconnect with family they had never considered. However, genealogical records are hard to come by for ordinary people since their information is not always well established in known databases. There often is free form text that describes a person’s life, but this must be manually read in order to extract the relevant genealogical information. In addition, multiple texts may have to be read in order to create …
Identifying Restaurants Proposing Novel Kinds Of Cuisines: Using Yelp Reviews, Haritha Akella
Identifying Restaurants Proposing Novel Kinds Of Cuisines: Using Yelp Reviews, Haritha Akella
Boise State University Theses and Dissertations
These days with TV-shows and starred chefs, new kinds of cuisines appear in the market. The main cuisines like French, Italian, Japanese, Chinese and Indian are always appreciated but they are no longer the most popular. The new trend is the fusion cuisine, which is obtained by combining different main cuisines. The opening of a new restaurant proposing new kinds of cuisine produces a lot of excitement in people. They feel the need to try it and be part of this new culture. Yelp is a platform which publishes crowd sourced reviews about different businesses, in particular, restaurants. For some …
Managed Containers For Increased Cyber-Resilience, Xavier J. Merino Aguilera
Managed Containers For Increased Cyber-Resilience, Xavier J. Merino Aguilera
Theses and Dissertations
Traditional defense mechanisms are no longer adequate in protecting critical infrastructure and mission critical systems. These systems require to be always-on-always-connected. High availability and data integrity become crucial to deliver their mission. Unable to guarantee uncompromisable security and given that systems will inevitably be attacked, we must change our goals to guarantee mission survivability, the ability of the system to fight through the attack. Previous work has been done to increase availability and integrity using virtual machines. We move away from virtual machines towards Linux containers and implement resiliency strategies to guarantee stateful system recovery after an attack. The goal …
A Framework For Clustering And Adaptive Topic Tracking On Evolving Text And Social Media Data Streams., Gopi Chand Nutakki
A Framework For Clustering And Adaptive Topic Tracking On Evolving Text And Social Media Data Streams., Gopi Chand Nutakki
Electronic Theses and Dissertations
Recent advances and widespread usage of online web services and social media platforms, coupled with ubiquitous low cost devices, mobile technologies, and increasing capacity of lower cost storage, has led to a proliferation of Big data, ranging from, news, e-commerce clickstreams, and online business transactions to continuous event logs and social media expressions. These large amounts of online data, often referred to as data streams, because they get generated at extremely high throughputs or velocity, can make conventional and classical data analytics methodologies obsolete. For these reasons, the issues of management and analysis of data streams have been researched extensively …
Design And Simulation Of An 8-Bit Successive Approximation Register Charge-Redistribution Analog-To-Digital Converter, Sumit K. Verma
Design And Simulation Of An 8-Bit Successive Approximation Register Charge-Redistribution Analog-To-Digital Converter, Sumit K. Verma
Electrical Engineering Theses
The thesis initially investigates the history of the monolithic ADCs. The next chapter explores the different types of ADCs available in the market today. Next, the operation of a 4-bit SAR ADC has been studied. Based on this analysis, an 8-bit charge-redistribution SAR ADC has been designed and simulated with Multisim (National Instruments, Austin, TX). The design is divided into different blocks which are individually implemented and tested. Level-1 SPICE MOSFET models representative of 5μm devices were used wherever individual MOSFETs were used in the design. Finally, the power dissipation during the conversion period was also estimated. The supply voltage …
Exploring Wireless Technology Applications In Clinical Staff Response Time Reduction In Healthcare Facilities, Chase R. Johnson
Exploring Wireless Technology Applications In Clinical Staff Response Time Reduction In Healthcare Facilities, Chase R. Johnson
Morehead State Theses and Dissertations
A thesis presented to the faculty of the College of Business and Technology at Morehead State University in partial fulfillment of the requirements for the Degree Master of Science by Chase R. Johnson on November 13, 2017.
Security Enhancements In Voice Over Ip Networks, Seyed Amir Iranmanesh
Security Enhancements In Voice Over Ip Networks, Seyed Amir Iranmanesh
Dissertations, Theses, and Masters Projects
Voice delivery over IP networks including VoIP (Voice over IP) and VoLTE (Voice over LTE) are emerging as the alternatives to the conventional public telephony networks. With the growing number of subscribers and the global integration of 4/5G by operations, VoIP/VoLTE as the only option for voice delivery becomes an attractive target to be abused and exploited by malicious attackers. This dissertation aims to address some of the security challenges in VoIP/VoLTE. When we examine the past events to identify trends and changes in attacking strategies, we find that spam calls, caller-ID spoofing, and DoS attacks are the most imminent …
A Study Of Very Short Intermittent Ddos Attacks On The Performance Of Web Services In Clouds, Huasong Shan
A Study Of Very Short Intermittent Ddos Attacks On The Performance Of Web Services In Clouds, Huasong Shan
LSU Doctoral Dissertations
Distributed Denial-of-Service (DDoS) attacks for web applications such as e-commerce are increasing in size, scale, and frequency. The emerging elastic cloud computing cannot defend against ever-evolving new types of DDoS attacks, since they exploit various newly discovered network or system vulnerabilities even in the cloud platform, bypassing not only the state-of-the-art defense mechanisms but also the elasticity mechanisms of cloud computing.
In this dissertation, we focus on a new type of low-volume DDoS attack, Very Short Intermittent DDoS Attacks, which can hurt the performance of web applications deployed in the cloud via transiently saturating the critical bottleneck resource of the …
Virtual Commissioning For Industrial Automation, Saihiranmitra Mudiki
Virtual Commissioning For Industrial Automation, Saihiranmitra Mudiki
Morehead State Theses and Dissertations
A thesis presented to the faculty of the College of Business and Technology at Morehead State University in partial fulfillment of the requirements for the Degree Master of Science by Saihiranmitra Mudiki on November 7, 2017.
Learning To Predict Clinical Outcomes From Soft Tissue Sarcoma Mri, Hamidreza Farhidzadeh
Learning To Predict Clinical Outcomes From Soft Tissue Sarcoma Mri, Hamidreza Farhidzadeh
USF Tampa Graduate Theses and Dissertations
Soft Tissue Sarcomas (STS) are among the most dangerous diseases, with a 50% mortality rate in the USA in 2016. Heterogeneous responses to the treatments of the same sub-type of STS as well as intra-tumor heterogeneity make the study of biopsies imprecise. Radiologists make efforts to find non-invasive approaches to gather useful and important information regarding characteristics and behaviors of STS tumors, such as aggressiveness and recurrence. Quantitative image analysis is an approach to integrate information extracted using data science, such as data mining and machine learning with biological an clinical data to assist radiologists in making the best recommendation …
Strong-Dism: A First Attempt To A Dynamically Typed Assembly Language (D-Tal), Ivory Hernandez
Strong-Dism: A First Attempt To A Dynamically Typed Assembly Language (D-Tal), Ivory Hernandez
USF Tampa Graduate Theses and Dissertations
Dynamically Typed Assembly Language (D-TAL) is not only a lightweight and effective solution to the gap generated by the drop in security produced by the translation of high-level language instructions to low-level language instructions, but it considerably eases up the burden generated by the level of complexity required to implement typed assembly languages statically. Although there are tradeoffs between the static and dynamic approaches, focusing on a dynamic approach leads to simpler, easier to reason about, and more feasible ways to understand deployment of types over monomorphically-typed or untyped intermediate languages. On this occasion, DISM, a simple but powerful and …
Improving Large Scale Application Performance Via Data Movement Reduction, Dewan M. Ibtesham
Improving Large Scale Application Performance Via Data Movement Reduction, Dewan M. Ibtesham
Computer Science ETDs
The compute capacity growth in high performance computing (HPC) systems is outperforming improvements in other areas of the system for example, memory capacity, network bandwidth and I/O bandwidth. Therefore, the cost of executing a floating point operation is decreasing at a faster rate than moving that data. This increasing performance gap causes wasted CPU cycles while waiting for slower I/O operations to complete in the memory hierarchy, network, and storage. These bottlenecks decrease application time to solution performance, and increase energy consumption, resulting in system under utilization. In other words, data movement is becoming a key concern for future HPC …
A Study Of Application-Awareness In Software-Defined Data Center Networks, Chui-Hui Chiu
A Study Of Application-Awareness In Software-Defined Data Center Networks, Chui-Hui Chiu
LSU Doctoral Dissertations
A data center (DC) has been a fundamental infrastructure for academia and industry for many years. Applications in DC have diverse requirements on communication. There are huge demands on data center network (DCN) control frameworks (CFs) for coordinating communication traffic. Simultaneously satisfying all demands is difficult and inefficient using existing traditional network devices and protocols. Recently, the agile software-defined Networking (SDN) is introduced to DCN for speeding up the development of the DCNCF. Application-awareness preserves the application semantics including the collective goals of communications. Previous works have illustrated that application-aware DCNCFs can much more efficiently allocate network resources by explicitly …
Formal Analysis Of Arithmetic Circuits Using Computer Algebra - Verification, Abstraction And Reverse Engineering, Cunxi Yu
Doctoral Dissertations
Despite a considerable progress in verification and abstraction of random and control logic, advances in formal verification of arithmetic designs have been lagging. This can be attributed mostly to the difficulty in an efficient modeling of arithmetic circuits and datapaths without resorting to computationally expensive Boolean methods, such as Binary Decision Diagrams (BDDs) and Boolean Satisfiability (SAT), that require “bit blasting”, i.e., flattening the design to a bit-level netlist. Approaches that rely on computer algebra and Satisfiability Modulo Theories (SMT) methods are either too abstract to handle the bit-level nature of arithmetic designs or require solving computationally expensive decision or …