The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Problems in computer science require some time to produce an output. Some can be executed in few seconds or minutes. Others require hours, days or even centuries to produce an output. In this paper, we propose a technique to classify a problem in any of the above two categories without executing the input source code for a large test case. First, a control flow graph is generated from the Intermediate...
Location update and paging are important parts of location management of cellular network. This paper deals with a new algorithm to reduce paging cost using speed adaptive strategy. The proposed algorithm uses speed distribution and random walk model to develop look-up tables for mobile terminal. These tables are used to find out subarea size to be paged. Paging area is further reduced by introduction...
Over the past few decades, CMOS technology has mainly been driven by transistor scaling. However, the scaling benefits of conventional bulk MOSFETs come at the cost of increased short channel effects, degrading their performance as a switch. In order to counter such effects, device structures with enhanced gate control of the channel have been proposed. A double-gate (DG) MOSFET is one such structure...
Formal behavioral models are used in model-driven software development to analyze and reason about system behavior. While scenario-based models highlighting interprocess communication are closer to distributed system requirements, state-based models highlighting intra-process behavior are suitable for code generation. In this paper we present dasiaFootprinterpsila, a tool which exploits the relative...
Due to introduction of various wide-band applications in wired and wireless network demand of bandwidth is growing exponential. The existing network is not capable to meet the requirement of vast bandwidth. These requirement can be meet by all optical network which is capable of transmitting enormous data at very high speed, around 50 Tera bits per seconds (Tbps) A wavelength conversion technique...
Spin-torque transfer magnetic RAM (STT MRAM) is a promising candidate for future embedded applications. It provides desirable memory attributes such as fast access time, low cost, high density and non-volatility. However, variations in process parameters can lead to a large number of cells to fail, severely affecting the yield of the memory array. In this paper, we provide a thorough analysis of the...
In India a large proportion of the population lives in the rural areas and if India is to achieve its 10% growth target, its focus has to be on development of these rural areas and addressing their needs and requirements. Bridging of digital divide is one such need which requires immediate attention. Many steps have been taken to bridge the digital divide which includes gyandoot, eseva, bhoomi, echoupals,...
Reduction of World Wide Web user perceived latency has assumed importance in the wake of the fast development of Internet services and a huge amount of network traffic and hence adaptation of Web pages to the needs of a specific user is today's trend of Web technologies. Although Web performance can be improved by caching, the benefit of using it is rather limited owing to filling the cache with documents...
In this paper we explore whether a general topology network built up of routers with very small buffers, can maintain high throughput under TCP's congestion control mechanism. Recent results on buffer sizing challenged the widely used assumption that routers should buffer millions of packets. These new results suggest that when smooth TCP traffic goes through a single tiny buffer of size O(log W),...
It is important in communication networks to use routes that are as short as possible (i.e have low stretch) while keeping routing tables small. Recent advances in compact routing show that a stretch of 3 can be achieved while maintaining a sub- linear (in the size of the network) space at each node [14]. It is also known that no routing scheme can achieve stretch less than 3 with sub-linear space...
Multicast is a fundamental communication operation in wireless sensor networks whereby a source sensor transmits its information to a relevant subset of sensors in the network. Motivated by this, we study the advantage of network coding for minimizing the total power needed for multicast in wireless networks. We show that there is an absolute constant, depending only on the power gradient and the...
Integrated circuits today rely on extensive re-use of pre-characterized IP bocks and macro cells to meet the demand for high performance system on chip (SoC). In this paper we propose a methodology for characterization of IP blocks and macro cells for statistical timing analysis considering process variations and spatial correlations. We develop efficient models for capturing both inter-die and intra-die...
The inductance and coupling effects in interconnects and non-linear receiver loads has resulted in complex input signals and output loads for gates in the modern deep sub- micron CMOS technologies. As a result, the conventional method of timing characterization, which is based on lookup tables with input slew and output load capacitance as indices, is no longer adequate. The focus has now shifted...
Increasing variability in the manufacturing process and growing complexity of the integrated circuits has given rise to many design and verification challenges. Statistical analysis of circuits and current source based gate delay models have started to replace the conventional static timing analysis which uses lookup tables for gate delays. In this paper we develop a statistical current source based...
This paper focuses on improving the reliability of electronic systems in the electronic packaging/manufacturing industry using failure mode and effect analysis (FMEA). The paper starts with the introduction to reliability and the FMEA, It briefly summarizes the research done in these areas, describes the benefits and limitations of the FMEA, compares various FMEA approaches, defines its scope, and...
A number of algorithms have been proposed in the literature for scheduling CIOQ switches. The algorithms which have been proven to provide strict performance guarantees on delay (via the emulation of an output-queued switch) have been too complicated to implement because they require the exchange of a large amount of information between inputs and outputs. With implementation as our primary focus,...
Micro-electro-mechanical (MEMS) microphones (mics), utilizing capacitive transduction technology, have entered the cellular handset marketplace and are experiencing rapid growth. MEMS mics offer size and assembly advantages and are expected to capture a significant market share by 2008. Given the market potential, MEMS mic technology is an active area of research and development. This paper presents...
The objective of this paper is to control the real and reactive power feed to a grid from a solid-oxide fuel cell plant independently. The modification in the thermal dynamic model of the solid-oxide fuel cell is carried out to include the simulation time step. The controller performance analysis is done on a fuel-cell model developed in Matlab/Simulink platform. It is found from simulation that the...
Message Sequence Charts (MSCs) or Sequence Diagrams are one of the behavioral diagram types in the unified modeling language or UML. In system requirements modeling, MSCs are conventionally used for describing possible system scenarios. In the recent past, there have been concerted attempts to develop executable system modeling languages directly based on MSCs - Live Sequence Charts, Triggered Message...
Collaborative dispatching allows several dispatchers to view the routing solution as a dynamic model where changes to the vehicle routes can be made in real-time. In this paper we discuss implications of collaborative dispatching on real-time decision support tools for motor carriers. We present a collaborative dispatching system which uses real-time information obtained from a telematics system....
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.