## Search

Now showing items 1-6 of 6

#### A Simple But Effective Evolutionary Algorithm for Complicated Optimization Problems

(2002-01)

A simple but effective evolutionary algorithm is proposed in this paper for solving complicated optimization problems. The new algorithm presents two hybridization operations incorporated with the conventional genetic ...

#### Efficient Methods for Manufacturing System Analysis and Design

(2002-01)

The goal of the research described here is to develop tools to assist the rapid analysis and design of manufacturing systems. The methods we describe are based on mathematical models of production systems. We combine earlier ...

#### Bit-Packing Optimization for StreamIt

(2003-01)

StreamIt is a language specifically designed for modern streaming applications. A certain important class of these applications operates on streams of bits. This paper presents the motivation for a bit-packing optimization ...

#### Solution Methodologies for the Smallest Enclosing Circle Problem

(2002-01)

Given a set of circles C = {c₁, ..., cn}on the Euclidean plane with centers {(a₁, b₁), ..., (an, b<sub>n</sub>)}and radii {r₁..., r<n},the smallest enclosing circle (of fixed circles) problem is to ï¬nd the circle of ...

#### Static Pricing for a Network Service Provider

(2005-01)

This article studies the static pricing problem of a network service provider who has a fixed capacity and faces different types of customers (classes). Each type of customers can have its own capacity constraint but it ...

#### Credible Compilation *

(2003-01)

This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple proof checker can then verify that the program ...