- Subscribe to this page:
- RSS
- Email Alert
Association for Computing Machinery
(6286 results)-
White Papers
A Heterogeneous Parallel System Running Open MPI on a Broadband Network of Embedded Set-Top Devices
May 19, 2010, 12:00am PDT
The authors present a heterogeneous parallel computing system that combines a traditional computer cluster with a broadband network of embedded Set-Top Box (STB) devices. As Multiple Service...
Provided by Association for Computing Machinery
-
White Papers
Composing Heterogeneous Reactive Systems
July 1, 2008, 12:00am PDT
The authors present a compositional theory of heterogeneous reactive systems. The approach is based on the concept of tags marking the events of the signals of a system. Tags can be used for...
Provided by Association for Computing Machinery
-
White Papers
A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control
October 3, 2007, 12:00am PDT
In networked control systems the controller of a physically distributed plant is implemented as a collection of tightly-interacting, concurrent processes running on a distributed execution...
Provided by Association for Computing Machinery
-
White Papers
Grafting Energy-Harvesting Leaves onto the Sensornet Tree
April 20, 2012, 12:00am PDT
The authors study the problem of augmenting battery-powered sensornet trees with energy-harvesting leaf nodes. Their results show that leaf nodes that are smaller in size than today's typical...
Provided by Association for Computing Machinery
-
White Papers
Exploring Power line Networking for the Smart Building
April 11, 2011, 12:00am PDT
The SmartGrid is ushering in an era of new IP endpoints that already reside on the power grid today, but lack network connectivity. Many of these endpoints - refrigerators, air conditioners, and...
Provided by Association for Computing Machinery
-
White Papers
Hijacking Power and Bandwidth From the Mobile Phone's Audio Interface
December 18, 2010, 12:00am PST
The authors endow the mobile phone with a low-cost, open interface that can parasitically power external peripherals, and transfer data to and from them, using analog, digital, and serial...
Provided by Association for Computing Machinery
-
White Papers
AutoWitness: Locating and Tracking Stolen Property While Tolerating GPS and Radio Outages
November 5, 2010, 12:00am PDT
The authors present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distribution...
Provided by Association for Computing Machinery
-
White Papers
Meter Any Wire, Anywhere by Virtualizing the Voltage Channel
November 2, 2010, 12:00am PDT
AC power meters require both voltage and current to be sampled concurrently to obtain real, reactive, and apparent power. Typically, the two measurements are taken in close physical proximity and...
Provided by Association for Computing Machinery
-
White Papers
Putting the Software Radio on a Low-Calorie Diet
October 21, 2010, 12:00am PDT
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
Optimal Monitoring in Multi-Channel Multi-Radio Wireless Mesh Networks
May 21, 2009, 12:00am PDT
Wireless Mesh Networks (WMN) are finding increasing usage in city-wide deployments for providing network connectivity. Mesh routers in WMNs typically use multiple wireless channels to enhance the...
Provided by Association for Computing Machinery
-
White Papers
JamLab: Augmenting Sensornet Testbeds With Realistic and Controlled Interference Generation
April 14, 2011, 12:00am PDT
Radio interference drastically affects the performance of sensornet communications, leading to packet loss and reduced energy-efficiency. As an increasing number of wireless devices operates on...
Provided by Association for Computing Machinery
-
White Papers
How to Make Ad Hoc Proof Automation Less Ad Hoc
September 21, 2011, 12:00am PDT
Most interactive theorem provers provide support for some form of user-customizable proof automation. In a number of popular systems, such as Coq and Isabelle, this automation is achieved...
Provided by Association for Computing Machinery
-
White Papers
The Marriage of Bisimulations and Kripke Logical Relations
January 27, 2012, 12:00am PST
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages - that is, languages that combine features like...
Provided by Association for Computing Machinery
-
White Papers
Mixin Up the ML Module System
April 23, 2012, 12:00am PDT
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually...
Provided by Association for Computing Machinery
-
White Papers
A Kripke Logical Relation Between ML and Assembly
January 28, 2011, 12:00am PST
There has recently been great progress in proving the correctness of compilers for increasingly realistic languages with increasingly realistic runtime systems. Most work on this problem has...
Provided by Association for Computing Machinery
-
White Papers
The Impact of Higher-Order State and Control Effects on Local Relational Reasoning
September 29, 2010, 12:00am PDT
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relations, for reasoning...
Provided by Association for Computing Machinery
-
White Papers
Non-Parametric Parametricity
September 2, 2009, 12:00am PDT
Type abstraction and intensional type analysis are features seemingly at odds - type abstraction is intended to guarantee parametricity and representation independence, while type analysis is...
Provided by Association for Computing Machinery
-
White Papers
A Type System for Recursive Modules
October 3, 2007, 12:00am PDT
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision problem, which...
Provided by Association for Computing Machinery
-
White Papers
Automated Debugging of Programs With Contracts
February 5, 2010, 12:00am PST
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can the people automate the second task as well as the first? The AutoFix-E tool automatically...
Provided by Association for Computing Machinery
-
White Papers
On the Communication Complexity of 3D FFTs and Its Implications for Exascale
April 18, 2012, 12:00am PDT
This paper revisits the communication complexity of large-scale 3D Fast Fourier Transforms (FFTs) and asks what impact trends in current architectures will have on FFT performance at exascale. The...
Provided by Association for Computing Machinery
-
White Papers
From Datalog Rules to Efficient Programs With Time and Space Guarantees
June 27, 2009, 12:00am PDT
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
Freefinement
January 27, 2012, 12:00am PST
Freefinement is an algorithm that constructs a sound refinement calculus from a verification system under certain conditions. In this paper, a verification system is any formal system for...
Provided by Association for Computing Machinery
-
White Papers
Modal Abstractions of Concurrent Behaviour
June 3, 2010, 12:00am PDT
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
Teaching Software Engineering Using Globally Distributed Projects: The DOSE Course
May 28, 2011, 12:00am PDT
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
Detecting Code Clones in Binary Executables
March 29, 2009, 12:00am PDT
Large software projects contain significant code duplication, mainly due to copying and pasting code. Many techniques have been developed to identify duplicated code to enable applications such as...
Provided by Association for Computing Machinery
-
White Papers
Techniques for Software Quality Analysis of Binaries: Applied to Windows and Linux
July 19, 2009, 12:00am PDT
In this paper, the authors present their efforts to measure different quality aspects of large-scale, binary software. They apply four well established metrics to binary versions of Windows and...
Provided by Association for Computing Machinery
-
White Papers
Signature Visualization of Software Binaries
September 17, 2008, 12:00am PDT
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
Self-Recovery in Server Programs
June 20, 2009, 12:00am PDT
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in server programs is...
Provided by Association for Computing Machinery
-
White Papers
Fault Localization Using Value Replacement
July 24, 2008, 12:00am PDT
The authors present a value profile based approach for ranking program statements according to their likelihood of being faulty. The key idea is to see which program statements exercised during a...
Provided by Association for Computing Machinery
-
White Papers
Flexible and Efficient Querying and Ranking on Hyperlinked Data Sources
March 26, 2008, 12:00am PDT
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this data into...
Provided by Association for Computing Machinery
-
White Papers
Modeling and Understanding End-to-End Class of Service Policies in Operational Networks
August 21, 2009, 12:00am PDT
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resulting Class of...
Provided by Association for Computing Machinery
-
White Papers
A Toolkit for Automating and Visualizing VLAN Configuration
December 9, 2009, 12:00am PST
Virtual Local Area Networks (VLANs) are extensively used in enterprise networks. However, their configuration remains an ad-hoc, complex and error-prone process today. The authors believe that to...
Provided by Association for Computing Machinery
-
White Papers
Locating Failure-Inducing Environment Changes
September 5, 2011, 12:00am PDT
Traditionally, debugging refers to the process of locating the program portions which are responsible for a program failure. However, a program also fails when the execution environment does not...
Provided by Association for Computing Machinery
-
White Papers
Path Exploration Based on Symbolic Output
September 9, 2011, 12:00am PDT
Efficient program path exploration is important for many software engineering activities such as testing, debugging and verification. However, enumerating all paths of a program is prohibitively...
Provided by Association for Computing Machinery
-
White Papers
Refactoring Access Control Policies for Performance Improvement
April 25, 2012, 12:00am PDT
In order to facilitate managing authorization, access control architectures are designed to separate the business logic from an access control policy. To determine whether a user can access which...
Provided by Association for Computing Machinery
-
White Papers
The Future of Teaching Programming is on Mobile Devices
March 20, 2012, 12:00am PDT
From paper to computers, the way that the people have been writing down thoughts and performing symbolic computations has been constantly evolving. Teaching methods closely follow this trend,...
Provided by Association for Computing Machinery
-
White Papers
Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
March 29, 2012, 12:00am PDT
Recent research proposed efficient methods for software verification combining static and dynamic analysis, where static analysis reports possible runtime errors (some of which may be false...
Provided by Association for Computing Machinery
-
White Papers
A QoS-Aware Memory Controller for Dynamically Balancing GPU and CPU Bandwidth Use in an MPSoC
April 4, 2012, 12:00am PDT
Diverse IP cores are integrated on a modern system-on-chip and share resources. Off-chip memory bandwidth is often the scarcest resource and requires careful allocation. Two of the most important...
Provided by Association for Computing Machinery
-
White Papers
Adaptive Granularity Memory Systems: A Tradeoff Between Storage Efficiency and Throughput
June 8, 2011, 12:00am PDT
The authors propose adaptive granularity to combine the best of ne-grained and coarse-grained memory accesses. They augment virtual memory to allow each page to specify its preferred granularity...
Provided by Association for Computing Machinery
-
White Papers
Memory Mapped ECC: Low-Cost Error Protection for Last Level Caches
June 24, 2009, 12:00am PDT
This paper presents a novel technique, Memory Mapped ECC, which reduces the cost of providing error correction for SRAM caches. It is important to limit such overheads as processor resources...
Provided by Association for Computing Machinery
-
White Papers
Experiences in a 3G Network: Interplay Between the Wireless Channel and Applications
September 19, 2008, 12:00am PDT
This paper presents an experimental characterization of the physical and MAC layers in CDMA 1xEV-DO and their impact on transport layer performance. The 1xEV-DO network is currently the fastest...
Provided by Association for Computing Machinery
-
White Papers
Migration of Data Mining Preprocessing Into the DBMS
January 1, 2010, 12:00am PST
Nowadays there is a significant amount of data mining work performed outside the DBMS. This paper discusses recommendations to push data mining analysis into the DBMS paying attention to data...
Provided by Association for Computing Machinery
-
White Papers
Building a Native XML-DBMS as a Term Project in a Database Systems Course
January 1, 2010, 12:00am PST
A main goal of the paper was to convince the participants that systems research goes far beyond good programming. Students should get the opportunity to experience success in speeding up query...
Provided by Association for Computing Machinery
-
White Papers
A Demonstration of SciDB: A Science-Oriented DBMS
August 29, 2009, 12:00am PDT
In CIDR 2009, the authors presented a collection of requirements for SciDB, a DBMS that would meet the needs of scientific users. These included a nested-array data model, science-specific...
Provided by Association for Computing Machinery
-
White Papers
HadoopDB: An Architectural Hybrid of MapReduce and DBMS Technologies for Analytical Workloads
August 28, 2009, 12:00am PDT
The production environment for analytical data management applications is rapidly changing. Many enterprises are shifting away from deploying their analytical databases on high-end proprietary...
Provided by Association for Computing Machinery
-
White Papers
The Web Page as a WYSIWYG EndUser Customizable Database-Backed Information Management Application
July 29, 2009, 12:00am PDT
Dido is an application and application development environment in a web page. It is a single web page containing rich structured data, an AJAXy interactive visualizer/editor for that data, and a...
Provided by Association for Computing Machinery
-
White Papers
A Data Security Protocol for the Trusted Truck System
May 3, 2010, 12:00am PDT
Security has become one of the major concerns in the context of Intelligent Transportation Systems (ITS). The Trusted Truck system provides an efficient wireless communication mechanism for safe...
Provided by Association for Computing Machinery
-
White Papers
Optimizing MPF Queries: Decision Support and Probabilistic Inference
June 14, 2007, 12:00am PDT
Managing uncertain data using probabilistic frameworks has attracted much interest lately in the database literature, and a central computational challenge is probabilistic inference. This paper...
Provided by Association for Computing Machinery
-
White Papers
Poster Abstract: Multihop Routing in Camera Sensor Networks - an Experimental Study
February 23, 2009, 12:00am PST
While the traditional Wireless Sensor Networks (WSN) consist of low-bandwidth sensors with limited capabilities, e.g., acoustic, vibration, and infrared sensors, camera sensor networks can provide...
Provided by Association for Computing Machinery
-
White Papers
Q-Clouds: Managing Performance Interference Effects for QoS-Aware Clouds
February 5, 2010, 12:00am PST
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or supplement,...
Provided by Association for Computing Machinery
-
White Papers
QDSL: QoS-Aware Systems With Differential Service Levels
March 6, 2008, 12:00am PST
A feature exhibited by many modern computing systems is their ability to improve some aspect of the quality of the solution (QoS) they generate for a given input by spending more computing...
Provided by Association for Computing Machinery
-
White Papers
Sensor Selection Cost Function to Increase Network Lifetime With QoS Support
January 10, 2008, 12:00am PST
Single-hop centralized wireless sensor networks are widely used for applications ranging from security and surveillance to medical monitoring. Often the goal of these networks is to provide...
Provided by Association for Computing Machinery
-
White Papers
QoS-Aware Channel Scheduling for Multi-Radio/Multi-Channel Wireless Mesh Networks
September 21, 2009, 12:00am PDT
In non-static multi-radio/multi-channel wireless mesh networks architectures such as Net-X, mesh nodes need to switch channels in order to communicate with different neighbors. Present channel...
Provided by Association for Computing Machinery
-
White Papers
Autonomic QoS-Aware Resource Management in Grid Computing Using Online Performance Models
October 25, 2007, 12:00am PDT
As Grid Computing increasingly enters the commercial domain, performance and Quality of Service (QoS) issues are becoming a major concern. The inherent complexity, heterogeneity and dynamics of...
Provided by Association for Computing Machinery
-
White Papers
MODA: Automated Test Generation for Database Applications Via Mock Objects
September 24, 2010, 12:00am PDT
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database applications....
Provided by Association for Computing Machinery
-
White Papers
Dynamic Test Input Generation for Database Applications
July 12, 2007, 12:00am PDT
Authors describe an algorithm for automatic test input generation for database applications. Given a program in an imperative language that interacts with a database through API calls, the...
Provided by Association for Computing Machinery
-
White Papers
Order Matters: Transmission Reordering in Wireless Networks
August 9, 2009, 12:00am PDT
Modern wireless interfaces support a physical layer capability called Message in Message (MIM). Briefly, MIM allows a receiver to disengage from an ongoing reception, and engage onto a stronger...
Provided by Association for Computing Machinery
-
White Papers
Dynamic Routing and Location Services in Metrics of Low Doubling Dimension
August 21, 2008, 12:00am PDT
A routing scheme on the graph G = (V, E) is a distributed algorithm that allows any source node to send packets to any destination node along the links of E. A routing scheme on a metric space (M,...
Provided by Association for Computing Machinery
-
White Papers
Alibi Framework for Identifying Reactive Jamming Nodes in Wireless LAN
August 6, 2010, 12:00am PDT
Reactive jamming nodes are the nodes of the network that get compromised and become the source of jamming attacks. They assume to know any shared secrets and protocols used in the networks. Thus,...
Provided by Association for Computing Machinery
-
White Papers
Application of IEC 80001 in Avoiding Pitfalls of Wireless LAN System Design
June 5, 2009, 12:00am PDT
Every Wireless LAN (WLAN) network provider has white papers describing best practices for configuration of their equipment in hopes of ensuring the WLAN performance meets customer expectations....
Provided by Association for Computing Machinery
-
White Papers
On the Treeness of Internet Latency and Bandwidth
June 6, 2009, 12:00am PDT
Existing empirical studies of Internet structure and path properties indicate that the Internet is tree-like. This work quantifies the degree to which at least two important Internet measures -...
Provided by Association for Computing Machinery
-
White Papers
A Medical Database Case Study for Reflective Database Access Control
May 11, 2009, 12:00am PDT
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control matrix. RDBAC...
Provided by Association for Computing Machinery
-
White Papers
A Formal Framework for Reflective Database Access Control Policies
July 10, 2008, 12:00am PDT
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an access control list....
Provided by Association for Computing Machinery
-
White Papers
Privacy-Preserving Outsourcing Support Vector Machines With Random Transformation
January 7, 2010, 12:00am PST
Outsourcing the training of Support Vector Machines (SVM) to external service providers benefits the data owner who is not familiar with the techniques of the SVM or has limited computing...
Provided by Association for Computing Machinery
-
White Papers
Fast Networking With Socket-Outsourcing in Hosted Virtual Machine Environments
August 3, 2009, 12:00am PDT
This paper proposes a novel method of achieving fast networking in hosted Virtual Machine (VM) environments. This method, called socket-outsourcing, replaces the socket layer in a guest Operating...
Provided by Association for Computing Machinery
-
White Papers
Adaptive Routing in Publish/Subscribe Systems Using Hybrid Routing Algorithms
December 1, 2008, 12:00am PST
Publish/subscribe is used increasingly often as a communication mechanism in novel distributed applications because it provides asynchronous and anonymous communication allowing to decouple the...
Provided by Association for Computing Machinery
-
White Papers
Optimal Communications Systems and Network Design for Cargo Monitoring
June 10, 2009, 12:00am PDT
In the United States there is an emerging trend to ship goods by rail directly from ports to inland intermodal traffic terminals. However, for this trend to succeed shippers must have "Visibility"...
Provided by Association for Computing Machinery
-
White Papers
SCARAB: A Single Cycle Adaptive Routing and Bufferless Network
December 16, 2009, 12:00am PST
As technology scaling drives the number of processor cores upward, current on-chip routers consume substantial portions of chip area and power budgets. Since existing research has greatly reduced...
Provided by Association for Computing Machinery
-
White Papers
Multi-Focal Learning and Its Application to Customer Service Support
September 6, 2009, 12:00am PDT
In this paper, the authors formalize a multi-focal learning problem, where training data are partitioned into several different focal groups and the prediction model will be learned within each...
Provided by Association for Computing Machinery
-
White Papers
Adaptive Routing in Mobile Opportunistic Networks
October 21, 2010, 12:00am PDT
In this paper, authors study how to adapt the routing according to dynamic network conditions in wireless ad hoc networks. Authors present a method that dynamically chooses routing agent between...
Provided by Association for Computing Machinery
-
White Papers
A Static-Node Assisted Adaptive Routing Protocol in Vehicular Networks
September 10, 2007, 12:00am PDT
Vehicular networks have attracted great interest in the research community recently, and multi-hop routing becomes an important issue. To improve data delivery performance, authors propose SADV,...
Provided by Association for Computing Machinery
-
White Papers
Virtual Individual Servers as Privacy-Preserving Proxies for Mobile Devices
July 8, 2009, 12:00am PDT
People increasingly generate content on their mobile devices and upload it to third-party services such as Facebook and Google Latitude for sharing and backup purposes. Although these services are...
Provided by Association for Computing Machinery
-
White Papers
Usable Secure Mailing Lists With Untrusted Servers
February 20, 2009, 12:00am PST
Mailing lists are a natural technology for supporting messaging in multi-party, cross-domain collaborative tasks. However, whenever sensitive information is exchanged on such lists, security...
Provided by Association for Computing Machinery
-
White Papers
A Business Driven Cloud Optimization Architecture
March 26, 2010, 12:00am PDT
This paper discusses several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. The paper considers a layered...
Provided by Association for Computing Machinery
-
White Papers
Cloud Computing Paradigms for Pleasingly Parallel Biomedical Applications
June 25, 2010, 12:00am PDT
Cloud computing offers exciting new approaches for scientific computing that leverages the hardware and software investments on large scale data centers by major commercial players. Loosely...
Provided by Association for Computing Machinery
-
White Papers
Rethinking the Economics of Software Engineering
November 8, 2007, 12:00am PST
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces Adaptive...
Provided by Association for Computing Machinery
-
White Papers
Outsourcing Home Network Security
September 3, 2010, 12:00am PDT
The growth of home and small enterprise networks brings with it a large number of devices and networks that are either managed poorly or not at all. Hosts on these networks may become compromised...
Provided by Association for Computing Machinery
-
White Papers
RunTest: Assuring Integrity of Dataflow Processing in Cloud Computing Infrastructures
April 16, 2010, 12:00am PDT
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, for many security...
Provided by Association for Computing Machinery
-
White Papers
Managing Security of Virtual Machine Images in a Cloud Environment
November 13, 2009, 12:00am PST
Cloud computing is revolutionizing how information technology resources and services are used and managed but the revolution comes with new security problems. Among these is the problem of...
Provided by Association for Computing Machinery
-
White Papers
DONAR: Decentralized Server Selection for Cloud Services
February 8, 2010, 12:00am PST
Geo-replicated services need an effective way to direct client requests to a particular location, based on performance, load, and cost. This paper presents DONAR, a distributed system that can...
Provided by Association for Computing Machinery
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!
