- Subscribe to this page:
- RSS
- Email Alert
National University of Singapore
(187 results)-
Whitepapers
Wireless Sensor Networks Powered by Ambient Energy Harvesting: An Empirical Characterization
February 8, 2010, 12:00am PST
Wireless Sensor Networks Powered by Ambient Energy Harvesting (WSN-HEAP) can perform the task of continuous and remote monitoring of the environment without the need for replacement of batteries....
Provided by National University of Singapore
-
Whitepapers
A Robust Multihop Underwater Network for Sensing Applications - Implementation and Experimental Evaluation
September 3, 2010, 12:00am PDT
Various novel applications of underwater acoustic sensor networks have emerged or been proposed in recent years. In this paper, the authors present a complete system implementation of a robust...
Provided by National University of Singapore
-
Whitepapers
A Wide Coverage Positioning System (WPS) for Underwater Localization
February 10, 2010, 12:00am PST
Underwater localization is challenging as its efficacy is affected by propagation delays, motion-induced doppler shift, phase and amplitude fluctuations, multipath interference etc that are...
Provided by National University of Singapore
-
Whitepapers
Signal Processing for MIMO Interference Networks
April 1, 2012, 12:00am PDT
Multiple antennas, when used at both the transmitter and the receiver, create a Multiple-Input Multiple-Output (MIMO) propagation channel. Using sophisticated coding at the transmitter and...
Provided by National University of Singapore
-
Whitepapers
A Robust Indoor Pedestrian Tracking System with Sparse Infrastructure Support
April 20, 2012, 12:00am PDT
Existing approaches to indoor tracking have various limitations. Location-fingerprinting approaches are labor intensive and vulnerable to environmental changes. Trilateration approaches require at...
Provided by National University of Singapore
-
Whitepapers
Joint Time and Spatial Reuse Handshake Protocol for Underwater Acoustic Communication Networks
July 11, 2011, 12:00am PDT
In most existing handshake-based collision avoidance protocols, nodes in the proximity of the transmitter or receiver are kept silent during an ongoing communication session. In this paper, the...
Provided by National University of Singapore
-
Whitepapers
A Study on Network Coding in Underwater Networks
July 31, 2010, 12:00am PDT
In this paper, the performance of network coding in underwater acoustic networks is evaluated. This paper is to determine the suitability of using network coding for error recovery in the high...
Provided by National University of Singapore
-
Whitepapers
Wireless Information and Power Transfer: A Dynamic Power Splitting Approach
February 4, 2013, 12:00am PST
Energy harvesting is a promising solution to prolong the operation time of energy-constrained wireless networks. In particular, scavenging energy from ambient radio signals, namely Wireless Energy...
Provided by National University of Singapore
-
Whitepapers
Optimal Power and Range Adaptation for Green Broadcasting
November 27, 2012, 12:00am PST
Improving energy efficiency is key to network providers maintaining profit levels and an acceptable carbon footprint in the face of rapidly increasing data traffic in cellular networks in the...
Provided by National University of Singapore
-
Whitepapers
A Novel Mode Switching Scheme Utilizing Random Beamforming for Opportunistic Energy Harvesting
January 21, 2013, 12:00am PST
Since radio signals carry both energy and information simultaneously, a unified study on Simultaneous Wireless Information and Power Transfer (SWIPT) has recently attracted a great deal of...
Provided by National University of Singapore
-
Whitepapers
MIMO Broadcasting for Simultaneous Wireless Information and Power Transfer
February 10, 2013, 12:00am PST
Wireless Energy Transfer (WET) is a promising technology to provide virtually perpetual energy supplies to wireless networks. Generally speaking, WET is implementable by either the "Near-field"...
Provided by National University of Singapore
-
Whitepapers
Energy Cooperation in Cellular Networks With Renewable Powered Base Stations
January 21, 2013, 12:00am PST
In this paper, the authors propose a model for energy cooperation between cellular Base Stations (BSs) with individual renewable energy sources, limited energy storages and connected by resistive...
Provided by National University of Singapore
-
Whitepapers
Cognitive Energy Harvesting and Transmission From a Network Perspective
September 16, 2012, 12:00am PDT
Wireless networks can be self-sustaining by harvesting energy from Radio-Frequency (RF) signals. Building on classic cognitive radio networks, the authors propose a novel method for network...
Provided by National University of Singapore
-
Whitepapers
Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks
February 20, 2013, 12:00am PST
Wireless networks can be self-sustaining by harvesting energy from ambient Radio-Frequency (RF) signals. Recently, researchers have made progress on designing efficient circuits and devices for RF...
Provided by National University of Singapore
-
Whitepapers
Multiuser MISO Beamforming for Simultaneous Wireless Information and Power Transfer
March 8, 2013, 12:00am PST
In this paper, the authors study a multiuser Multiple-Input Single-Output (MISO) broadcast system for Simultaneous Wireless Information and Power Transfer (SWIPT), where a multi-antenna Access...
Provided by National University of Singapore
-
Whitepapers
A Subcarrier Allocation Scheme for MC-DS-CDMA Systems in the Presence of Multiple Access Interference
March 11, 2008, 12:00am PDT
Subcarrier allocation for multiuser MC-DS-CDMA systems is much more complicated when compared to OFDM systems due to the presence of Multiple Access Interference (MAI) when multiple users transmit...
Provided by National University of Singapore
-
Whitepapers
More Results on the Validation of Gravity Model and the Effect of User Mobility in Cell Planning
April 15, 2008, 12:00am PDT
Gravity model has recently proposed for use to predict the movement of cellular mobile subscribers. In this paper, additional data are collected and similar validation process is performed to...
Provided by National University of Singapore
-
Whitepapers
On Capacity and Optimal Scheduling for the Half-Duplex Multiple-Relay Channel
July 17, 2012, 12:00am PDT
The authors study the Half-Duplex Multiple-Relay Channel (HD-MRC) where every node can either transmit or listen but cannot do both at the same time. They obtain a capacity upper bound based on a...
Provided by National University of Singapore
-
Whitepapers
Achievable Rates and Schedules for Half Duplex Phase Fading Multiple-Relay Networks
December 10, 2008, 12:00am PST
The authors present part of their work on the capacity upper bound, achievable rates, and scheduling for the Half Duplex Multiple-Relay Channel (HD MRC) where every node can either transmit or...
Provided by National University of Singapore
-
Whitepapers
CoMP Meets Energy Harvesting: A New Communication and Energy Cooperation Paradigm
March 12, 2013, 12:00am PDT
In this paper, the authors investigate joint communication and energy cooperation in cellular networks for the Coordinated Multi-Point (CoMP) downlink transmission with Base Stations (BSs) powered...
Provided by National University of Singapore
-
Whitepapers
Efficient Routing on Multilayered Communication Networks
May 2, 2013, 12:00am PDT
The authors study the optimal routing on multilayered communication networks, which are composed of two layers of sub-networks. One is a wireless network, and the other is a wired network. They...
Provided by National University of Singapore
-
White Papers
Query Driven Data Collection and Data Forwarding in Intermittently Connected Mobile Sensor Networks
August 9, 2010, 12:00am PDT
In sparse and intermittently connected Mobile Sensor Networks (MSNs), the base station cannot easily get the data objects acquired by the mobile sensors in the field. When users query the base...
Provided by National University of Singapore
-
White Papers
Optimized Data Sharing in Multicell MIMO With Finite Backhaul Capacity
January 25, 2011, 12:00am PST
This paper addresses cooperation in a multicell environment where Base Stations (BSs) wish to jointly serve multiple users, under a constrained-capacity backhaul. The authors point out that for...
Provided by National University of Singapore
-
White Papers
Effects of Applying High Speed Congestion Control Algorithms in the Internet
November 3, 2007, 12:00am PDT
In recent years, many high-speed congestion control algorithms have been proposed for utilizing network pipes with large bandwidth-delay product, and some of them have also been implemented in...
Provided by National University of Singapore
-
White Papers
A Simulation Study of Compound TCP
July 14, 2008, 12:00am PDT
Compound TCP, an innovative delay-based congestion control algorithm has been implemented in Windows Vista of Microsoft for utilizing network pipes with huge bandwidth delay product while avoiding...
Provided by National University of Singapore
-
White Papers
Hybrid Property, Path Dependence, Market Segmentation And Financial Exclusion: The Case Of The Banking Industry In China*
April 1, 2009, 12:00am PDT
This paper investigates the role of the state in the liberalization of the banking industry in China and the implications for the conventional convergence thesis of market segmentation and...
Provided by National University of Singapore
-
White Papers
Managerial Biases And Selective Hedging
November 1, 2007, 12:00am PDT
Using data on the selective hedging activity of a sample of 92 North American gold mining firms, the authors find that the degree of selective hedging is related to past performance of derivative...
Provided by National University of Singapore
-
White Papers
Towards Efficient Proofs of Retrievability in Cloud Storage
September 19, 2011, 12:00am PDT
Backuping data in a cloud storage, for example Amazon Cloud Drive, Microsoft Skydrive, or Drop-box, is gaining popularity recently. The authors are considering scenarios where users may have...
Provided by National University of Singapore
-
White Papers
Towards a Model Checker for NesC and Wireless Sensor Networks
July 14, 2011, 12:00am PDT
Wireless Sensor Networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this...
Provided by National University of Singapore
-
White Papers
A Symbolic Model Checking Framework for Hierarchical Systems
August 11, 2011, 12:00am PDT
BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this paper, the authors report an extensible framework to facilitate symbolic encoding and...
Provided by National University of Singapore
-
White Papers
Verification of Orchestration Systems Using Compositional Partial Order Reduction
July 13, 2011, 12:00am PDT
Orc is a computation orchestration language which is designed to specify computational services, such as distributed communication and data manipulation, in a concise and elegant way. Four...
Provided by National University of Singapore
-
White Papers
On Combining State Space Reductions With Global Fairness Assumptions
June 19, 2011, 12:00am PDT
Model checking has established itself as an effective system analysis method, as it is capable of proving/disproving properties automatically. Its application to practical systems is however...
Provided by National University of Singapore
-
White Papers
Model-Based Methods for Linking Web Service Choreography and Orchestration
September 1, 2010, 12:00am PDT
In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view....
Provided by National University of Singapore
-
White Papers
Developing Model Checkers Using PAT
June 13, 2010, 12:00am PDT
During the last two decades, model checking has emerged as an effective system analysis technique complementary to simulation and testing. Many model checking algorithms and state space reduction...
Provided by National University of Singapore
-
White Papers
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol
April 14, 2010, 12:00am PDT
In this paper, the authors investigate the modeling and verification of real time systems using a case study on transmission protocol, CSMA/CD. Modeling and verification of real time systems is...
Provided by National University of Singapore
-
White Papers
Using Multi Decision Diagram in Model Checking
August 10, 2011, 12:00am PDT
Model checking is an automatic verification technique for finite concurrent systems. In this method, the assertion is verified by exhaustively searching over the state space. However, the number...
Provided by National University of Singapore
-
White Papers
An Automatic Approach to Verify Sensor Network Systems
April 12, 2010, 12:00am PDT
The programming language nesC for TinyOS applications supports special features of sensor network systems by providing a component-oriented programming model which is flexibly concurrent/reactive...
Provided by National University of Singapore
-
White Papers
Towards Verification of a Service Orchestration Language
March 1, 2010, 12:00am PST
Recently, Orc is proposed as a powerful yet elegant language for distributed and concurrent programming which provides computational services such as distributed communication and data...
Provided by National University of Singapore
-
White Papers
Model Checking C# Code: A Translation Approach
April 13, 2010, 12:00am PDT
Extracting model from source code helps to ensure the implementation in accord with design. The properties of interest can be checked on implemented system via the extracted model. Previous...
Provided by National University of Singapore
-
White Papers
Scalable Multi-Core Model Checking Fairness Enhanced Systems
September 15, 2009, 12:00am PDT
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms. The Linear...
Provided by National University of Singapore
-
White Papers
A Cooperative Retransmission Scheme in Wireless Networks With Imperfect Channel State Information
October 6, 2008, 12:00am PDT
A transmitted packet that fails to reach its intended destination may be correctly received by neighbor nodes due to the broadcast nature of the wireless medium. In a cooperative retransmission...
Provided by National University of Singapore
-
White Papers
Mobile Target Tracking for Healthcare Applications: Trade-Off Between Accuracy and Energy
April 18, 2008, 12:00am PDT
In healthcare-related human tracking applications for wireless sensor networks, introducing a mobile sensor node into a static node deployment increases its tracking accuracy as the mobile node...
Provided by National University of Singapore
-
White Papers
Markov Decision Process Frameworks for Cooperative Retransmission in Wireless Networks
October 4, 2008, 12:00am PDT
The challenging problem of cooperative retransmission in the wireless networks is investigated in this paper. This paper introduces the centralized and distributed Markov Decision Process (MDP)...
Provided by National University of Singapore
-
White Papers
Joint Cooperative MAC and Routing in IR-UWB Networks
March 14, 2009, 12:00am PDT
The cooperation issue above the physical layer, such as in the medium access control and routing layer, is less investigated in UWB networks. This is despite the large potential of the cooperation...
Provided by National University of Singapore
-
White Papers
Cooperative Spectrum Sensing Protocols for Cognitive Radio Mesh Networks
November 10, 2009, 12:00am PST
In this paper, the authors consider the cooperative spectrum sensing problem in a Cognitive Radio (CR) mesh network, where Secondary Users (SUs) are self-organized into a IEEE 802.16 mesh network...
Provided by National University of Singapore
-
White Papers
Demonstrating a Dynamic Multi-Channel Access 802.11 Mesh Network Prototype for High Bandwidth Requirement
August 19, 2010, 12:00am PDT
Multi-channel access has the potential to solve the throughput and scalability issues that mar the performance of 802.11 mesh and adhoc networks. It allows multiple simultaneous transmissions in a...
Provided by National University of Singapore
-
White Papers
Skyline Queries Against Mobile Lightweight Devices in MANETs
January 1, 2011, 12:00am PST
Skyline queries are well suited when retrieving data according to multiple criteria. While most previous work has assumed a centralized setting this paper considers skyline querying in a mobile...
Provided by National University of Singapore
-
White Papers
ES2: A Cloud Data Storage System for Supporting Both OLTP and OLAP
November 19, 2010, 12:00am PST
Cloud computing represents a paradigm shift driven by the increasing demand of Web based applications for elastic, scalable and efficient system architectures that can efficiently support their...
Provided by National University of Singapore
-
White Papers
Demo Abstract: Towards Bug-Free Implementations for Wireless Sensor Networks
July 22, 2011, 12:00am PDT
TinyOS has been widely used for developing Wireless Sensor Network (WSN) applications. The programming language of TinyOS applications, NesC, provides fine-grained control over the underlying...
Provided by National University of Singapore
-
White Papers
Integrating Specification and Programs for System Modeling and Verification
April 21, 2009, 12:00am PDT
High level specification languages like CSP use mathematical objects as abstractions to represent systems and processes. System behaviors are described as process expressions combined with...
Provided by National University of Singapore
-
White Papers
Scalable Multi-Core Model Checking Fairness Enhanced Systems
September 15, 2009, 12:00am PDT
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms. The Linear...
Provided by National University of Singapore
-
White Papers
Model Checking C# Code: A Translation Approach
April 13, 2010, 12:00am PDT
Extracting model from source code helps to ensure the implementation in accord with design. The properties of interest can be checked on implemented system via the extracted model. Previous...
Provided by National University of Singapore
-
White Papers
Towards Verification of a Service Orchestration Language
March 1, 2010, 12:00am PST
Recently, Orc is proposed as a powerful yet elegant language for distributed and concurrent programming which provides computational services such as distributed communication and data...
Provided by National University of Singapore
-
White Papers
An Automatic Approach to Verify Sensor Network Systems
April 12, 2010, 12:00am PDT
The programming language nesC for TinyOS applications supports special features of sensor network systems by providing a component-oriented programming model which is flexibly concurrent/reactive...
Provided by National University of Singapore
-
White Papers
Using Multi Decision Diagram in Model Checking
August 10, 2011, 12:00am PDT
Model checking is an automatic verification technique for finite concurrent systems. In this method, the assertion is verified by exhaustively searching over the state space. However, the number...
Provided by National University of Singapore
-
White Papers
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol
April 14, 2010, 12:00am PDT
In this paper, the authors investigate the modeling and verification of real time systems using a case study on transmission protocol, CSMA/CD. Modeling and verification of real time systems is...
Provided by National University of Singapore
-
White Papers
Developing Model Checkers Using PAT
June 13, 2010, 12:00am PDT
During the last two decades, model checking has emerged as an effective system analysis technique complementary to simulation and testing. Many model checking algorithms and state space reduction...
Provided by National University of Singapore
-
White Papers
Model-Based Methods for Linking Web Service Choreography and Orchestration
September 1, 2010, 12:00am PDT
In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view....
Provided by National University of Singapore
-
White Papers
On Combining State Space Reductions With Global Fairness Assumptions
June 19, 2011, 12:00am PDT
Model checking has established itself as an effective system analysis method, as it is capable of proving/disproving properties automatically. Its application to practical systems is however...
Provided by National University of Singapore
-
White Papers
Verification of Orchestration Systems Using Compositional Partial Order Reduction
July 13, 2011, 12:00am PDT
Orc is a computation orchestration language which is designed to specify computational services, such as distributed communication and data manipulation, in a concise and elegant way. Four...
Provided by National University of Singapore
-
White Papers
A Symbolic Model Checking Framework for Hierarchical Systems
August 11, 2011, 12:00am PDT
BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this paper, the authors report an extensible framework to facilitate symbolic encoding and...
Provided by National University of Singapore
-
White Papers
Towards a Model Checker for NesC and Wireless Sensor Networks
July 14, 2011, 12:00am PDT
Wireless Sensor Networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this...
Provided by National University of Singapore
-
White Papers
Towards Efficient Proofs of Retrievability in Cloud Storage
September 19, 2011, 12:00am PDT
Backuping data in a cloud storage, for example Amazon Cloud Drive, Microsoft Skydrive, or Drop-box, is gaining popularity recently. The authors are considering scenarios where users may have...
Provided by National University of Singapore
-
White Papers
Managerial Biases And Selective Hedging
November 1, 2007, 12:00am PDT
Using data on the selective hedging activity of a sample of 92 North American gold mining firms, the authors find that the degree of selective hedging is related to past performance of derivative...
Provided by National University of Singapore
-
White Papers
Hybrid Property, Path Dependence, Market Segmentation And Financial Exclusion: The Case Of The Banking Industry In China*
April 1, 2009, 12:00am PDT
This paper investigates the role of the state in the liberalization of the banking industry in China and the implications for the conventional convergence thesis of market segmentation and...
Provided by National University of Singapore
-
White Papers
A Simulation Study of Compound TCP
July 14, 2008, 12:00am PDT
Compound TCP, an innovative delay-based congestion control algorithm has been implemented in Windows Vista of Microsoft for utilizing network pipes with huge bandwidth delay product while avoiding...
Provided by National University of Singapore
-
White Papers
Effects of Applying High Speed Congestion Control Algorithms in the Internet
November 3, 2007, 12:00am PDT
In recent years, many high-speed congestion control algorithms have been proposed for utilizing network pipes with large bandwidth-delay product, and some of them have also been implemented in...
Provided by National University of Singapore
-
White Papers
Optimized Data Sharing in Multicell MIMO With Finite Backhaul Capacity
January 25, 2011, 12:00am PST
This paper addresses cooperation in a multicell environment where Base Stations (BSs) wish to jointly serve multiple users, under a constrained-capacity backhaul. The authors point out that for...
Provided by National University of Singapore
-
White Papers
Query Driven Data Collection and Data Forwarding in Intermittently Connected Mobile Sensor Networks
August 9, 2010, 12:00am PDT
In sparse and intermittently connected Mobile Sensor Networks (MSNs), the base station cannot easily get the data objects acquired by the mobile sensors in the field. When users query the base...
Provided by National University of Singapore
-
White Papers
Optical Protection With Pre-Configured Backup Paths and Limited Backup Resource Sharing
July 11, 2011, 12:00am PDT
In this paper, the authors consider provisioning protection in WDM optical networks with pre-configured backup paths. In the traditional protection approach, backup resources are not shared among...
Provided by National University of Singapore
-
White Papers
Synthesis of Unequally Spaced Antenna Arrays by a New Differential Evolutionary Algorithm
April 1, 2009, 12:00am PDT
The Differential Evolution (DE) algorithm with a new differential mutation base strategy, namely best of random, is applied to the synthesis of unequally spaced antenna arrays. In the best of...
Provided by National University of Singapore
-
White Papers
Adaptive Routing Algorithms in Unstructured Peer-to-Peer (P2P) Systems
February 2, 2011, 12:00am PST
There are a variety of Peer-To-Peer (P2P) systems for sharing documents currently available. According to their data organization, P2P systems are classified into two categories: structured and...
Provided by National University of Singapore
-
White Papers
A Stochastic Dynamic Model Of Trade And Growth: Convergence And Diversification
September 1, 2008, 12:00am PDT
There is a growing literature that studies the properties of models that combine international trade and neoclassical growth theory, but mostly in a deterministic setting. In this paper, the...
Provided by National University of Singapore
-
White Papers
Effective Density Queries on Continuously Moving Objects
January 1, 2011, 12:00am PST
Continuing advances in consumer electronics, mobile communications, and positioning technologies combine to render it increasingly realistic to assume that entire populations of users of mobile...
Provided by National University of Singapore
-
White Papers
Verification of Population Ring Protocols in PAT
April 20, 2009, 12:00am PDT
The population protocol model has emerged as an elegant paradigm for describing mobile ad hoc networks, consisting of a number of nodes that interact with each other to carry out a computation....
Provided by National University of Singapore
-
White Papers
Blind Motion Deblurring From a Single Image Using Sparse Approximation
March 6, 2010, 12:00am PST
Restoring a clear image from a single motion-blurred image due to camera shake has long been one challenging problem in digital imaging. Existing blind deblurring techniques either only can remove...
Provided by National University of Singapore
-
White Papers
Multi-Label Sparse Coding for Automatic Image Annotation
April 1, 2009, 12:00am PDT
Automatic image annotation, whose goal is to automatically assign the images with the keywords, has been an active research topic owing to its great potentials in image retrieval and management...
Provided by National University of Singapore
-
White Papers
Pre-DNS: A New Way of Web Acceleration
May 16, 2008, 12:00am PDT
Web retrieval latency is always a major concern to web content providers and users. In this paper, the authors propose a novel web acceleration mechanism, called server side Pre-DNS. The authors'...
Provided by National University of Singapore
-
White Papers
Why Do Firms Speculate? Evidence From The Gold Mining Industry
September 1, 2007, 12:00am PDT
The authors study the selective hedging puzzle, using data on the speculative activity of a sample of North American gold mining firms. They find that smaller firms speculate more than larger...
Provided by National University of Singapore
-
White Papers
A Graph Theoretic Approach for Optimizing Key Pre-Distribution in Wireless SensorNetworks
September 10, 2009, 12:00am PDT
Finding an optimal key assignment (subject to given constraints) for a key predistribution scheme in wireless sensor networks is a difficult task. Hence, most of the practical schemes are based on...
Provided by National University of Singapore
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
