Technical Reports (Computing Science)

2013

Gouda, Mohamed, Elmallah, Ehab

We identify 13 problems whose solutions can significantly enhance our ability to design and analyze firewalls and other packet classifiers. These problems include the firewall equivalence problem, the firewall redundancy problem, the firewall verification problem, and the firewall completeness...

1993

Reinefeld, Alexander, Marsland, Tony

Technical report TR93-02. With the continuing price-performance improvement of small computers there is growing interest in looking again at some of the heuristic techniques developed for problem-solving and planning programs, to see if they can be enhanced or replaced by more algorithmic...

2006

Chu, Tommy, Wan, Xiang

Technical report TR06-02. Multiple sequence alignment (MSA) is a controversial problem in computational biology. This particular problem computes the similarity based on the biological properties of nuclei acid (or amino acid) among the DNA strands (or protein sequences). In this project, we...

2011

Nascimento, Mario A, Ammar, Khaled

Technical report TR11-03. Wireless Sensor Networks (WSNs) are typically used to collect values of some phenomena in a monitored area. In many applications, users are interested in summaries of the observed data, e.g., a histogram reflecting the distribution of the collected values. However,...

1999

Cheng, Irene

Technical report TR99-03. The use of on-line image repositories is growing and becoming commonplace. Due to the inadequacy of traditional databases in handling complex images and voluminous data, new designs and techniques are needed to efficiently organize, store, manage and retrieve images. It...

2010

Preuss, Adam

Technical report TR10-05. Profiling monitors a program's execution flow via the insertion of counters at key points in the program. Profiling information can then be used by a compiler's optimization passes to increase the performance of frequently executed sections of code. This document...

1993

Irani, Boman B.

Technical report TR93-10. The object-oriented paradigm of computing has started to have a significant influence on many areas of information and data processing, including database systems. This thesis focuses on the various issues and aspects governing the implementation design and development...

2004

Cai, Zhipeng, Lin, Guohui, Xue, Guoliang

Technical report TR04-12. For the Capacitated Multicast Routing Problem, we considered two models which are the Multicast k-Path Routing and the Multicast k-Tree Routing. We presented two improved approximation algorithms for them, which have worst case performance ratios of 3 and (2 + ρ) (ρ is...

2006

Wagner, James, Tegos, Theodore, Wan, Xiang, Lin, Guohui

Technical report TR06-10. Background: Accurately quantifying the signature information of chemical shifts provides a foundation for accurate and complete sequential resonance assignment in protein NMR spectroscopy. A nearly complete assignment is a prerequisite for three dimensional protein ...

2010

Mueller, Martin, Hoffman, Joerg, Nakhost, Hootan

Technical report TR10-02. A ubiquitous feature of planning problems -- problems involving the automatic generation of action sequences for attaining a given goal -- is the need to economize limited resources such as fuel or money. While heuristic search, mostly based on standard algorithms such...