University of Malta

Displaying 1-27 of 27 results

  • White Papers // Apr 2014

    Portable HPC Programming on Intel Many-Integrated-Core Hardware With MAGMA Port to Xeon Phi

    In this paper, the authors present the design and implementation of several fundamental Dense Linear Algebra (DLA) algorithms for multicore with Intel Xeon Phi coprocessors. In particular, they consider algorithms for solving linear systems. Further, they give an overview of the MAGMA MIC library, an open source, high performance library...

    Provided By University of Malta

  • White Papers // Aug 2013

    Energy-Constrained Provisioning for Scientific Workflow Ensembles

    Large computational problems may often be modeled using multiple scientific workflows with similar structure. These workflows can be grouped into ensembles, which may be executed on distributed platforms such as the cloud. In this paper, the authors focus on the provisioning of resources for scientific workflow ensembles and address the...

    Provided By University of Malta

  • White Papers // Jul 2013

    Crowdsourcing Feedback for Pay-As-You-Go Data Integration

    Providing an integrated representation of data from heterogeneous data sources involves the specification of mappings that transform the data into a consistent logical schema. With a view to supporting large-scale data integration, the specification of such mappings can be carried out automatically using algorithms and heuristics. However, automatically generated mappings...

    Provided By University of Malta

  • White Papers // Jul 2013

    Including Co-referent URIs in a SPARQL Query

    Linked data relies on instance level links between potentially differing representations of concepts in multiple datasets. However, in large complex domains, such as pharmacology, the inter-relationship of data instances needs to consider the context (e.g. task, role) of the user and the assumptions they want to apply to the data....

    Provided By University of Malta

  • White Papers // Feb 2013

    Critical Factors That Affect The Success Of Business Intelligence Systems (BIS) Implementation In An Organization

    As more organizations move towards intelligent IT infrastructure, now-a-days, Business Intelligence Systems (BIS) become a more widely used IT solution. Even though it is a widely used IT solution, many BIS implementations are not successful because they are time consuming and expensive. The benefits of BIS can be achieved if...

    Provided By University of Malta

  • White Papers // Oct 2012

    A Block-Asynchronous Relaxation Method for Graphics Processing Units

    In this paper, the authors analyze the potential of asynchronous relaxation methods on Graphics Processing Units (GPUs). They develop asynchronous iteration algorithms in CUDA and compare them with parallel implementations of synchronous relaxation methods on CPU- or GPU-based systems. For a set of test matrices from UFMC they investigate convergence...

    Provided By University of Malta

  • White Papers // May 2012

    An Accurate Model for Periodogram-Based Energy Detection Over Nakagami Fading

    Spectrum sensing is a major function within a cognitive radio system, and it is recently shown that the frequency-domain implementation of the energy detector yields a lower probability of false alarm when compared with the time-domain model. In this paper, an accurate mathematical model is presented for spectrum sensing using...

    Provided By University of Malta

  • White Papers // May 2012

    New and Accurate Results on the Performance of the Multitaper-Based Detector

    In this paper an accurate analysis is provided for the Multi-taper-based detector. The authors study the quadratic form representation of the Multi-Taper Estimate (MTE), and they derive accurate expressions of the eigen-values of the diagonalized representation of the quadratic form. It is found that in AWGN all the nonzero eigen-values...

    Provided By University of Malta

  • White Papers // Mar 2012

    Wideband Spectrum Sensing Framework for Multiple Slow Frequency Hopping Primary Users

    Cognitive radios have been advanced as a solution to improve spectral efficiency through opportunistic access of the spectrum by unlicensed users. In order to achieve its objective, a cognitive radio is required to conduct periodic spectrum sensing to avoid interfering with the licensed user of the spectrum. In this paper,...

    Provided By University of Malta

  • White Papers // Jan 2012

    Considerations for Monitoring Highly Concurrent Systems

    Sequential monitoring tools such as Larva are impractical for monitoring highly concurrent systems such as online establishments handling hundreds of transactions a second - they lock valuable resources which may otherwise be used to serve valid user requests. In the context of an open-source e-commerce system, the authors discuss design...

    Provided By University of Malta

  • White Papers // Jan 2012

    Enhancing Parallelism of Tile Bidiagonal Transformation on Multicore Architectures Using Tree Reduction

    This paper is to enhance the parallelism of the tile bi-diagonal transformation using tree reduction on multicore architectures. First introduced by Ltaief et. al, the bi-diagonal transformation using tile algorithms with a two-stage approach has shown very promising results on square matrices. However, for tall and skinny matrices, the inherent...

    Provided By University of Malta

  • White Papers // Jan 2012

    HierKNEM: An Adaptive Framework for Kernel-Assisted and Topology-Aware Collective Communications on Many-Core Clusters

    Multicore Clusters, which have become the most prominent form of High Performance Computing (HPC) systems, challenge the performance of MPI applications with non uniform memory accesses and shared caches hierarchies. Recent advances in MPI collective communications have alleviated the performance issue exposed by deep memory hierarchies by carefully considering the...

    Provided By University of Malta

  • White Papers // Jan 2012

    Programming Compensations for System-Monitor Synchronisation

    In security-critical systems such as online establishments, runtime analysis is crucial to detect and handle any unexpected behaviour. Due to resource-intensive operations carried out by such systems, particularly during peak times, synchronous monitoring is not always an option. Asynchronous monitoring, on the other hand, would not compete for system resources...

    Provided By University of Malta

  • White Papers // Dec 2011

    Component-Based Design and Verification in X-MAN

    Compositionality has the potential to enable a step-change in the scalability of formal design and verification methods for industrial-scale systems: by designing systems in a compositional manner, components can be modelled, specified, implemented, and verified independently and in parallel by different teams, leading to significant gains in terms of productivity...

    Provided By University of Malta

  • White Papers // Sep 2011

    Next Generation Entrepreneur: How Web 2.0 Technologies Creep Into SMEs

    Small and large sized enterprises are facing the same challenges in integrating their business processes and designing their business model taking into account the disrupting elements of Web2.0. Most aspects of these strategies are particularly favourable to large corporations featuring large IT infrastructure, IT competences and budget unmatched by SMEs....

    Provided By University of Malta

  • White Papers // Jul 2011

    Towards Peer-to-Peer Virtualized Service Hosting, Discovery and Delivery

    This paper introduces a peer-to-peer framework for providing, locating and consuming distributed services that are encapsulated within virtual machines. The authors believe that the decentralized nature of peer-to-peer networks acting in tandem with techniques such as live virtual machine migration and replication facilitate scalable and on-demand provision of services. Furthermore,...

    Provided By University of Malta

  • White Papers // Jan 2011

    Devolved Ontology in Practice for a Seamless Semantic Alignment within Dynamic Collaboration Networks of SMEs

    The lack of a semantic alignment between collaborating small and medium enterprises causes frequent misinterpretations when exchanging information in the form of documents. If these companies are to achieve a seamless semantic alignment by exchanging documents, the authors should employ a conceptual model which does not rely on agreeing in...

    Provided By University of Malta

  • White Papers // Aug 2010

    From CUDA to OpenCL: Towards a Performance-Portable Solution for Multi-Platform GPU Programming

    In this paper, the authors evaluate OpenCL as a programming tool for developing performance-portable applications for GPGPU. While the Khronos group developed OpenCL with programming portability in mind, performance is not necessarily portable. OpenCL has required performance-impacting initializations that do not exist in other languages such as CUDA. Understanding these...

    Provided By University of Malta

  • White Papers // May 2010

    Explaining ERP Failure in Developing Countries: A Jordanian Case Study

    Enterprise Resource Planning (ERP) systems are increasingly being adopted by organizations in developing countries. As in industrialized countries, this adoption seems beset by significant rates of failure, leading to a large waste of investment and other resources. This paper seeks to understand why ERP failure occurs. In doing this, it...

    Provided By University of Malta

  • White Papers // Feb 2010

    An Approach to Ad Hoc Cloud Computing

    The authors consider how underused computing resources within an enterprise may be harnessed to improve utilization and create an elastic computing infrastructure. Most current cloud provision involves a data center model, in which clusters of machines are dedicated to running cloud infrastructure software. They propose an additional model, the ad...

    Provided By University of Malta

  • White Papers // Feb 2010

    A Triple Graph Grammar (TGG) Approach for Mapping UML 2 Activities Into Petri Nets

    Model-to-Model mapping offers several advantages over relational mapping. In model-to-model mapping an active correspondence is kept between two pairs of models. This is facilitated if visual models are used. UML 2 activities are based on Petri net like semantics and substantial literature exists explaining the conversion process. This paper explains...

    Provided By University of Malta

  • White Papers // Jan 2010

    Return on Information Security Investment - The Viability of an Anti-Spam Solution in a Wireless Environment

    Much is said about the importance of investing in information security, but little is known on the ex-tent and effectiveness of such security programmes. A model that analyses the mechanics of an information security programme is presented. The model attempts to put an upper-bound on the information security expenditure. The...

    Provided By University of Malta

  • White Papers // Sep 2009

    Why Linked Data is Not Enough for Scientists

    Scientific data stands to represent a significant portion of the linked open data cloud and science itself stands to benefit from the data fusion capability that this will afford. However, simply publishing linked data into the cloud does not necessarily meet the requirements of reuse. Publishing has requirements of provenance,...

    Provided By University of Malta

  • White Papers // Aug 2009

    LARVA - Safer Monitoring of Real-Time Java Programs (Tool Paper)

    The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. This paper presents the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including timed-automata...

    Provided By University of Malta

  • White Papers // Jun 2009

    A Comparison of Software Analysis and Design Methods for Real Time Systems

    Real time analysis and development is an intricate process. This is because these systems exhibit special behavior. Real time timing, communication and reliability requirements are not easily explained and represented. RT development possibly involves software engineering, hardware engineering, control engineering and communication engineering. Minor changes to specifications could be very...

    Provided By University of Malta

  • White Papers // Feb 2007

    Dynamic Business Network Process Management in Instant Virtual Enterprises

    Now-a-days, business supply chains for the production of complex products or services are likely to involve a number of autonomous organizations. The competitive market requires that these supply chains are highly agile, effective and efficient. Agility and effectiveness are obtained by forming highly dynamic virtual enterprises within supplier networks. The...

    Provided By University of Malta

  • White Papers // Jul 2006

    Adoption of Icts Among Small Business: Vision Versus Reality

    It is widely recognized that small businesses with less than 100 employees make a major contribution to local and national economies. The potential for economic growth is further enhanced when businesses collaborate with each other. The aim of this paper is to present a case study of the adoption of...

    Provided By University of Malta

  • White Papers // Dec 2011

    Component-Based Design and Verification in X-MAN

    Compositionality has the potential to enable a step-change in the scalability of formal design and verification methods for industrial-scale systems: by designing systems in a compositional manner, components can be modelled, specified, implemented, and verified independently and in parallel by different teams, leading to significant gains in terms of productivity...

    Provided By University of Malta

  • White Papers // Jul 2013

    Crowdsourcing Feedback for Pay-As-You-Go Data Integration

    Providing an integrated representation of data from heterogeneous data sources involves the specification of mappings that transform the data into a consistent logical schema. With a view to supporting large-scale data integration, the specification of such mappings can be carried out automatically using algorithms and heuristics. However, automatically generated mappings...

    Provided By University of Malta

  • White Papers // May 2010

    Explaining ERP Failure in Developing Countries: A Jordanian Case Study

    Enterprise Resource Planning (ERP) systems are increasingly being adopted by organizations in developing countries. As in industrialized countries, this adoption seems beset by significant rates of failure, leading to a large waste of investment and other resources. This paper seeks to understand why ERP failure occurs. In doing this, it...

    Provided By University of Malta

  • White Papers // Feb 2013

    Critical Factors That Affect The Success Of Business Intelligence Systems (BIS) Implementation In An Organization

    As more organizations move towards intelligent IT infrastructure, now-a-days, Business Intelligence Systems (BIS) become a more widely used IT solution. Even though it is a widely used IT solution, many BIS implementations are not successful because they are time consuming and expensive. The benefits of BIS can be achieved if...

    Provided By University of Malta

  • White Papers // Sep 2009

    Why Linked Data is Not Enough for Scientists

    Scientific data stands to represent a significant portion of the linked open data cloud and science itself stands to benefit from the data fusion capability that this will afford. However, simply publishing linked data into the cloud does not necessarily meet the requirements of reuse. Publishing has requirements of provenance,...

    Provided By University of Malta

  • White Papers // Jul 2013

    Including Co-referent URIs in a SPARQL Query

    Linked data relies on instance level links between potentially differing representations of concepts in multiple datasets. However, in large complex domains, such as pharmacology, the inter-relationship of data instances needs to consider the context (e.g. task, role) of the user and the assumptions they want to apply to the data....

    Provided By University of Malta

  • White Papers // Aug 2013

    Energy-Constrained Provisioning for Scientific Workflow Ensembles

    Large computational problems may often be modeled using multiple scientific workflows with similar structure. These workflows can be grouped into ensembles, which may be executed on distributed platforms such as the cloud. In this paper, the authors focus on the provisioning of resources for scientific workflow ensembles and address the...

    Provided By University of Malta

  • White Papers // Feb 2010

    A Triple Graph Grammar (TGG) Approach for Mapping UML 2 Activities Into Petri Nets

    Model-to-Model mapping offers several advantages over relational mapping. In model-to-model mapping an active correspondence is kept between two pairs of models. This is facilitated if visual models are used. UML 2 activities are based on Petri net like semantics and substantial literature exists explaining the conversion process. This paper explains...

    Provided By University of Malta

  • White Papers // Aug 2009

    LARVA - Safer Monitoring of Real-Time Java Programs (Tool Paper)

    The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. This paper presents the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including timed-automata...

    Provided By University of Malta

  • White Papers // Jun 2009

    A Comparison of Software Analysis and Design Methods for Real Time Systems

    Real time analysis and development is an intricate process. This is because these systems exhibit special behavior. Real time timing, communication and reliability requirements are not easily explained and represented. RT development possibly involves software engineering, hardware engineering, control engineering and communication engineering. Minor changes to specifications could be very...

    Provided By University of Malta

  • White Papers // Jul 2011

    Towards Peer-to-Peer Virtualized Service Hosting, Discovery and Delivery

    This paper introduces a peer-to-peer framework for providing, locating and consuming distributed services that are encapsulated within virtual machines. The authors believe that the decentralized nature of peer-to-peer networks acting in tandem with techniques such as live virtual machine migration and replication facilitate scalable and on-demand provision of services. Furthermore,...

    Provided By University of Malta

  • White Papers // Jan 2010

    Return on Information Security Investment - The Viability of an Anti-Spam Solution in a Wireless Environment

    Much is said about the importance of investing in information security, but little is known on the ex-tent and effectiveness of such security programmes. A model that analyses the mechanics of an information security programme is presented. The model attempts to put an upper-bound on the information security expenditure. The...

    Provided By University of Malta

  • White Papers // Jan 2012

    Programming Compensations for System-Monitor Synchronisation

    In security-critical systems such as online establishments, runtime analysis is crucial to detect and handle any unexpected behaviour. Due to resource-intensive operations carried out by such systems, particularly during peak times, synchronous monitoring is not always an option. Asynchronous monitoring, on the other hand, would not compete for system resources...

    Provided By University of Malta

  • White Papers // Jan 2012

    Considerations for Monitoring Highly Concurrent Systems

    Sequential monitoring tools such as Larva are impractical for monitoring highly concurrent systems such as online establishments handling hundreds of transactions a second - they lock valuable resources which may otherwise be used to serve valid user requests. In the context of an open-source e-commerce system, the authors discuss design...

    Provided By University of Malta

  • White Papers // May 2012

    An Accurate Model for Periodogram-Based Energy Detection Over Nakagami Fading

    Spectrum sensing is a major function within a cognitive radio system, and it is recently shown that the frequency-domain implementation of the energy detector yields a lower probability of false alarm when compared with the time-domain model. In this paper, an accurate mathematical model is presented for spectrum sensing using...

    Provided By University of Malta

  • White Papers // May 2012

    New and Accurate Results on the Performance of the Multitaper-Based Detector

    In this paper an accurate analysis is provided for the Multi-taper-based detector. The authors study the quadratic form representation of the Multi-Taper Estimate (MTE), and they derive accurate expressions of the eigen-values of the diagonalized representation of the quadratic form. It is found that in AWGN all the nonzero eigen-values...

    Provided By University of Malta

  • White Papers // Mar 2012

    Wideband Spectrum Sensing Framework for Multiple Slow Frequency Hopping Primary Users

    Cognitive radios have been advanced as a solution to improve spectral efficiency through opportunistic access of the spectrum by unlicensed users. In order to achieve its objective, a cognitive radio is required to conduct periodic spectrum sensing to avoid interfering with the licensed user of the spectrum. In this paper,...

    Provided By University of Malta

  • White Papers // Jan 2012

    Enhancing Parallelism of Tile Bidiagonal Transformation on Multicore Architectures Using Tree Reduction

    This paper is to enhance the parallelism of the tile bi-diagonal transformation using tree reduction on multicore architectures. First introduced by Ltaief et. al, the bi-diagonal transformation using tile algorithms with a two-stage approach has shown very promising results on square matrices. However, for tall and skinny matrices, the inherent...

    Provided By University of Malta

  • White Papers // Jan 2012

    HierKNEM: An Adaptive Framework for Kernel-Assisted and Topology-Aware Collective Communications on Many-Core Clusters

    Multicore Clusters, which have become the most prominent form of High Performance Computing (HPC) systems, challenge the performance of MPI applications with non uniform memory accesses and shared caches hierarchies. Recent advances in MPI collective communications have alleviated the performance issue exposed by deep memory hierarchies by carefully considering the...

    Provided By University of Malta

  • White Papers // Feb 2010

    An Approach to Ad Hoc Cloud Computing

    The authors consider how underused computing resources within an enterprise may be harnessed to improve utilization and create an elastic computing infrastructure. Most current cloud provision involves a data center model, in which clusters of machines are dedicated to running cloud infrastructure software. They propose an additional model, the ad...

    Provided By University of Malta

  • White Papers // Aug 2010

    From CUDA to OpenCL: Towards a Performance-Portable Solution for Multi-Platform GPU Programming

    In this paper, the authors evaluate OpenCL as a programming tool for developing performance-portable applications for GPGPU. While the Khronos group developed OpenCL with programming portability in mind, performance is not necessarily portable. OpenCL has required performance-impacting initializations that do not exist in other languages such as CUDA. Understanding these...

    Provided By University of Malta

  • White Papers // Oct 2012

    A Block-Asynchronous Relaxation Method for Graphics Processing Units

    In this paper, the authors analyze the potential of asynchronous relaxation methods on Graphics Processing Units (GPUs). They develop asynchronous iteration algorithms in CUDA and compare them with parallel implementations of synchronous relaxation methods on CPU- or GPU-based systems. For a set of test matrices from UFMC they investigate convergence...

    Provided By University of Malta

  • White Papers // Jul 2006

    Adoption of Icts Among Small Business: Vision Versus Reality

    It is widely recognized that small businesses with less than 100 employees make a major contribution to local and national economies. The potential for economic growth is further enhanced when businesses collaborate with each other. The aim of this paper is to present a case study of the adoption of...

    Provided By University of Malta

  • White Papers // Sep 2011

    Next Generation Entrepreneur: How Web 2.0 Technologies Creep Into SMEs

    Small and large sized enterprises are facing the same challenges in integrating their business processes and designing their business model taking into account the disrupting elements of Web2.0. Most aspects of these strategies are particularly favourable to large corporations featuring large IT infrastructure, IT competences and budget unmatched by SMEs....

    Provided By University of Malta

  • White Papers // Jan 2011

    Devolved Ontology in Practice for a Seamless Semantic Alignment within Dynamic Collaboration Networks of SMEs

    The lack of a semantic alignment between collaborating small and medium enterprises causes frequent misinterpretations when exchanging information in the form of documents. If these companies are to achieve a seamless semantic alignment by exchanging documents, the authors should employ a conceptual model which does not rely on agreeing in...

    Provided By University of Malta

  • White Papers // Feb 2007

    Dynamic Business Network Process Management in Instant Virtual Enterprises

    Now-a-days, business supply chains for the production of complex products or services are likely to involve a number of autonomous organizations. The competitive market requires that these supply chains are highly agile, effective and efficient. Agility and effectiveness are obtained by forming highly dynamic virtual enterprises within supplier networks. The...

    Provided By University of Malta

  • White Papers // Apr 2014

    Portable HPC Programming on Intel Many-Integrated-Core Hardware With MAGMA Port to Xeon Phi

    In this paper, the authors present the design and implementation of several fundamental Dense Linear Algebra (DLA) algorithms for multicore with Intel Xeon Phi coprocessors. In particular, they consider algorithms for solving linear systems. Further, they give an overview of the MAGMA MIC library, an open source, high performance library...

    Provided By University of Malta