- Subscribe to this page:
- RSS
- Email Alert
software engineering
(7682 results)-
White Papers
Understanding the Influence of Individual Values on Management of Software Development: Thai IT Professionals
Jan 2012
The management of software development is a vital factor for the success of the software project. The most important component involved in the project is the team members. Individual values of...
Provided by International Association of Computer Science & Information Technology (IACSIT)
-
White Papers
Software for Schenkerian Analysis
May 2011
Software developed to automate the process of Schenkerian analysis is described. The current state of the art is that moderately good analyzes of small extracts can be generated, but more...
Provided by Lancaster University
-
White Papers
Distributed Algorithms for Improving Search Efficiency in P2P Overlays
Apr 2012
Peer-To-Peer (P2P) overlay is a distributed application architecture in which peers share their resources. Peers are equally privileged, equipotent participants in the application. Several...
Provided by mecs-press
-
White Papers
Fast Vertical Handover Algorithm for Vehicular Communication: A Holistic Approach
Apr 2012
Next generation vehicular communication environment will consist of heterogeneous Radio Access Networks (RAN). For seamless connectivity, vertical handover is a mandatory requirement. A novel...
Provided by mecs-press
-
White Papers
Automatic Large Scale Generation of Internet PoP Level Maps
Aug 2008
Point of Presence (PoP) level Internet maps are promising for tasks such as reasoning about the Internet evolution in time or Internet delay estimation. The authors thus suggest an efficient...
Provided by Tel-Aviv University
-
White Papers
Offloading AI for Peer-to-Peer Games With Dead Reckoning
Apr 2009
In this paper, the authors study the performance of an offloaded AI agent with increasing network latencies and demonstrate that dead reckoning is effective in mitigating the observed degradation....
Provided by National University of Singapore
-
White Papers
Playing With Time in Publish-Subscribe Using a Domain-Specific Model Checker
Sep 2007
Thanks to the sharp decoupling it fosters, the Publish-Subscribe paradigm is particularly suited to the implementation of dynamic applications where components join and leave the system...
Provided by Association for Computing Machinery
-
White Papers
Compositional System-Level Design Exploration With Planning of High-Level Synthesis
Mar 2012
The growing complexity of System-on-Chip (SoC) design calls for an increased usage of transaction-level modeling (TLM), high-level synthesis tools, and reuse of pre-designed components. In the...
Provided by European Design and Automation Association
-
White Papers
Supervised Design Space Exploration by Compositional Approximation of Pareto Sets
Jun 2011
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivity for multi-core...
Provided by Association for Computing Machinery
-
White Papers
Locating all the Frequency Hopping Components Using Multi-Species Particle Swarm Optimization
Aug 2011
The Particle Swarm Optimization (PSO) algorithm is applied to the problem of blind parameter estimation of frequency hopping signals. For this target, one Time Frequency representation such as...
Provided by mecs-press
-
White Papers
Modeling and Accomplishment of Loading-and-Unloading Equipment Optimum Allocation System at Bulk Terminal
Jun 2011
The configuration of port's loading-and-unloading equipment is an optimization problem, which endeavors to put limited handling equipment to each operating line to achieve the maximum overall...
Provided by mecs-press
-
White Papers
Layered Design and Collaborative Development of Network System and Its Application in Real-Time Information Cluster
Jun 2011
In order to achieve the integrated optimization in developing the big network system, this paper presented the concepts and principles of layered design method and collaborative development using...
Provided by mecs-press
-
White Papers
Genetic Spectrum Assignment Model With Constraints in Cognitive Radio Networks
Jun 2011
The interference constraints of genetic spectrum assignment model in cognitive radio networks are analyzed in this paper. An improved genetic spectrum assignment model is proposed. The population...
Provided by mecs-press
-
White Papers
A Public Opinion Classification Algorithm Based on Micro-Blog Text Sentiment Intensity: Design and Implementation
Apr 2011
On the features of short content and nearly real-time broadcasting velocity of micro-blog information, the authors' lab constructed a public opinion corpus named MPO Corpus. Then, based on the...
Provided by mecs-press
-
White Papers
Semi-Distributed Coordinative Switch Beamforming With Power Scheduling
Mar 2011
Beam cooperative scheduling of a downlink transmission is an important technique to improve the spectrum efficiency in next generation mobile networks. This paper focuses on switched beams (the...
Provided by mecs-press
-
White Papers
Design and Application of A New Hybrid Heuristic Algorithm for Flow Shop Scheduling
Mar 2011
A new heuristic algorithm was designed by combining with Johnson method, NEH method and characteristics of scheduling, and it was implemented on MATLAB. The efficiency of the new algorithm was...
Provided by mecs-press
-
White Papers
Application of CL Multi-Wavelet Transform and DCT in Information Hiding Algorithm
Feb 2011
How to make the Information Hiding scheme have a better performance in terms of invisibility, robustness, sensitivity and anti-steganalysis becomes a research hotspot. Currently, the algorithm has...
Provided by mecs-press
-
White Papers
A Method of Hash Join in the DAS Model
Feb 2011
In the Database As Service(DAS) model, authenticated join processing is more difficult than authenticated range query because the previous approach of authenticated range query, signature on a...
Provided by mecs-press
-
White Papers
Nonlinear Blind Source Separation Using Kernel Multi-Set Canonical Correlation Analysis
Nov 2010
To solve the problem of nonlinear Blind Source Separation (BSS), a novel algorithm based on kernel Multi-set Canonical Correlation Analysis (MCCA) is presented. Combining complementary research...
Provided by mecs-press
-
White Papers
Research on the Method of Multi-Channel Video Acquisition and Display Based on FPGA
Nov 2010
With the problems of high speed and asynchronism in a multi-channel video, a video monitor system based on FPGA and SRAM is designed and implemented. The system adopts the method of time-division...
Provided by mecs-press
-
White Papers
Efficient Synthesis of Networks on Chip
Jan 2012
The authors propose an efficient heuristic for the Constraint-Driven Communication Synthesis (CDCS) of on-chip communication networks. The complexity of the synthesis problems comes from the...
Provided by University of California
-
White Papers
A Case Study in Distributed Deployment of Embedded Software for Camera Networks
Apr 2009
The authors present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. They analyze a series of alternative decompositions of the...
Provided by Economic Development Association of Alabama
-
White Papers
Putting the Software Radio on a Low-Calorie Diet
Oct 2010
Modern software-defined radios are large, expensive, and power-hungry devices and this, the authors argue, hampers their more widespread deployment and use, particularly in low-power,...
Provided by Association for Computing Machinery
-
White Papers
From Datalog Rules to Efficient Programs With Time and Space Guarantees
Jun 2009
This paper describes a method for transforming any given set of Datalog rules into an efficient specialized implementation with guaranteed worst-case time and space complexities, and for computing...
Provided by Association for Computing Machinery
-
White Papers
Modal Abstractions of Concurrent Behaviour
Jun 2010
The authors present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems...
Provided by Association for Computing Machinery
-
White Papers
How Do Distribution and Time Zones Affect Software Development? a Case Study on Communication
May 2011
Software projects have crossed seas and continents looking for talented developers, moving from local developments to geographically distributed projects. This paper presents a case study...
Provided by ETH Zurich
-
White Papers
Teaching Software Engineering Using Globally Distributed Projects: The DOSE Course
May 2011
Distributed software development poses new software engineering challenges. To prepare student for these new challenges, the authors have been teaching software engineering using globally...
Provided by Association for Computing Machinery
-
White Papers
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs
Jul 2011
Automated random testing is effective at detecting faults but it is certainly not an optimal testing strategy for every given program. For example, an automated random testing tool ignores that...
Provided by ETH Zurich
-
White Papers
Signature Visualization of Software Binaries
Sep 2008
In this paper, the authors present work on the visualization of software binaries. In particular, they utilize ROSE, an open source compiler infrastructure, to pre-process software binaries, and...
Provided by Association for Computing Machinery
-
White Papers
Inferring Method Specifications From Natural Language API Descriptions
Mar 2012
Application Programming Interface (API) documents are a typical way of describing legal usage of reusable software libraries, thus facilitating software reuse. However, even with such documents,...
Provided by North Carolina State University
-
White Papers
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification
Mar 2012
Combinatorial Testing (CT) is a systematic way of sampling input parameters of the Software Under Test (SUT). A t-way combinatorial test set can exercise all behaviors of the SUT caused by...
Provided by North Carolina State University
-
White Papers
Performance Analysis on Mobile Agent Based Congestion Control Using AODV Routing Protocol Technique With Hop by Hop Algorithm for Mobile Ad-Hoc Network
Apr 2012
In Mobile Ad hoc NETworks (MANETs) congestion occurs due to the packet loss and it can be successfully reduced by involving congestion control scheme which includes routing algorithm and a flow...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Adaptive MMSE Equalizer for Blind Fractional Spaced CMA Channel Equalization Through LMS Algorithm
Feb 2012
The adaptive algorithm has been widely used in the digital signal processing like channel estimation, channel equalization, echo cancellation, and so on. One of the most important adaptive...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Elitist Genetic Algorithm Based Energy Efficient Routing Scheme for Wireless Sensor Networks
Apr 2012
Wireless Sensor Networks have gained world-wide attention in recent years due to the advances made in wireless communication, information technologies and electronics field. They consists of...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Algorithmic and Architectural Optimization of a 3D Reconstruction Medical Images Algorithm for a Hardware Implementation
Apr 2012
This paper presents an optimization of an FPGA circuit implementation of 3D reconstruction algorithm of medicals images. It is based on an algorithmic specification in the shape of a Factorized...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
Cryptanalyzing of Message Digest Algorithms MD4 and MD5
Mar 2012
Hash functions are tools used in integrity of messages, digital signatures and digital time stamping. Message digest algorithms started with public key cryptography for authentication. Digest...
Provided by Academy & Industry Research Collaboration Center
-
White Papers
A Hybrid Feature Selection Model for Software Fault Prediction
Apr 2012
Software fault prediction plays a vital role in software quality assurance. Identifying the faulty modules helps to better concentrate on those modules and helps improve the quality of the...
Provided by Kumaraguru College of Technology (KCT)
-
White Papers
Brief Description of Routing Protocols in MANETS and Performance and Analysis (AODV, AOMDV, TORA)
Jan 2012
A variety of routing protocols have been proposed and several of them have been extensively simulated or implemented as well. In this paper, the authors compare and evaluate the performance of...
Provided by International Journal of Advanced Research in Computer Science and Software Engineering (IJARCSSE)
-
White Papers
Performance Analysis and Enhancement of Routing Protocol in Manet
Apr 2012
MANET (Mobile Adhoc NETwork) is a self organizing and self configuring network without the need of any centralized base station. In MANETs, the nodes are mobile and battery operated. As the nodes...
Provided by International Journal of Modern Engineering Research (IJMER)
-
White Papers
Developed Automated Electoral System Algorithm Using Biometric Data to Eliminate Electoral Irregularities in Nigeria
Feb 2011
This paper presents an aspect of research work that was carried out to resolve the many challenges in Nigeria electoral process. All efforts by Nigerian voters to ensure that their votes are...
Provided by International Journal of Computer Applications
-
Case Studies
Implementing and Upgrading eMatrix for the World's Largest Electronic Component Manufacturer
Dec 2009
The world's largest manufacturer of passive and electronic components - featuring five major business segments and operations in more than 60 countries had several engineering programs in progress...
Provided by Satyam Computer Services
-
Case Studies
Windchill Implementation and Upgradation for a Tier-1 Global Automotive Supplier
Dec 2009
A Tier-1, global automotive supplier operating in 15 business segments and 150 manufacturing facilities needed to enhance its legacy system and improve its ability to plan and manage its...
Provided by Satyam Computer Services
-
Case Studies
Agile PLM Implementation for Global Consumer Electronics and Media Company
Mar 2010
The customer, a world's leading innovative company known for its cutting-edge computers, mobile phones and media services, was battling to replace its home grown PLM application. The company was...
Provided by Satyam Computer Services
-
Case Studies
Clearing and Settlement System Reengineering for an Investment Bank
Jul 2009
The customer, an investment bank in the APAC region, executes and clears futures and futures options, traded in global exchanges. The customer wanted to reengineer the legacy application to newer...
Provided by Satyam Computer Services
-
Case Studies
Billing System Reverse Engineering for an IT Services Company
Jul 2009
The customer, an IT services company, wanted to reverse engineer its legacy fixed-line billing system. The objective was to reverse engineer the legacy billing system to arrive at the design...
Provided by Satyam Computer Services
-
Case Studies
Optio Development for Leading Automotive Component Manufacturer
Dec 2009
The customer is the world's largest automotive component manufacturer that operates through nine sites across Europe. The customer wanted to streamline, automate and control its document-centric...
Provided by Satyam Computer Services
-
Case Studies
Proof of Maturity for Steering Software for a Leading Automotive Supplier
Dec 2009
The customer, a tier 1 automotive supplier based in Europe and North America, is among the world leaders in automotive safety, developing and producing the industry's widest variety of active and...
Provided by Satyam Computer Services
-
Case Studies
Inertial Sensor Development for a Global Automotive Supplier
Dec 2009
The customer, a tier 1 automotive supplier based in Europe and North America, is among the world leaders in automotive safety, developing and producing the industry's widest variety of active and...
Provided by Satyam Computer Services
-
Whitepapers
Best in Class Marketers Drive Enhanced Customer Loyalty
Sep 2010
As marketing and sales organizations endeavor to escape the constricted economy of 2009, one of the most significant barriers to sustainable business growth lies squarely in their source of...
Provided by SAP
-
Case Studies
Egyptian Ministry of Health Manages Hospital Performance to Improve Healthcare
Aug 2010
The Egyptian Ministry of Health (MOH) needed more accurate and timely performance data on the country's nearly 6,500 public hospitals and clinics so that it could deliver better healthcare to...
Provided by Microsoft
-
Case Studies
VMware Case Study: TSI Terminal Systems (TSI)
Dec 2007
TSI Terminal Systems (TSI) is Canada's largest shipping terminal operator. Eighty percent of the Port of Vancouver's container traffic flows through TSI's terminals, which, in 2006, totaled...
Provided by VMware
-
Case Studies
VMware Helps Shanghai Telecom Research Institute Deploy a Flexible Testing Environment
Nov 2008
The Shanghai Telecom Research Institute is responsible for extensive product testing tasks. Requirements for testing environments are broad and varied, and change constantly; furthermore, if a...
Provided by VMware
-
Case Studies
VMware Case Study: Scientific Technologies Corporation
Nov 2007
Scientific Technologies Corporation (STC) is an international public health informatics company with nearly two decades of experience. STC wanted to quickly grow software company that needed to...
Provided by VMware
-
Case Studies
Automotive Leader JM Family Fuels Operational, Patching Success With VMware vCenter Configuration Manager
Jun 2010
Founded in 1968, JM Family grew from a core distribution business to a diversified automotive corporation focused on vehicle distribution and processing, finance and warranty services, insurance...
Provided by VMware
-
Case Studies
VMware Case Study: Iskandar Regional Development Authority
Jun 2009
Iskandar Regional Development Authority (IRDA) was formed in 2007 as the single government agency empowered to plan, promote, process, stimulate, facilitate and undertake development in Iskandar...
Provided by VMware
-
Whitepapers
IBM Maximo Asset Management:Energy solutions for the U.S. Federal government
Aug 2010
This white paper describes the value IBM has created for the U.S. Federal government through the application of knowledge management to the business of facilities management. Leveraging the best...
Provided by IBM
-
Case Studies
SAP Solutions on VMware Infrastructure Pass Checkpoint Test
May 2008
Checkpoint Systems International is a leading manufacturer and marketer of identification, tracking, security and merchandising solutions for the retail industry and its supply chain. Checkpoint...
Provided by VMware
-
Case Studies
Hologic Inc. Accelerates Engineering Change Order Cycle Times From 40 Days to 4 Days
Sep 2009
Hologic Inc. wanted to reduce Engineering Change Order (ECO) cycle times to introduce products faster and more efficiently and automate the ECO system to reduce overhead costs. The challenge was...
Provided by Oracle
-
Case Studies
German Startup Succeeds in Fastest-Growing IT Market With Sun Servers and Software
Dec 2008
Conemis AG wanted to maximize limited startup resources and drive new business. The challenge was to gain success quickly in growing market. Conemis built an SaaS environment based on Sun servers...
Provided by Oracle
-
White Papers
CloudSwicth Architecture Overview
Apr 2010
CloudSwitch software bridges the enterprise data center with cloud computing environments, extending enterprise security and control into the cloud. Using CloudSwitch, existing applications run...
Provided by CloudSwitch
-
White Papers
Kronos Workforce Central on VMware Virtual Infrastructure
Jun 2010
Kronos and VMware conducted extensive testing of Kronos software products on VMware virtual infrastructure. The tested products demonstrated remarkable stability running on the VMware platform,...
Provided by VMware
-
White Papers
Overview of Transparent Interconnection of Lots of Links (TRILL)
Jun 2010
The Internet Engineering Task Force is developing a new shortest path frame Layer 2 (L2) routing protocol for multihop environments. The new protocol is called Transparent Interconnection of Lots...
Provided by NetApp
-
Whitepapers
Using Microsoft's Free Tools to Image and Deploy Windows 7
Aug 2010
Microsoft provides freely available and quite powerful tools that can help you image and deploy Windows 7. This white paper explores those components and their processes used during these...
Provided by Global Knowledge
-
Case Studies
AMAG Safeguards Sales Cycle for 70,000 New Cars Each Year With CA Wily APM
Jul 2010
AMAG is the largest car importer in Switzerland and sells up to 70,000 new cars each year. It operates 80 own car dealerships and sells, finances and services Audi, SEAT, Skoda, Volkswagen and...
Provided by CA
-
White Papers
Choosing the Right Saas Product Development Partner
Mar 2010
With a majority of ISVs adopting an offshore model for their product development needs, immediate impediments can be addressed by choosing a right-sized offshoring partner. However, choosing a...
Provided by Sonata Software
-
White Papers
Enterprise Mashup Platforms - A QA Perspective
Nov 2009
Much before the advent of digital data, man grappled with the problem of storage, retrieval and representation of data. It is in this context that Mashups have gained prominence. Testing mashup...
Provided by Imaginea
-
White Papers
What Screen-Scraping Vendors Don't Want You to Know
Aug 2010
As time passes and systems age, application modernization becomes a growing need among many companies. Applications created 10, 20, or even 30 years ago cannot handle the technological and...
Provided by michaels, ross & cole
-
Webcasts
Notes & Domino webcast: Webcast replay and commissioned study on Lotus and Domino 8.5 economic benefits
Aug 2010
In this prerecorded Webcast, senior Forrester Consulting analysts present a Total Economic Impact (TEI) commissioned study on Lotus Notes and Domino 8.5. The Forrester TEI methodology, developed...
Provided by IBM
-
Whitepapers
Whitepaper: Understanding IBM Lotus Sametime and Unified Telephony
Aug 2010
This white paper defines the IBM® Unified Communications and Collaboration (IBM UC2™) vision of making it easy for you to find, reach, and collaborate with others through a unified user...
Provided by IBM
-
Downloads
UC2 Software: Immediately Help Reduce Costs and Unleash the Collaborative Power of Your Company
Aug 2010
You can immediately reduce IT and travel costs, while simultaneously improving communications and collaboration with office, remote and mobile co-workers, customers, partners and extended...
Provided by IBM
-
Case Studies
Law Firm Simplifies Web and Email Security Across Multiple Offices With Webroot Security SaaS
Apr 2009
Lester Aldridge LLP is a leading law firm with over 350 staff based across four sites in the UK; Lester Aldridge relies upon email and the Internet for communication and research on a daily basis....
Provided by Webroot Software
-
Case Studies
College of Law Resolves Email Security Issue With Webroot e-Mail Security SaaS
Jul 2009
Guildford-based College of Law is a leading supplier of legal education and training in the UK, with affiliations and endorsements from many of the country's leading legal firms. The IT team had...
Provided by Webroot Software
-
Case Studies
Juniper Networks Improves Visibility and Productivity With Product Lifecycle Management
Jul 2010
Juniper Networks wanted to reduce costs, improve quality, and increase speed in the manufacturing of high technology products and improve communication with contract manufacturers and minimize...
Provided by Oracle
-
White Papers
Issues to Consider Before Building Your Own Software License Manager
Jan 2010
So one want to protect the software product with a license manager, and are now debating whether to develop the own licensing tool or purchase a commercial licensing solution. Perhaps one of the...
Provided by Google
-
White Papers
Php Programming, Training, Php Solutions, Help: Server-Side + Client-Side Validation
Jan 2010
When one puts a form on the page, it must have a form validation. Why? Because there is no guarantee that users will input correctly, it may also process incorrect values site, and the risky...
Provided by Shared Terminal
-
White Papers
Php + Url Rewriting Using .htaccess : Php Programming, Training
Jan 2010
Handy for anyone updating a site from static h to dynamic php pages; requests to the old pages are automatically rewritten to the new urls. No one notices a thing, visitors and search engines can...
Provided by Shared Terminal
-
White Papers
Introducing Php for Beginners - Php Programming
Jan 2010
Maybe one certainly familiar the word PHP (Hypertext Preprocessor), but one don't know how powerful programming language it is. Many features it can offer for one, Nowadays PHP has the advantage...
Provided by Shared Terminal
-
Case Studies
Software Development Firm Expands Market Reach With Cost-Efficient Cloud Services
Jul 2010
Software development company Quest Software develops IT management solutions and has helped more than 100,000 enterprise customers worldwide improve IT efficiency. Historically, the company has...
Provided by Microsoft
-
Case Studies
Startup Projects More Than 150 Percent Net Income Growth Per Year From Cloud-Related Services
May 2010
One stands at the edge of a new wave of computing, from the perspective of the principals at cloud service broker Strategic SaaS. More and more businesses will migrate from an on-premises model of...
Provided by Microsoft
-
Whitepapers
COBOL Whitepaper: Updating Rules for COBOL Generated Code to Use CICS Channels and Containers
Aug 2010
IBM® WebSphere® ILOG Rules for COBOL generates a COBOL sub-program from the rules that have been externalized and managed in the ILOG Rules Repository. The externalization of business rules...
Provided by IBM
-
White Papers
PCA Analysis of Few Parameters Role in Software Development
Feb 2011
Principal component analysis is one of the dimension reduction methods with the goal of using the correlation structure among the predictor variables. Qualitative/quantitative measurement of...
Provided by International Journal of Computer Applications
-
White Papers
Development of an Improved Feature Based Algorithm for Image Matching
Feb 2011
Image matching plays an important role in many fields such as pattern searching & recognizing, image analysis, robotics & computer vision. It is a method to find a certain image in the image...
Provided by International Journal of Computer Applications
-
White Papers
Recognition of Distorted CAD Objects Using Neural Networks
Feb 2011
The uses of features have been considered to be the technology which bridges the gap between Computer Aided Design (CAD) and Computer Aided Manufacturing (CAM) in the CIMS (Computer Integrated...
Provided by International Journal of Computer Applications
-
White Papers
A Graph-Based Approach to API Usage Adaptation
Oct 2010
Reusing existing library components is essential for reducing the cost of software development and maintenance. When library components evolve to accommodate new feature requests, to fix bugs, or...
Provided by Association for Computing Machinery
-
White Papers
Scalable and Precise Dynamic Datarace Detection for Structured Parallelism
Apr 2012
In this paper, the authors presented a new dynamic data race detection algorithm for structured parallel programs. The algorithm can process the program in parallel, uses O(1) space per memory...
Provided by Association for Computing Machinery
-
White Papers
Benefits and Barriers of User Evaluation in Software Engineering Research
Oct 2011
In this paper, the authors identify trends about, benefits from, and barriers to performing user evaluations in software engineering research. From a corpus of over 3,000 papers spanning ten...
Provided by Association for Computing Machinery
-
White Papers
DP-FAIR: A Simple Model for Understanding Optimal Multiprocessor Scheduling
Apr 2010
The authors consider the problem of optimal real-time scheduling of periodic and sporadic tasks for identical multiprocessors. A number of recent papers have used the notions of fluid scheduling...
Provided by University of California
-
White Papers
Scalable Emulation of Enterprise Systems
Aug 2009
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity of large...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
FPH: First-Class Polymorphism for Haskell Declarative, Constraint-Free Type Inference for Impredicative Polymorphism
Sep 2008
Languages supporting polymorphism typically have ad-hoc restrictions on where polymorphic types may occur. Supporting "Firstclass" polymorphism, by lifting those restrictions, is obviously...
Provided by Association for Computing Machinery
-
White Papers
Modular Data Storage With Anvil
Oct 2009
Databases have achieved orders-of-magnitude performance improvements by changing the layout of stored data - for instance, by arranging data in columns or compressing it before storage. These...
Provided by Association for Computing Machinery
-
White Papers
Practical and Theoretical Aspects of a Parallel Twig Join Algorithm for XML Processing Using a GPGPU
Feb 2012
With an increasing amount of data and demand for fast query processing, the efficiency of database operations continues to be a challenging task. A common approach is to leverage parallel hardware...
Provided by Technion-Israel Institute of Technology
-
White Papers
A Balanced Energy Consumption Sleep Scheduling Algorithm in Wireless Sensor Networks
Jun 2011
Network lifetime is one of the most critical issues for Wireless Sensor Networks (WSNs) since most sensors are equipped with non-rechargeable batteries with limited energy. To prolong the lifetime...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
GC Assertions: Using the Garbage Collector to Check Heap Properties
Jun 2009
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance problems, such as...
Provided by Association for Computing Machinery
-
White Papers
Hierarchical Cross-Entropy Optimization for Fast On-Chip Decap Budgeting
Nov 2011
Decoupling capacitor (decap) has been widely used to effectively reduce dynamic power supply noise. Traditional decap budgeting algorithms usually explore the sensitivity-based nonlinear...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Power Grid Analysis With Hierarchical Support Graphs
Dec 2011
It is increasingly challenging to analyze present day large-scale Power Delivery Networks (PDNs) due to the drastically growing complexity in power grid design. To achieve greater runtime and...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
The Fast Optimal Voltage Partitioning Algorithm for Peak Power Density Minimization
Nov 2010
Increasing transistor density in nanometer integrated circuits has resulted in large on-chip power density. As a high-level power optimization technique, voltage partitioning is effective in...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
In Search of a Unified Theory of Software Engineering
Jun 2007
Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The discipline of...
Provided by KTH Royal Institute of Technology
-
White Papers
Fast - Lipschitz Optimization With Wireless Sensor Networks Applications
Apr 2011
Motivated by the need for fast computations demanded by wireless sensor networks, the new F-Lipschitz optimization theory is introduced for a novel class of optimization problems. These problems...
Provided by Association for Computing Machinery
-
White Papers
Kronecker Structured Covariance Matrix Estimation
Jun 2007
The estimation of signal covariance matrices is a crucial part of many signal processing algorithms. In some applications, the structure of the problem suggests that the underlying, true,...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
On Estimation of Covariance Matrices With Kronecker Product Structure
Jun 2007
The estimation of signal covariance matrices is a crucial part of many signal processing algorithms. In some applications, the structure of the problem suggests that the underlying, true...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
Content Based Social Behavior Prediction: A Multi-Task Learning Approach
Oct 2011
The study of information flow analyzes the principles and mechanisms of social information distribution. It is becoming an extremely important research topic in social network research....
Provided by Association for Computing Machinery
-
White Papers
Boosting With Structure Information in the Functional Space: An Application to Graph Classification
Jul 2010
Boosting is a very successful classification algorithm that produces a linear combination of "Weak" classifiers (a.k.a. base learners) to obtain high quality classification models. In this paper,...
Provided by Association for Computing Machinery
-
White Papers
Shaping Fitness Functions for Coevolving Cooperative Multiagent Systems
Jun 2010
Co-evolution is a natural approach to evolve teams of agents which must cooperate to achieve some system objective. However, in many co-evolutionary approaches, credit assignment is often...
Provided by International Foundation for Autonomous Agents and Multiagent Systems
-
White Papers
Supporting Reconfiguration and Re-Use Through Self-Describing Component Interfaces
Nov 2010
Run-time reconfigurable component models have been highlighted as having particular potential in networked embedded systems. In these models, explicit interface definitions promote the re-use of...
Provided by Association for Computing Machinery
-
White Papers
Filter-Resistant Code Injection on ARM
Oct 2010
Code injection attacks are one of the most powerful and important classes of attacks on software. In these attacks, the attacker sends malicious input to a software application, where it is stored...
Provided by Springer Science+Business Media
-
White Papers
Linearly Constrained Minimum Variance Cooperative Relay Beamforming for Multiuser Wireless Networks: A Convex Optimization Approach
Oct 2008
In this paper, the authors develop a beamforming algorithm for multiuser Multiple Input-Multiple Output (MIMO) cooperative relaying wireless systems. They consider a relaying scenario with...
Provided by Nile University
-
White Papers
Cluster-Based Distributed Consensus
Jan 2008
In this paper, the authors incorporate clustering techniques into distributed consensus algorithms for faster convergence and better energy efficiency. Together with a simple distributed...
Provided by North Carolina State University
-
White Papers
Distributed M-D Filtering for Wave Front Detection in Grid Sensor Networks
Oct 2008
This paper presents a method to detect propagating fronts of contaminants in air by employing a rectangular grid sensor network. A linear filtering based distributed algorithm is used for...
Provided by University of Notre Dame
-
White Papers
Sound and Precise Analysis of Parallel Programs Through Schedule Specialization
Mar 2012
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution inter-leavings, or schedules. Static analysis over all schedules...
Provided by Association for Computing Machinery
-
White Papers
Pervasive Detection of Process Races in Deployed Systems
Oct 2011
Process races occur when multiple processes access shared operating system resources, such as files, without proper synchronization. The authors present the first study of real process races and...
Provided by Association for Computing Machinery
-
White Papers
Practical Software Model Checking Via Dynamic Interface Reduction
Aug 2011
Implementation-level software model checking explores the state space of a system implementation directly to find potential software defects without requiring any specification or modeling....
Provided by Tsinghua University
-
White Papers
Efficient Deterministic Multithreading Through Schedule Relaxation
Oct 2011
Deterministic MultiThreading (DMT) eliminates many pernicious software problems caused by non-determinism. It works by constraining a program to repeat the same thread interleavings, or schedules,...
Provided by Columbia University
-
White Papers
Record and Transplay: Partial Checkpointing for Replay Debugging Across Heterogeneous Systems
Jun 2011
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and non-determinism. To address this problem, the...
Provided by Association for Computing Machinery
-
White Papers
Bypassing Races in Live Applications With Execution Filters
Sep 2010
Deployed multithreaded applications contain many races because these applications are difficult to write, test, and debug. Worse, the number of races in deployed applications may drastically...
Provided by Columbia University
-
White Papers
Location-Aided Fast Distributed Averaging
Jul 2007
Existing works on distributed averaging explore linear iterations based on reversible Markov chains, and hence, the convergence is bounded to be slow due to the diffusive behavior of the...
Provided by North Carolina State University
-
White Papers
Optimal Communication-Computation Tradeoff for Wireless Multimedia Sensor Network Lifetime Maximization
Dec 2010
The authors address the issue of network lifetime maximization for a special class of wireless sensor networks namely, wireless multimedia sensor networks. High data rates, in these networks at...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Local Broadcasting in the Physical Interference Model
Aug 2008
In this paper, the authors analyze the complexity of local broadcasting in the physical interference model. They present two distributed randomized algorithms: one that assumes that each node...
Provided by Association for Computing Machinery
-
White Papers
Partitioned One-Bit Feedback for Cooperative Beamforming
Feb 2010
Recently, it has been shown that a cooperative beamforming scheme can achieve considerable gain using node cooperation. Due to the distributed nature of cooperating nodes, it is necessary to...
Provided by University of Delaware
-
White Papers
Towards the Precise Determination of DOACROSS Performance
Dec 2009
This paper explores the effects that regular, inter-iteration dependencies have on the total parallel execution time of a DOACROSS loop from a theoretical perspective. This paper finds that the...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
A New Semantic Kernel Function for Online Anomaly Detection of Software
Apr 2012
In this paper, a new online anomaly detection approach for software systems is proposed. The novelty of the proposed approach is to apply a new semantic kernel function for a Support Vector...
Provided by ETRI Journal
