IEEE Organizations related to Complexity Reduction And Abstraction

Back to Top


Conferences related to Complexity Reduction And Abstraction

Back to Top

2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

FUZZ-IEEE 2021 will represent a unique meeting point for scientists and engineers, both from academia and industry, to interact and discuss the latest enhancements and innovations in the field. The topics of the conference will cover all the aspects of theory and applications of fuzzy sets, fuzzy logic and associated approaches (e.g. aggregation operators such as the Fuzzy Integral), as well as their hybridizations with other artificial and computational intelligence techniques.


2020 59th IEEE Conference on Decision and Control (CDC)

The CDC is the premier conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.


2020 IEEE International Conference on Image Processing (ICIP)

The International Conference on Image Processing (ICIP), sponsored by the IEEE SignalProcessing Society, is the premier forum for the presentation of technological advances andresearch results in the fields of theoretical, experimental, and applied image and videoprocessing. ICIP 2020, the 27th in the series that has been held annually since 1994, bringstogether leading engineers and scientists in image and video processing from around the world.


2020 IEEE International Test Conference (ITC)

International Test Conference, the cornerstone of TestWeek events, is the premier conference dedicated to the electronic test of devices, boards, and systems -- covering the complete cycle from design verification, test, diagnosis, failure analysis, and back to process improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment designers, and test engineers.

  • 2019 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek events, is the premier conference dedicated to the electronic test of devices, boards and systems – covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment designers, and test engineers

  • 2018 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek™ events, is the world’s premier conference dedicated to the electronic test of devices, boards and systems-covering the complete cycle from design verification and validation, test (DFT, ATPG, and BIST), diagnosis, failure analysis and back to process, yield, reliability and design improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment suppliers, designers, and test engineers.

  • 2017 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek events, is the premier conference dedicated to the electronic test of devices, boards and systems -- covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment designers, and test engineers.

  • 2016 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek events, is the world's premier conference dedicated to the electronic test of devices, boards and systems -- covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process and design improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment designers, and test engineers.

  • 2015 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek

  • 2014 IEEE International Test Conference (ITC)

    ITC is the world's premier conference dedicated to electronic test technology, covering the complete cycle from design verification, test, diagnosis, failure analysis back to process and design improvement. At ITC, test and design professionals can confront the challenges the industry faces and learn how these challenges have been addressed by the combined efforts of academia, design tool and equipment suppliers, designers, and test engineers.

  • 2013 IEEE International Test Conference (ITC)

    International Test Conference is the world

  • 2012 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek events, is the world s premier conference dedicated to the electronic test of devices, boards and systems-covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process and design improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment suppliers, des

  • 2011 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek events, is the world s premier conference dedicated to the electronic test of devices, boards and systems-covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process and design improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment suppliers.

  • 2010 IEEE International Test Conference (ITC)

    ITC is the world's premier conference dedicated to electronic test technology, covering the complete cycle from design verification,test, diagnosis, failure analysis back to process and design improvement. At ITC, test and design professionals can confront the challenges the industry faces and learn how these challenges have been addressed by the combined efforts of academia, design tool and equipment suppliers, designers, and test engineers.

  • 2009 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek(tm) events, is the world's premier conference dedicated to the electronic test of devices, boards and systems-covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process and design improvement. At ITC, test and design professionals can confront the challenges the industry faces, and learn how these challenges are being addressed by the combined efforts of academia, design tool and equipment suppliers,

  • 2008 IEEE International Test Conference (ITC)

    International Test Conference, the cornerstone of TestWeek(tm), is the world's premier conference dedicated to the electronic test of devices, boards and systems-covering the complete cycle from design verification, test, diagnosis, failure analysis and back to process and design improvement.

  • 2007 IEEE International Test Conference (ITC)

  • 2006 IEEE International Test Conference (ITC)

  • 2005 IEEE International Test Conference (ITC)

  • 2004 IEEE International Test Conference (ITC)

  • 2003 IEEE International Test Conference (ITC)

  • 2002 IEEE International Test Conference (ITC)

  • 2001 IEEE International Test Conference (ITC)

  • 2000 IEEE International Test Conference (ITC)

  • 1999 IEEE International Test Conference (ITC)

  • 1998 IEEE International Test Conference (ITC)

  • 1997 IEEE International Test Conference (ITC)

  • 1996 IEEE International Test Conference (ITC)


2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)

ICSE is the premier forum for researchers to present and discuss the most recent innovations,trends, outcomes, experiences, and challenges in the field of software engineering. The scopeis broad and includes all original and unpublished results of empirical, conceptual, experimental,and theoretical software engineering research.


More Conferences

Periodicals related to Complexity Reduction And Abstraction

Back to Top

Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Circuits and Systems for Video Technology, IEEE Transactions on

Video A/D and D/A, display technology, image analysis and processing, video signal characterization and representation, video compression techniques and signal processing, multidimensional filters and transforms, analog video signal processing, neural networks for video applications, nonlinear video signal processing, video storage and retrieval, computer vision, packet video, high-speed real-time circuits, VLSI architecture and implementation for video technology, multiprocessor systems--hardware and software-- ...


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Methods, algorithms, and human-machine interfaces for physical and logical design, including: planning, synthesis, partitioning, modeling, simulation, layout, verification, testing, and documentation of integrated-circuit and systems designs of all complexities. Practical applications of aids resulting in producible analog, digital, optical, or microwave integrated circuits are emphasized.


Control Systems Technology, IEEE Transactions on

Serves as a compendium for papers on the technological advances in control engineering and as an archival publication which will bridge the gap between theory and practice. Papers will highlight the latest knowledge, exploratory developments, and practical applications in all aspects of the technology needed to implement control systems from analysis and design through simulation and hardware.


More Periodicals

Most published Xplore authors for Complexity Reduction And Abstraction

Back to Top

Xplore Articles related to Complexity Reduction And Abstraction

Back to Top

RAON: Recursive Abstraction of OpenFlow Networks

2014 Third European Workshop on Software Defined Networks, 2014

This paper describes RAON which is a novel solution for tackling scalability in OpenFlow networks. This approach recursively abstracts its underlying networks as OpenFlow switches to reduce complexity and to increase manageability. The design and early prototype of RAON shows very promising and graceful use cases of various scenarios.


Reduction of design complexity using virtual hardware platforms

2004 International Symposium on System-on-Chip, 2004. Proceedings., 2004

Summary form only given. Our work alms to accelerate FPGA application development by raising the level of abstraction and facilitating design reuse. We propose a solution based on network of nodes, communicating using a packet- based protocol. This network of nodes is known as customisable modular platform (CMP). A node is a computational unit, which can be hardware core running ...


IC3-guided abstraction

2012 Formal Methods in Computer-Aided Design (FMCAD), 2012

Localization is a powerful automated abstraction-refinement technique to reduce the complexity of property checking. This process is often guided by SAT-based bounded model checking, using counterexamples obtained on the abstract model, proofs obtained on the original model, or a combination of both to select irrelevant logic. In this paper, we propose the use of bounded invariants obtained during an incomplete ...


Complexity reduction in geometric selective disassembly using the wave propagation abstraction

Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146), 1998

Disassembling a subset of components from an assembly, defined as selective disassembly, often occurs during product de-manufacturing (recycling, reuse and maintenance). Selective disassembly analysis of a product enables quick assessment of the design for de-manufacturing. This paper presents an approach to solve the following selective disassembly problem: given an assembly of n components and s (<n) selected components, automatically determine ...


Petri net models, functional abstractions, and reduction techniques: applications to the design of automated manufacturing systems

IEEE Transactions on Industrial Electronics, 2005

The use of generic models in the synthesis of flexible manufacturing systems (FMSs) systems, which allows for rapid modeling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with ...


More Xplore Articles

Educational Resources on Complexity Reduction And Abstraction

Back to Top

IEEE.tv Videos

How to Cope with an Increasing Number of Objectives in Optimization - Xin Yao - WCCI 2016
"Reversible/Adiabatic Classical Computation An Overview" (Rebooting Computing)
HDAAS: An Efficient Massive-MIMO Technology - Mihai Banu: Brooklyn 5G Summit 2017
Local Activity, Memristor, and 137 - Leon Chua: 2016 International Conference on Rebooting Computing
The Autonomous City Explorer (ACE) Project--Mobile Robot Navigation in Highly Populated Urban Environments
Advanced Simulation of Nanodevices - Luca Selmi at INC 2019
Abstraction and Modeling of Cyber Security tutorial, Part 2
Search Techniques
RF as the Differentiator (RFIC 2015 Keynote)
Abstraction and Modeling of Cyber Security tutorial, Part 1
IRDS: Yield Enhancement - Slava Libman at INC 2019
COVID-19 impact on Indian electricity grid operations and the pan India lights out event of 5th April 2020
ICRA 2020-Live Project Demo: COVR
Accelerating Discrete Fourier Transforms with Dot-product engine - Miao Hu: 2016 International Conference on Rebooting Computing
Digital Neuromorphic Design of a Liquid State Machine for Real-Time Processing - Nicholas Soures: 2016 International Conference on Rebooting Computing
Robotics History: Narratives and Networks Oral Histories: Radhika Nagpal
Lloyd Watts: Reverse-Engineering the Human Auditory Pathway -WCCI 2012 Plenary talk
How Will Record-Setting Spectral Efficiency Impact Real 5G Systems? - Panel from NIWeek 5G Summit
Care Innovations: WEEE and RoHs(e-waste recycling and disposal)
Prototyping MIMO Systems with the AD9361: MicroApps 2015 - Analog Devices

IEEE-USA E-Books

  • RAON: Recursive Abstraction of OpenFlow Networks

    This paper describes RAON which is a novel solution for tackling scalability in OpenFlow networks. This approach recursively abstracts its underlying networks as OpenFlow switches to reduce complexity and to increase manageability. The design and early prototype of RAON shows very promising and graceful use cases of various scenarios.

  • Reduction of design complexity using virtual hardware platforms

    Summary form only given. Our work alms to accelerate FPGA application development by raising the level of abstraction and facilitating design reuse. We propose a solution based on network of nodes, communicating using a packet- based protocol. This network of nodes is known as customisable modular platform (CMP). A node is a computational unit, which can be hardware core running on an FPGA, or a thread running on a processor or a DSP. Hardware nodes can span over several FPGAs or there can be several nodes on a single FPGA. The packet-based communication protocol is implemented using an interchangeable interface. This interface provides a seamless data interchange between the nodes, independent of the implementation target architecture or abstraction. The communication packets of this protocol include control information and data, i.e. header and payload.

  • IC3-guided abstraction

    Localization is a powerful automated abstraction-refinement technique to reduce the complexity of property checking. This process is often guided by SAT-based bounded model checking, using counterexamples obtained on the abstract model, proofs obtained on the original model, or a combination of both to select irrelevant logic. In this paper, we propose the use of bounded invariants obtained during an incomplete IC3 run to derive higher-quality abstractions for complex problems. Experiments confirm that this approach yields significantly smaller abstractions in many cases, and that the resulting abstract models are often easier to verify.

  • Complexity reduction in geometric selective disassembly using the wave propagation abstraction

    Disassembling a subset of components from an assembly, defined as selective disassembly, often occurs during product de-manufacturing (recycling, reuse and maintenance). Selective disassembly analysis of a product enables quick assessment of the design for de-manufacturing. This paper presents an approach to solve the following selective disassembly problem: given an assembly of n components and s (<n) selected components, automatically determine a disassembly sequence for s components with minimal component removals. In general, this analysis is computationally expensive, and typically exponential. In order to reduce the complexity for optimal sequencing, we propose a wave propagation (WP) approach of computational complexity O(sn/sup 2/). The WP approach defines: (i) disassembly waves, to topologically arrange the components and (ii) intersection events between the waves, to determine the selective disassembly sequences. The intersection events are prioritized and an optimal sequence is determined in polynomial time by evaluating only the candidate events for optimal sequencing, and in the order in which the events occur. The WP approach analyzes selective disassembly from the geometric perspective and is applicable for both 2D and 3D assemblies.

  • Petri net models, functional abstractions, and reduction techniques: applications to the design of automated manufacturing systems

    The use of generic models in the synthesis of flexible manufacturing systems (FMSs) systems, which allows for rapid modeling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realize the external functional behavior of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modeled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. This paper presents new results that allow for systematic construction of functional abstractions for a class of Petri net models which can be used to represent the primary components of the automated-guided-vehicle-based FMSs.

  • Reducing communication-related complexity in heterogeneous networked medical systems considering non-functional requirements

    Networked Medical Systems (NMS) promise better data exchange in medical infrastructures such as operating rooms in hospitals and clinics. However, the heterogeneous interfaces of medical systems and varied requirements on NMS such as real-time constraints, increase the communication complexity considering network architectures, communication protocols and software/hardware components. In this paper, a robot-assisted eye surgery is used as a clinical use case. Based on this use case and its communication types, non-functional requirements on NMS are derived. An approach for abstraction is proposed which targets at reducing the communication-related complexity in NMS. Complexity reduction in this case means that a multi- interface middleware in NMS abstracts the detailed knowledge required for implementation of different communication types such as real-time communication. The middleware architecture is divided into two main parts: Communication Abstraction Provider (CAP) and Communication Abstraction Bridge (CAB). CAP is the central component of the middleware which connects the medical systems using CABs. In this paper, the focus is on the complexity reduction of the real-time communication part. For this purpose, real-time communication protocols are investigated and evaluated for application in the CAP/CAB architecture. The result of the evaluation shows that Ethernet POWERLINK is the most suitable real-time communication protocol for the CAP/CAB architecture.

  • Complexity Reduction in Developing Autonomic Systems with ASSL

    Autonomic computing promises overall IT complexity reduction by hiding system complexity and intricacy via systems capable of self-management. However, despite the fact that such systems reduce software maintenance costs and complexity, the autonomic computing approach does not provide any means for complexity reduction in autonomic system development. In this paper, we present our approach to reducing the complexity of developing autonomic systems with the Autonomic System Specification Language (ASSL). This paper reasons on the complexity-reduction factors employed by ASSL in terms of properly designed abstractions and a variety of complexity-reduction specification features.

  • Abstraction models for optical 5G transport networks

    The orchestration of radio, transport, and cloud resources is a key enabler for efficient service delivery in 5G networks. Orchestration can be achieved with a hierarchical software-defined networking (SDN) control architecture in which a global orchestrator operates above the domain controllers. In such an architecture, the abstraction of resources between the controllers and the orchestrator plays a fundamental role for the system performance. In order to reduce the orchestrator complexity, the controllers should hide as much detail as possible from the orchestrator. On the other hand, the more details are available to the orchestrator the more optimal resource orchestration strategy can be obtained. In order to assess this trade-off, we recently proposed two transport abstraction models, namely big switch (BiS) and virtual link (VL), for centralized radio access networks (C-RANs) with orchestration of radio and transport resources. We observed that VL can provide a more efficient resource orchestration than BiS at the expense of an increased implementation complexity. The contribution of this paper is twofold. We extend the BiS and VL models to make them applicable to any orchestration scenario. Then, we propose a new transport abstraction model, referred to as optical transport transformation (OTT), that aims at achieving efficient resource orchestration with a reduced implementation complexity. We compare the performance of these new abstraction models in a C-RAN use case in which backhaul and fronthaul traffic are carried over a dense wavelength division multiplexing (DWDM) network. Our results prove that in a C-RAN the best choice for the transport abstraction model depends on the availability and the reachability of the radio resources. If radio resources are scarce compared to transport resources, complex transport abstraction models are not needed and a BiS abstraction is the best choice. On the other hand, if radio resources are widely available and reachable, an OTT model guarantees the best overall performance.

  • Toward an Automated View Abstraction for Distributed Model-Driven Service Development

    UML view integration has been extensively studied in the area of model transformation in Model Driven Development. Empirical processing rules are among the most widely employed approaches for processing view abstraction, which can support model simplification, consistency checking, and management complexity reduction. However, empirical rules face some challenges such as completeness validation, consistency among rules, and composition priority arrangement. The challenge of rule composition is amplified in the environment of distributed model driven development for web service-based systems where redundant information/data is emphasized. The same redundant information can be expressed in different forms that comprise various topological structures for entity relationship networks representing the same part of the system. Such variation will result in choosing different compositions of rules executed in different orders, which will increase the severity of non- determinism from the empirical probability of some rules. In this paper, we propose a formal solution for addressing this challenge through constructing finite-state automaton for unifying empirical abstraction rules while relieving the side effects caused by redundancy. We investigate the effect of redundancy on rules application through designing a simulated distributed storage for an example diagram model. We also show the results obtained from a prototype implementation.

  • Phy layer abstraction for SU-MIMO LTE system employing parallel interference-aware detection

    Maximum-likelihood (ML) receivers are optimum receivers for MIMO systems, but their complexity grows exponentially with the modulation order of the codeword and the number of spatial layers. The Reduced Complexity ML (R-ML) receivers based on low complexity adaptation of the max-log MAP detector and reduction of searching space are a good compromise to satisfy complexity-performance trade-off. In this paper we investigate physical layer abstraction for singleuser MIMO system with a R-ML receiver performing Parallel Interference Aware (PIA) detection. We develop a light-weight extended Mutual Information Effective SINR Mapping (MIESM) methodology based on look-up tables (LUT), which take the special non-linear nature of the PIA receiver into account. The results show that the proposed LUT-based MIESM abstraction method is as accurate as the direct MIESM abstraction, but at the same time has significantly less computational complexity. It can thus be easily used in performance prediction devices as well as system level simulators.



Standards related to Complexity Reduction And Abstraction

Back to Top

No standards are currently tagged "Complexity Reduction And Abstraction"


Jobs related to Complexity Reduction And Abstraction

Back to Top