- Subscribe to this page:
- RSS
- Email Alert
University of Texas
(529 results)-
White Papers
Safe Composition of Product Lines
July 6, 2007, 12:00am PDT
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also...
Provided by University of Texas
-
White Papers
Gel: A Generic Extensible Language
December 22, 2008, 12:00am PST
Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of custom languages. Generic...
Provided by University of Texas
-
White Papers
Interprocedural Query Extraction for Transparent Persistence
December 21, 2008, 12:00am PST
Transparent persistence promises to integrate programming languages and databases by allowing programs to access persistent data with the same ease as non-persistent data. In this paper the...
Provided by University of Texas
-
White Papers
Structured Interacting Computations
September 26, 2008, 12:00am PDT
Today, concurrency is ubiquitous, in desktop applications, client-server systems, workflow systems, transaction processing and web services. Design of concurrent systems, particularly in the...
Provided by University of Texas
-
White Papers
A Timed Semantics of Orc
December 19, 2007, 12:00am PST
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators support sequential...
Provided by University of Texas
-
White Papers
Synthesis of Fast Programs for Maximum Segment Sum Problems
March 14, 2009, 12:00am PDT
It is well-known that a naive algorithm can often be turned into an efficient program by applying appropriate semantic spreserving transformations. This technique has been used to derive programs...
Provided by University of Texas
-
White Papers
Model Transformation by Partial Evaluation of Model Interpreters
December 22, 2008, 12:00am PST
In model-driven development, the use of both model translators and model interpreters is widespread. It is also well-known that partial evaluation can turn an interpreter into a translator. In...
Provided by University of Texas
-
White Papers
Generic Operations and Partial Evaluation Using Models
December 22, 2008, 12:00am PST
Model-driven software development is a promising new application area for partial evaluation. In this papers, the authors develop an approach to generic programming using models instead of types....
Provided by University of Texas
-
White Papers
Tactical Synthesis of Efficient Global Search Algorithms
March 24, 2009, 12:00am PDT
Algorithm synthesis transforms a formal specification into an efficient algorithm to solve a problem. Algorithm synthesis in Specware combines the formal specification of a problem with a...
Provided by University of Texas
-
White Papers
Quicklink Selection for Navigational Query Results
April 24, 2009, 12:00am PDT
Quicklinks for a website are navigational shortcuts displayed below the website homepage on a search results page, and that let the users directly jump to selected points inside the website. Since...
Provided by University of Texas
-
White Papers
The Anatomy of a Click: Modeling User Behavior on Web Information Systems
February 9, 2010, 12:00am PST
Providing relevant information to users with minimal effort on their part remains the holy grail of search science. Since the retrieval and presentation of search results as well as any dynamic...
Provided by University of Texas
-
White Papers
Discovering Substructures in the Chemical Toxicity Domain
January 1, 2011, 12:00am PST
The researcher's ability to interpret the data and discover interesting patterns within the data is of great importance as it helps in obtaining relevant SARs [Srinivasan et al.], for the cause of...
Provided by University of Texas
-
White Papers
Structure Discovery in Sequentially-Connected Data Streams
January 1, 2011, 12:00am PST
Much of current data mining research is focused on discovering sets of attributes that discriminate data entities into classes, such as shopping trends for a particular demographic group. In...
Provided by University of Texas
-
White Papers
Using a Graph-Based Data Mining System to Perform Web Search
January 1, 2011, 12:00am PST
The World Wide Web provides an immense source of information. Accessing information of interest presents a challenge to scientists and analysts, particularly if the desired information is...
Provided by University of Texas
-
White Papers
Qualitative Comparison of Graph-Based and Logicbased Multi-Relational Data Mining: A Case Study
January 1, 2011, 12:00am PST
The goal of this paper is to generate insights about the differences between graph-based and logic-based approaches to multi-relational data mining by performing a case study of graph-based...
Provided by University of Texas
-
White Papers
Global Scheduling Based Reliability-Aware Power Management for Multiprocessor Real-Time Systems
August 4, 2010, 12:00am PDT
Reliability-Aware Power Management (RAPM) has been a recent research focus due the negative effects of the popular power management technique Dynamic Voltage and Frequency Scaling (DVFS) on system...
Provided by University of Texas
-
White Papers
Collective Specification and Verification of Behavioral Models and Object-Oriented Implementations
July 5, 2010, 12:00am PDT
The authors present a finite-state-machine-based language, iFSM, to seamlessly integrate the behavioral logic and implementation strategies of object-oriented applications to prevent their design...
Provided by University of Texas
-
White Papers
Identifying Unnecessary Bounds Checks Through Block-Qualified Variable Elimination
August 1, 2010, 12:00am PDT
Java's memory-safety relies on the Java Virtual Machine checking that each access to an array does not exceed the bounds of that array. When static analysis can determine that some array access...
Provided by University of Texas
-
White Papers
Toward Practical Authorization-Dependent User Obligation Systems
April 12, 2010, 12:00am PDT
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be usable, the system...
Provided by University of Texas
-
White Papers
An Optimal Boundary-Fair Scheduling Algorithm for Multiprocessor Real-Time Systems
July 20, 2009, 12:00am PDT
Although the scheduling problem for multiprocessor real-time systems has been studied for decades, it is still an evolving research field with many open problems. In this paper, focusing on...
Provided by University of Texas
-
White Papers
Multi-Path Planning for Mobile Element to Prolong the Lifetime of Wireless Sensor Networks
December 17, 2008, 12:00am PST
Mobile elements, which can traverse the deployment area and convey the observed data from static sensor nodes to a base station, have been introduced for energy efficient data collection in...
Provided by University of Texas
-
White Papers
SQL Databases Are a Moving Target Position Paper for W3C Workshop on RDF Access to Relational Databases
September 10, 2007, 12:00am PDT
The authors' position is founded on two assumptions. First, they assume that the SQL Data Definition Language (SQL-DDL) is capable of encoding substantial domain semantics, albeit not in ways...
Provided by University of Texas
-
White Papers
A Mispricing Model Of Stocks Under Asymmetric Information
January 7, 2011, 12:00am PST
The authors extend the theory of asymmetric information in mispricing models for stocks following geometric Brownian motion to constant relative risk averse investors. Mispricing follows a...
Provided by University of Texas at Dallas
-
White Papers
Secure Friend Discovery in Mobile Social Networks
March 4, 2011, 12:00am PST
Mobile social networks extend social networks in the cyberspace into the real world by allowing mobile users to discover and interact with existing and potential friends who happen to be in their...
Provided by University of Texas
-
White Papers
XML Query Optimization in Map-Reduce
June 12, 2011, 12:00am PDT
The authors present a novel query language for large-scale analysis of XML data on a map-reduce environment, called MRQL, that is expressive enough to capture most common data analysis tasks and...
Provided by University of Texas
-
White Papers
Consensus in Wireless Ad Hoc Networks
May 7, 2008, 12:00am PDT
Solving consensus in wireless ad hoc networks has started to be addressed in several papers. Most of these papers adopt system models similar to those developed for wired networks. These models...
Provided by University of Texas
-
White Papers
Consensus Problem In Wireless Ad Hoc Networks: Addressing the Right Issues
December 12, 2007, 12:00am PST
Solving consensus in wireless ad hoc networks has started to be addressed in several papers. Most of these papers adopt system models developed for wired networks. These models are focused towards...
Provided by University of Texas
-
White Papers
Hybrid Partial Evaluation
December 16, 2010, 12:00am PST
The authors present Hybrid Partial Evaluation (HPE), a pragmatic approach to partial evaluation that borrows ideas from both online and offline partial evaluation. HPE performs offline-style...
Provided by University of Texas
-
White Papers
Programming Many-Core Architectures - A Case Study: Dense Matrix Computations on the Intel SCC Processor
January 24, 2011, 12:00am PST
A message passing, distributed-memory parallel computer on a chip is one possible design for future, many-core architectures. The authors discuss initial experiences with the Intel Single-chip...
Provided by University of Texas
-
White Papers
Is That You? Authentication in a Network Without Identities
February 26, 2011, 12:00am PST
Most networks require that their users have "Identities", i.e. have names that are fixed for a relatively long time, unique, and have been approved by a central authority (in order to guarantee...
Provided by University of Texas
-
White Papers
TPP: The Two-Way Password Protocol
March 17, 2011, 12:00am PDT
The need for secure communication in the Internet has led to the widespread deployment of secure application-level protocols. The current state-of-the-art is to use TLS, in conjunction with a...
Provided by University of Texas
-
White Papers
The K-Observer Problem in Computer Networks
April 4, 2011, 12:00am PDT
For any non-negative integer K, a K-observer P of a network N is a set of nodes in N such that each message, that travels at least K hops in N, is handled (and so observed) by at least one node in...
Provided by University of Texas
-
White Papers
Mechanizing the Expert Dense Linear Algebra Developer
April 25, 2011, 12:00am PDT
Sustained high performance on the fastest computers in the world has traditionally been accomplished by experts who carefully hand-code key routines. This quickly becomes unmanageable for large...
Provided by University of Texas
-
White Papers
Regret-Freedom Isn't Free
May 3, 2011, 12:00am PDT
Cooperative, Peer-To-Peer (P2P) services-distributed systems consisting of participants from Multiple Administrative Domains (MAD)|must deal with the threat of arbitrary (Byzan-tine) failures...
Provided by University of Texas
-
White Papers
Consistency, Availability, and Convergence
May 3, 2011, 12:00am PDT
The authors examine the limits of consistency in fault-tolerant distributed storage systems. In particular, they identify fundamental tradeoffs among properties of consistency, availability, and...
Provided by University of Texas
-
White Papers
Cascade Vulnerability Problem Simulator Tool
May 16, 2008, 12:00am PDT
In this paper, the authors present a tool called the CVP Simulator Tool, which enables users to model a computer network and its connectivity, and detects and eliminates any existing Cascade...
Provided by University of Texas
-
White Papers
Multi-Scale Adaptive Sampling With Mobile Robots for Mapping of Forest Fires
May 16, 2008, 12:00am PDT
The use of robotics in distributed field monitoring applications requires wireless sensors that are deployed efficiently. A very important aspect of mobile sensor deployment includes sampling...
Provided by University of Texas
-
White Papers
Event Structure Semantics of Orc
August 30, 2007, 12:00am PDT
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality...
Provided by University of Texas
-
White Papers
Using Valgrind to Detect Undefined Value Errors With Bit-Precision
January 1, 2011, 12:00am PST
The authors present Memcheck, a tool that has been implemented with the dynamic binary instrumentation framework Valgrind. Memcheck detects a wide range of memory errors in programs as they run....
Provided by University of Texas
-
White Papers
DRES: Dynamic Range Encoding Scheme for TCAM Coprocessors
January 1, 2011, 12:00am PST
One of the most critical resource management issues in the use of Ternary Content Addressable Memory (TCAM) for packet classification/filtering is how to effectively support filtering rules with...
Provided by University of Texas
-
White Papers
Regret-Freedom Isn't Free
May 3, 2011, 12:00am PDT
Cooperative, Peer-To-Peer (P2P) services-distributed systems consisting of participants from Multiple Administrative Domains (MAD)|must deal with the threat of arbitrary (Byzan-tine) failures...
Provided by University of Texas
-
White Papers
Mechanizing the Expert Dense Linear Algebra Developer
April 25, 2011, 12:00am PDT
Sustained high performance on the fastest computers in the world has traditionally been accomplished by experts who carefully hand-code key routines. This quickly becomes unmanageable for large...
Provided by University of Texas
-
White Papers
The K-Observer Problem in Computer Networks
April 4, 2011, 12:00am PDT
For any non-negative integer K, a K-observer P of a network N is a set of nodes in N such that each message, that travels at least K hops in N, is handled (and so observed) by at least one node in...
Provided by University of Texas
-
White Papers
TPP: The Two-Way Password Protocol
March 17, 2011, 12:00am PDT
The need for secure communication in the Internet has led to the widespread deployment of secure application-level protocols. The current state-of-the-art is to use TLS, in conjunction with a...
Provided by University of Texas
-
White Papers
Is That You? Authentication in a Network Without Identities
February 26, 2011, 12:00am PST
Most networks require that their users have "Identities", i.e. have names that are fixed for a relatively long time, unique, and have been approved by a central authority (in order to guarantee...
Provided by University of Texas
-
White Papers
Programming Many-Core Architectures - A Case Study: Dense Matrix Computations on the Intel SCC Processor
January 24, 2011, 12:00am PST
A message passing, distributed-memory parallel computer on a chip is one possible design for future, many-core architectures. The authors discuss initial experiences with the Intel Single-chip...
Provided by University of Texas
-
White Papers
Hybrid Partial Evaluation
December 16, 2010, 12:00am PST
The authors present Hybrid Partial Evaluation (HPE), a pragmatic approach to partial evaluation that borrows ideas from both online and offline partial evaluation. HPE performs offline-style...
Provided by University of Texas
-
White Papers
Consensus Problem In Wireless Ad Hoc Networks: Addressing the Right Issues
December 12, 2007, 12:00am PST
Solving consensus in wireless ad hoc networks has started to be addressed in several papers. Most of these papers adopt system models developed for wired networks. These models are focused towards...
Provided by University of Texas
-
White Papers
Consensus in Wireless Ad Hoc Networks
May 7, 2008, 12:00am PDT
Solving consensus in wireless ad hoc networks has started to be addressed in several papers. Most of these papers adopt system models similar to those developed for wired networks. These models...
Provided by University of Texas
-
White Papers
XML Query Optimization in Map-Reduce
June 12, 2011, 12:00am PDT
The authors present a novel query language for large-scale analysis of XML data on a map-reduce environment, called MRQL, that is expressive enough to capture most common data analysis tasks and...
Provided by University of Texas
-
White Papers
Secure Friend Discovery in Mobile Social Networks
March 4, 2011, 12:00am PST
Mobile social networks extend social networks in the cyberspace into the real world by allowing mobile users to discover and interact with existing and potential friends who happen to be in their...
Provided by University of Texas
-
White Papers
A Mispricing Model Of Stocks Under Asymmetric Information
January 7, 2011, 12:00am PST
The authors extend the theory of asymmetric information in mispricing models for stocks following geometric Brownian motion to constant relative risk averse investors. Mispricing follows a...
Provided by University of Texas at Dallas
-
White Papers
SQL Databases Are a Moving Target Position Paper for W3C Workshop on RDF Access to Relational Databases
September 10, 2007, 12:00am PDT
The authors' position is founded on two assumptions. First, they assume that the SQL Data Definition Language (SQL-DDL) is capable of encoding substantial domain semantics, albeit not in ways...
Provided by University of Texas
-
White Papers
Multi-Path Planning for Mobile Element to Prolong the Lifetime of Wireless Sensor Networks
December 17, 2008, 12:00am PST
Mobile elements, which can traverse the deployment area and convey the observed data from static sensor nodes to a base station, have been introduced for energy efficient data collection in...
Provided by University of Texas
-
White Papers
An Optimal Boundary-Fair Scheduling Algorithm for Multiprocessor Real-Time Systems
July 20, 2009, 12:00am PDT
Although the scheduling problem for multiprocessor real-time systems has been studied for decades, it is still an evolving research field with many open problems. In this paper, focusing on...
Provided by University of Texas
-
White Papers
Toward Practical Authorization-Dependent User Obligation Systems
April 12, 2010, 12:00am PDT
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be usable, the system...
Provided by University of Texas
-
White Papers
Identifying Unnecessary Bounds Checks Through Block-Qualified Variable Elimination
August 1, 2010, 12:00am PDT
Java's memory-safety relies on the Java Virtual Machine checking that each access to an array does not exceed the bounds of that array. When static analysis can determine that some array access...
Provided by University of Texas
-
White Papers
Collective Specification and Verification of Behavioral Models and Object-Oriented Implementations
July 5, 2010, 12:00am PDT
The authors present a finite-state-machine-based language, iFSM, to seamlessly integrate the behavioral logic and implementation strategies of object-oriented applications to prevent their design...
Provided by University of Texas
-
White Papers
Global Scheduling Based Reliability-Aware Power Management for Multiprocessor Real-Time Systems
August 4, 2010, 12:00am PDT
Reliability-Aware Power Management (RAPM) has been a recent research focus due the negative effects of the popular power management technique Dynamic Voltage and Frequency Scaling (DVFS) on system...
Provided by University of Texas
-
White Papers
Qualitative Comparison of Graph-Based and Logicbased Multi-Relational Data Mining: A Case Study
January 1, 2011, 12:00am PST
The goal of this paper is to generate insights about the differences between graph-based and logic-based approaches to multi-relational data mining by performing a case study of graph-based...
Provided by University of Texas
-
White Papers
Using a Graph-Based Data Mining System to Perform Web Search
January 1, 2011, 12:00am PST
The World Wide Web provides an immense source of information. Accessing information of interest presents a challenge to scientists and analysts, particularly if the desired information is...
Provided by University of Texas
-
White Papers
Structure Discovery in Sequentially-Connected Data Streams
January 1, 2011, 12:00am PST
Much of current data mining research is focused on discovering sets of attributes that discriminate data entities into classes, such as shopping trends for a particular demographic group. In...
Provided by University of Texas
-
White Papers
Discovering Substructures in the Chemical Toxicity Domain
January 1, 2011, 12:00am PST
The researcher's ability to interpret the data and discover interesting patterns within the data is of great importance as it helps in obtaining relevant SARs [Srinivasan et al.], for the cause of...
Provided by University of Texas
-
White Papers
The Anatomy of a Click: Modeling User Behavior on Web Information Systems
February 9, 2010, 12:00am PST
Providing relevant information to users with minimal effort on their part remains the holy grail of search science. Since the retrieval and presentation of search results as well as any dynamic...
Provided by University of Texas
-
White Papers
Quicklink Selection for Navigational Query Results
April 24, 2009, 12:00am PDT
Quicklinks for a website are navigational shortcuts displayed below the website homepage on a search results page, and that let the users directly jump to selected points inside the website. Since...
Provided by University of Texas
-
White Papers
Tactical Synthesis of Efficient Global Search Algorithms
March 24, 2009, 12:00am PDT
Algorithm synthesis transforms a formal specification into an efficient algorithm to solve a problem. Algorithm synthesis in Specware combines the formal specification of a problem with a...
Provided by University of Texas
-
White Papers
Generic Operations and Partial Evaluation Using Models
December 22, 2008, 12:00am PST
Model-driven software development is a promising new application area for partial evaluation. In this papers, the authors develop an approach to generic programming using models instead of types....
Provided by University of Texas
-
White Papers
Model Transformation by Partial Evaluation of Model Interpreters
December 22, 2008, 12:00am PST
In model-driven development, the use of both model translators and model interpreters is widespread. It is also well-known that partial evaluation can turn an interpreter into a translator. In...
Provided by University of Texas
-
White Papers
Synthesis of Fast Programs for Maximum Segment Sum Problems
March 14, 2009, 12:00am PDT
It is well-known that a naive algorithm can often be turned into an efficient program by applying appropriate semantic spreserving transformations. This technique has been used to derive programs...
Provided by University of Texas
-
White Papers
A Timed Semantics of Orc
December 19, 2007, 12:00am PST
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators support sequential...
Provided by University of Texas
-
White Papers
Structured Interacting Computations
September 26, 2008, 12:00am PDT
Today, concurrency is ubiquitous, in desktop applications, client-server systems, workflow systems, transaction processing and web services. Design of concurrent systems, particularly in the...
Provided by University of Texas
-
White Papers
Interprocedural Query Extraction for Transparent Persistence
December 21, 2008, 12:00am PST
Transparent persistence promises to integrate programming languages and databases by allowing programs to access persistent data with the same ease as non-persistent data. In this paper the...
Provided by University of Texas
-
White Papers
Gel: A Generic Extensible Language
December 22, 2008, 12:00am PST
Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of custom languages. Generic...
Provided by University of Texas
-
White Papers
Safe Composition of Product Lines
July 6, 2007, 12:00am PDT
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also...
Provided by University of Texas
-
White Papers
A Machine-Checked Model of Safe Composition
October 8, 2008, 12:00am PDT
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combinations of features are...
Provided by University of Texas
-
White Papers
Do Option Traders On Value And Growth Stocks React Differently To New Information?
August 27, 2007, 12:00am PDT
This paper compares the changes in implied volatilities of options on Nasdaq 100 and Russell 2000 value and growth portfolios. Following Stein (1989) and Heynen, Kemna, and Vorst's (1994), the...
Provided by University of Texas
-
White Papers
Intraday Volatility In The Bond, Foreign Exchange, And Stock Index Futures Markets
August 1, 2007, 12:00am PDT
The authors study intraday volatility for the Eurodollar, the Euro/dollar foreign exchange rate, and the E-mini S&P 500 futures contracts traded on a continuous 23-hour schedule on the CME Globex...
Provided by University of Texas at San Antonio
-
White Papers
A Super-Logarithmic Lower Bound for Shuffle-Unshuffle Sorting Networks
August 7, 2010, 12:00am PDT
A variety of different classes of sorting networks have been described in the literature. Of particular interest here are the so-called AKS network discovered by Ajtai, Komlos, and Szemeredi, and...
Provided by University of Texas
-
White Papers
Freenet: A Distributed Anonymous Information Storage and Retrieval System
December 15, 2008, 12:00am PST
The authors describe Freenet, an adaptive peer-to-peer network application that permits the publication, replication, and retrieval of data while protecting the anonymity of both authors and...
Provided by University of Texas
-
White Papers
Discretionary Accruals, Abnormal Capital Investments, And Stock Returns
September 11, 2007, 12:00am PDT
This paper examines if the accrual-based anomaly and the investment-based anomaly capture the same market-mispricing phenomenon. The authors' empirical evidence suggests that capital investments...
Provided by University of Texas
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!
