University of Engineering and Technology, Taxila

Displaying 1-23 of 23 results

  • White Papers // Sep 2013

    Symbolic System Synthesis Using Answer Set Programming

    Embedded computing systems surround the user in their daily life. They are application specific computing systems embedded into a technical context. Examples of embedded computing systems are automotive, train, and avionic control systems, smart phones, medical devices, home and industrial automation systems, etc. In contrast to general purpose computing systems,...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2013

    Model-Based Representation of Schedules for Dataflow Graphs

    Dataflow models of computation are often used in model-based MPSoC design flows, as they naturally expose the parallelism contained in an application. In a dataflow model, concurrent processes communicate via packets transmitted over channels. During system design, actors mapped to the same processing element must be scheduled. While model-based schedule...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Nov 2012

    Development and Implementation of a Feature-Based Automatic Classification Algorithm for Communication Standards in the 868 MHz Band

    Wireless communication systems used for home automation applications in Europe suffer from the recurring standardization problem. Devices from different manufacturers often use different and incompatible protocol waveforms for communication. In this paper, the authors present the development and the implementation of a feature-based automatic classification algorithm for communication standards that...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Aug 2012

    Progressing Toward Realistic Mobility Models in VANET Simulations

    Much progress can be observed in the domain of Vehicular Ad Hoc NETwork (VANET) research looking back at the last decade. It can be seen that studies of vehicular communication protocols in the context of VANETs are typically based on simulation models. This approach has two major prerequisites: First, detailed...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jul 2012

    WAFFle: Fingerprinting Filter Rules of Web Application Firewalls

    Web Application Firewalls (WAFs) are used to detect and block attacks against vulnerable web applications. They distinguish benign requests from rogue requests using a set of filter rules. The authors present a new timing side channel attack that an attacker can use to remotely distinguish passed requests from requests that...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // May 2012

    Trellis-Based Equalization Schemes for Physical Layer Network Coding

    In this paper, the authors consider two-way relaying in a physical layer network coded system in a scenario where transmissions are subject to frequency-selective fading. Physical Layer Network Coding (PNC) enabled single-carrier transmission systems operating in flat fading environments have been subjected to scrutiny extensively, yet approaches for tackling the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // May 2012

    A Model-Based Inter-Process Resource Sharing Approach for High-Level Synthesis of Dataflow Graphs

    High-level synthesis tools are gaining more and more acceptance in industrial design flows. While they increase productivity in implementing a single complex hardware module, synthesizing and optimizing many hardware components simultaneously is still an open problem. In particular, resource sharing is typically only performed for single components, thereby neglecting optimization...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2012

    Exploiting Model-Knowledge in High-Level Synthesis

    High-level synthesis tools are gaining more and more acceptance in industrial design flows. While they increase productivity in implementing a single complex hardware module, synthesizing and optimizing many hardware components simultaneously is still an open problem. Here, domain-specific models and specifications are seen as a key ingredient to raise the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jul 2010

    Traffic Engineering With MPLS for QoS Improvement

    There can be a lot of QoS parameters that can improved in IP MPLS network Backbone such as bandwidth, CPU utilization, memory requirement, resources distribution and database optimization of each router in the backbone. This paper have optimized database of each router by involving DR/BDR election on each interface so...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jun 2010

    Leveraging Shared Caches for Parallel Temporal Blocking of Stencil Codes on Multicore Processors and Clusters

    Bandwidth-starved multicore chips have become ubiquitous. It is well known that the performance of stencil codes can be improved by temporal blocking, lessening the pressure on the memory interface. The authors introduce a new pipelined approach that makes explicit use of shared caches in multicore environments and minimizes synchronization and...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2010

    Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach

    In this paper, the authors present an automatic reliability-aware system-level design methodology to tolerate hardware defects caused by manufacturing tolerances as well as destructive agents and aging processes at the places of activity of the system components. This is achieved by integrating the capability of a redundant placement of software...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Nov 2009

    Improved Iterative Decoding of LDPC Codes From the IEEE WiMAX Standard

    Multiple-bases belief-propagation is a parallel decoding setup which allows for improved decoding performance when compared to standard belief-propagation. Originally designed for decoding of high-density parity-check codes in an iterative manner, this method also shows good decoding results for well-designed low-density parity-check codes when signaling over the AWGN channel. The authors...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2009

    Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs

    In this paper, the authors propose an efficient modeling approach that permits simulation-based performance evaluation of MPSoC at Electronic System Level (ESL). The approach is based on a SystemC simulation framework and allows for evaluating timing effects from resource contention when mapping applications to MPSoC platforms. The abstraction level used...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2009

    Design and Implementation of IEEE 802.16 MAC Layer Simulator

    The IEEE 802.16 provides wireless broadband access for Metropolitan Area Networks (MAN). Due to support for mobility and high bandwidth, it has captured everyone's attention. Cost of the deploying IEEE 802.16 equipment is high, so, it is vital that the network is simulated before deployment. This paper presents the design...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jul 2009

    Local Enhancement for Robust Face Detection in Poor SNR Images

    Face detection is an important preprocessing stage for automated facial recognition systems. Imaging in real world environment experience substantial variation in lighting and weather conditions. Surveillance systems are a typical example of real world imaging systems. Face detection is based upon typical haar like patterns appearing in facial images. Performance...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jun 2009

    Development of Academic Attendance Monitoring System Using Fingerprint Identification

    This paper proposes a system that automates the whole process of taking attendance and maintaining its records in an academic institute. Managing people is a difficult task for most of the organizations, and maintaining the attendance record is an important factor in people management. When considering academic institutes, taking the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Apr 2009

    Multi-Objective Routing and Topology Optimization in Networked Embedded Systems

    Modern networked embedded system design has to cope with multiple design objectives. One major challenge is the determination of optimal routings with respect to these objectives. Existing automatic optimization approaches carry out a two step optimization: they perform a multi-objective topology optimization of the networked embedded system. Then, a multi-objective...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Mar 2009

    The Significance of Customer Value Within the Project Portfolio Management

    In most companies project work becomes more and more important. In order to optimize the alignment of projects with company strategy, adequate management of the project portfolio is required. In addition to the growing importance of projects and project portfolio management, a paradigm shift within the customer orientation takes place....

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2009

    System Level Performance Simulation for Heterogeneous Multi-Processor Architectures

    Performance modeling for real-time multi-processor architectures is a challenging task in the design phase of embedded hardware/software systems. As SystemC is well suited for designing a functional model of hardware/software systems, it is desirable to use SystemC with its simulation capabilities to evaluate the performance of architecture for the designed...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2009

    SYSTEMCODESIGNER-An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications

    With increasing design complexity, the gap from ESL (Electronic System Level) design to RTL synthesis becomes more and more crucial to many industrial projects. Although several behavioral synthesis tools exist to automatically generate synthesizable RTL code from C/C++/SystemC based input descriptions and software generation for embedded processors is automated as...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Mar 2007

    System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC

    Designing reconfigurable computing systems is a challenging task; especially forecasting the benefits from using reconfigurable architectures at design time is hard. As a solution, the authors present a simulation - based framework for performance evaluation of partitioned reconfigurable computing systems. With this framework, the designer is enabled to assess the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2006

    Vermont - A Versatile Monitoring Toolkit for IPFIX and PSAMP

    In this paper, the authors present Vermont, a flexible network monitoring toolkit for packet filtering and packet sampling, flow accounting, and flow aggregation. This toolkit supports the export and collection of IPFIX/PSAMP compliant monitoring data. Packet capturing is based on the well-known pcap library, which enables deployment on various hardware...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Feb 2006

    Multi-Objective Topology Optimization for Networked Embedded Systems

    In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems and partially in wireless sensor networks. By introducing a model which is suitable for heterogeneous networks with different communication bandwidths, modeling of routing restrictions and flexible binding...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jul 2009

    Local Enhancement for Robust Face Detection in Poor SNR Images

    Face detection is an important preprocessing stage for automated facial recognition systems. Imaging in real world environment experience substantial variation in lighting and weather conditions. Surveillance systems are a typical example of real world imaging systems. Face detection is based upon typical haar like patterns appearing in facial images. Performance...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jun 2009

    Development of Academic Attendance Monitoring System Using Fingerprint Identification

    This paper proposes a system that automates the whole process of taking attendance and maintaining its records in an academic institute. Managing people is a difficult task for most of the organizations, and maintaining the attendance record is an important factor in people management. When considering academic institutes, taking the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2009

    Design and Implementation of IEEE 802.16 MAC Layer Simulator

    The IEEE 802.16 provides wireless broadband access for Metropolitan Area Networks (MAN). Due to support for mobility and high bandwidth, it has captured everyone's attention. Cost of the deploying IEEE 802.16 equipment is high, so, it is vital that the network is simulated before deployment. This paper presents the design...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jul 2010

    Traffic Engineering With MPLS for QoS Improvement

    There can be a lot of QoS parameters that can improved in IP MPLS network Backbone such as bandwidth, CPU utilization, memory requirement, resources distribution and database optimization of each router in the backbone. This paper have optimized database of each router by involving DR/BDR election on each interface so...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // May 2012

    Trellis-Based Equalization Schemes for Physical Layer Network Coding

    In this paper, the authors consider two-way relaying in a physical layer network coded system in a scenario where transmissions are subject to frequency-selective fading. Physical Layer Network Coding (PNC) enabled single-carrier transmission systems operating in flat fading environments have been subjected to scrutiny extensively, yet approaches for tackling the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Aug 2012

    Progressing Toward Realistic Mobility Models in VANET Simulations

    Much progress can be observed in the domain of Vehicular Ad Hoc NETwork (VANET) research looking back at the last decade. It can be seen that studies of vehicular communication protocols in the context of VANETs are typically based on simulation models. This approach has two major prerequisites: First, detailed...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Nov 2012

    Development and Implementation of a Feature-Based Automatic Classification Algorithm for Communication Standards in the 868 MHz Band

    Wireless communication systems used for home automation applications in Europe suffer from the recurring standardization problem. Devices from different manufacturers often use different and incompatible protocol waveforms for communication. In this paper, the authors present the development and the implementation of a feature-based automatic classification algorithm for communication standards that...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Nov 2009

    Improved Iterative Decoding of LDPC Codes From the IEEE WiMAX Standard

    Multiple-bases belief-propagation is a parallel decoding setup which allows for improved decoding performance when compared to standard belief-propagation. Originally designed for decoding of high-density parity-check codes in an iterative manner, this method also shows good decoding results for well-designed low-density parity-check codes when signaling over the AWGN channel. The authors...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jul 2012

    WAFFle: Fingerprinting Filter Rules of Web Application Firewalls

    Web Application Firewalls (WAFs) are used to detect and block attacks against vulnerable web applications. They distinguish benign requests from rogue requests using a set of filter rules. The authors present a new timing side channel attack that an attacker can use to remotely distinguish passed requests from requests that...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2006

    Vermont - A Versatile Monitoring Toolkit for IPFIX and PSAMP

    In this paper, the authors present Vermont, a flexible network monitoring toolkit for packet filtering and packet sampling, flow accounting, and flow aggregation. This toolkit supports the export and collection of IPFIX/PSAMP compliant monitoring data. Packet capturing is based on the well-known pcap library, which enables deployment on various hardware...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jun 2010

    Leveraging Shared Caches for Parallel Temporal Blocking of Stencil Codes on Multicore Processors and Clusters

    Bandwidth-starved multicore chips have become ubiquitous. It is well known that the performance of stencil codes can be improved by temporal blocking, lessening the pressure on the memory interface. The authors introduce a new pipelined approach that makes explicit use of shared caches in multicore environments and minimizes synchronization and...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Mar 2009

    The Significance of Customer Value Within the Project Portfolio Management

    In most companies project work becomes more and more important. In order to optimize the alignment of projects with company strategy, adequate management of the project portfolio is required. In addition to the growing importance of projects and project portfolio management, a paradigm shift within the customer orientation takes place....

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Mar 2007

    System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC

    Designing reconfigurable computing systems is a challenging task; especially forecasting the benefits from using reconfigurable architectures at design time is hard. As a solution, the authors present a simulation - based framework for performance evaluation of partitioned reconfigurable computing systems. With this framework, the designer is enabled to assess the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Feb 2006

    Multi-Objective Topology Optimization for Networked Embedded Systems

    In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems and partially in wireless sensor networks. By introducing a model which is suitable for heterogeneous networks with different communication bandwidths, modeling of routing restrictions and flexible binding...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2009

    Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs

    In this paper, the authors propose an efficient modeling approach that permits simulation-based performance evaluation of MPSoC at Electronic System Level (ESL). The approach is based on a SystemC simulation framework and allows for evaluating timing effects from resource contention when mapping applications to MPSoC platforms. The abstraction level used...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2009

    System Level Performance Simulation for Heterogeneous Multi-Processor Architectures

    Performance modeling for real-time multi-processor architectures is a challenging task in the design phase of embedded hardware/software systems. As SystemC is well suited for designing a functional model of hardware/software systems, it is desirable to use SystemC with its simulation capabilities to evaluate the performance of architecture for the designed...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Apr 2009

    Multi-Objective Routing and Topology Optimization in Networked Embedded Systems

    Modern networked embedded system design has to cope with multiple design objectives. One major challenge is the determination of optimal routings with respect to these objectives. Existing automatic optimization approaches carry out a two step optimization: they perform a multi-objective topology optimization of the networked embedded system. Then, a multi-objective...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2009

    SYSTEMCODESIGNER-An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications

    With increasing design complexity, the gap from ESL (Electronic System Level) design to RTL synthesis becomes more and more crucial to many industrial projects. Although several behavioral synthesis tools exist to automatically generate synthesizable RTL code from C/C++/SystemC based input descriptions and software generation for embedded processors is automated as...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2012

    Exploiting Model-Knowledge in High-Level Synthesis

    High-level synthesis tools are gaining more and more acceptance in industrial design flows. While they increase productivity in implementing a single complex hardware module, synthesizing and optimizing many hardware components simultaneously is still an open problem. Here, domain-specific models and specifications are seen as a key ingredient to raise the...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2013

    Model-Based Representation of Schedules for Dataflow Graphs

    Dataflow models of computation are often used in model-based MPSoC design flows, as they naturally expose the parallelism contained in an application. In a dataflow model, concurrent processes communicate via packets transmitted over channels. During system design, actors mapped to the same processing element must be scheduled. While model-based schedule...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Sep 2013

    Symbolic System Synthesis Using Answer Set Programming

    Embedded computing systems surround the user in their daily life. They are application specific computing systems embedded into a technical context. Examples of embedded computing systems are automotive, train, and avionic control systems, smart phones, medical devices, home and industrial automation systems, etc. In contrast to general purpose computing systems,...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // May 2012

    A Model-Based Inter-Process Resource Sharing Approach for High-Level Synthesis of Dataflow Graphs

    High-level synthesis tools are gaining more and more acceptance in industrial design flows. While they increase productivity in implementing a single complex hardware module, synthesizing and optimizing many hardware components simultaneously is still an open problem. In particular, resource sharing is typically only performed for single components, thereby neglecting optimization...

    Provided By University of Engineering and Technology, Taxila

  • White Papers // Jan 2010

    Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach

    In this paper, the authors present an automatic reliability-aware system-level design methodology to tolerate hardware defects caused by manufacturing tolerances as well as destructive agents and aging processes at the places of activity of the system components. This is achieved by integrating the capability of a redundant placement of software...

    Provided By University of Engineering and Technology, Taxila