Exploring Second Life
- Christophe Diot
- Ernst Biersack
- Stefano Ferrari
- Varvello M.
Social virtual worlds such as Second Life are digital representations of the real world where human-controlled avatars evolve and interact through social activities. Understanding the characteristics of virtual worlds can be extremely valuable in order to optimize their design. In this work we perform an extensive analysis of Second Life ...
The Landscape Contest at ICPR 2010
- Albert Orriols-Puig
- Ester Bernado-Mansilla
- Ho T.
- Nuria Macia
This contest provides a new and configurable framework to evaluate the robustness of supervised classification techniques and detect their limitations. By means of an evolutionary multiobjective optimization technique, artificial data sets are generated to cover reachable regions in different dimensions of data complexity space. Systematic comparison of a diverse set ...
Rejuvenation with Workload Migration
- Hanmer R.
- Mendiratta V.
AbstractA five-state model of software rejuvenation is introduced that divides the working state into three sub-states: working, vulnerable, and preparing. The preparing state models the period during which workload is drained from software elements that are about to be rejuvenated. We compared our model to a four-state model that only ...
New Insights on Loop Radiation Efficiency
- Moongilan D.
Circuit loop area reduction is a frequently used EMC technique for minimizing differential mode current radiations and improving the overall immunity of products from electrical noise. The efficiency characteristics of loop radiation are studied and new facts on loop radiation are described. The relationship of the radiation amplitude efficiency and ...
Singularity Evaluation of the Straight-wire Mixed Potential Integral Equation in the Method of Moments Procedure
- Jalloul A.
- Jeffrey L. Young
A rigorous treatment on the computation of the various integrals that arise in the method of moments formulation of the straight-wire electric field integral equation is provided. For triangle basis functions along with delta function, pulse or triangle weights, particular attention is given to integrals whose integrands are weakly singular. ...
First-order PMD Outage Prediction Based on PMD Outage Maps
- Jaon M. Gene
- Winzer P.
We compare the applicability of different methods for the calculation of first order PMD outage probabilities, including full outage map descriptions and various simplified models. We present a comprehensive data set of PMD outage maps at 10.7-Gb/s using non return-to-zero (NRZ) and return-to-zero (RZ) on-off keying (OOK) in combination with ...
SPLIT: A Compositional LTL Verifier
- Ariel Cohen
- Namjoshi K.
- Yaniv Sa'Ar
This paper describes SPLIT, a compositional verifier for safety and general LTL properties of shared-variable, multi-threaded programs. The foundation is a computation of compact local invariants, one for each process, which are used for constructing a proof for the property. An automatic refinement procedure gradually exposes more local information, until ...
A Dash of Fairness for Compositional Reasoning
- Ariel Cohen
- Namjoshi K.
- Yaniv Sa'Ar
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the local flavor of such reasoning. We present a fully automated local reasoning algorithm which handles fairness assumptions. As local reasoning is inherently incomplete, the algorithm incorporates a ...
Indoor Tracking with Low Training and Hardware Costs
- Cortes M.
- Hobby J.
- Janiszewski T.
For indoor tracking in environments where the tags being tracked must transmit radio pings, inexpensive off-the-shelf hardware makes it practical to have approximately one or more receivers per room. Having receivers at known locations occasionally transmitting their own pings provides timely information about the path loss environment that can replace ...
Prediction of Electrical Contact Resistivity in Thermoelectric Modules (TEMs) From Module-Level Measurements
- Kolodner P.
- Marc Hodes
- S. Ravi Annapragada
- Salamon T.
- Suresh V. Garimella
Thermoelectric modules (TEMs) are solid-state devices used for cooling, heating and power generation. An experimental apparatus was developed to characterize the performance of a TEM and heat sink assembly, where the TEM is operated in refrigeration mode. A numerical model was developed to simulate the experiments. Bulk and interfacial Ohmic ...
Developing Applications for EBIF and Tru2Way(TM)
- Arlein R.
- Gaglianello R.
- Liu G.
- Spergel L.
Abstract- The ongoing convergence of Computers, Telephony and Television, along with an increasing interest by Cable MSO's in interactive applications, has created opportunities for developers to create interactive rich applications on a new set of platforms. The MSO's are basing their foray into interactive applications on industry standard platforms and ...
A Common Language Framework for Next-Generation Embedded Testing
- Chakraborty T.
- Chiang C.
- Cook T.
- Goyal S.
- Portolan M.
- Vantreuren B.
This paper describes NSDL, a language able to efficiently describe embedded testing resources in aid of automated test generation. NSDL is evaluated in the context of the IEEE P1687 standard that is being developed. It is shown that NSDL satisfies all P1687 requirements and provides a complete and flexible framework ...
An Algorithm of Finite State Machine Based on Inexact Inference Expert System
- Chen J.
- Fu S.
- Tang S.
This paper introduces anew type of finite state machine (FSM) - The FSM based on inexact inference expert system. The paper analyzes the uncertainty of issues of the classic FSM which is major difficulties of the classic, and gives an algorithm in inexact inference in detail according to the uncertainty ...
Building Scalable Virtual Routers with Trie Braiding
- Hao F.
- Kodialam M.
- Lakshman T.
- Song H.
AbstractMany popular algorithms for fast packet forwarding and filtering rely on the tree data structure. Examples are trie-based IP lookup and packet classification algorithms. With the recent interest in network virtualization, the ability to run multiple virtual router instances on a common physical router platform is essential. An important scaling ...
Regulating User Arrivals at a Mobile IP Home Agent
- Maulik Desai
- Nandagopal T.
AbstractWith the increasing levels of data usage in mobile cellular networks, Mobile IP and its variants serve as the de facto standard for mobility management. At high user loads, the Mobile IP Home Agent is unable to support registration requests within the required delay limit, leading to registration failures during ...
Robust and Fast Pattern Matching for Intrusion Detection
- Namjoshi K.
- Narlikar G.
AbstractThe rule language of an Intrusion Detection System (IDS) plays a critical role in its effectiveness. A rule language must be expressive, in order to describe attack patterns as precisely as possible. It must also allow for a matching algorithm with predictable and low complexity, in order to ensure robustness ...
Creep Corrosion of OSP and ImAg PWB Finishes
- Devaney J.
- Franey J.
- Reents W.
- Xu C.
- Yaemsiri J.
With increasing adoption of lead-free PWB surface finishes, along with increasing product deployments in more corrosive environments, the electronics industry is observing increased occurrances of corrosion-induced product failures. Particularly, creep corrosion on immersion silver has been observed to cause failures after very short service periods in G2 and worse environments, ...
Applying Software Defect Prediction Model for Reliable Product Quality
- Devarajan L.
.. Problem definition & its importance .. Potential Solution .. Empirical Defect Prediction Model framework .. Creating the baseline model .. Creating the defect profile for a project .. Case Study Applying the model .. Case Study -Process improvements .. Model Strengths & Results .. Critique of the model .. ...
System Deployment Issues and CDMA
- K S.
CDMA market in India Rural deployments Availability and reliability of power Need for high data rates Evolution to 4G LTE