System-level synthesis aims at partially automating the design and synthesis process of complex systems that consist of both hardware and software. This involves the usage of formal methods such as graph theory, as well as the formulation of some design steps explicitly as optimization problems. This paper describes such a graph-theoretic model, and presents three important optimization problem...

This paper presents a new model for structural topology optimization. We represent the structural boundary by a level set model that is embedded in a scalar function of a higher dimension. Such level set models are flexible in handling complex topological changes and are concise in describing the boundary shape of the structure. Furthermore, a gradient-based procedure leads to a numerical algor...

— In this paper, we study microarchitecture-level interconnect modeling for power and performance. Considering structural interconnects, layer assignment, and concurrent repeater and Flip-Flop (FF) insertion, we develop cycle-accurate microarchitecture-level power and throughput simulation and obtain an accurate modeling of interconnects at the early design stage. Experiment show that the simul...

In this paper we introduce a new low power address bus encoding technique, and the resulting code, named ALBORZ. The ALBORZ code is constructed based on transition signaling the limited-weight codes and, with enhancements to make it adaptive and irredundant, results in up to 89% reduction in the instruction bus switching activity at the expense of a small area overhead.

This paper describes user-level optimisations for virtual shared memory (VSM) systems and demonstrates performance improvements for three scientiic kernel codes written in Fortran-S and running on a 30 node prototype distributed memory architecture. These optimisations can be applied to all consistency models and directory schemes, whether in hardware or software, which employ an invalidation b...

Physical systems can be modeled at many levels of approximation The right model de pends on the problem to be solved In many cases a combination of models will be more e ective than a single model alone Our research investigates this idea in the context of en gineering design optimization We present a family of strategies that use multiple models for unconstrained optimization of engineering de...

In this paper, we analyze in some detail the manifold-mapping optimization technique introduced recently [Echeverría and Hemker in space mapping and defect correction. Comput Methods Appl Math 5(2): 107-–136, 2005]. Manifold mapping aims at accelerating optimal design procedures that otherwise require many evaluations of time-expensive cost functions. We give a proof of convergence for the mani...

An integrated optimization framework, including location assignment under grouping class-based storage policy and schedule of dual shuttle cranes, is offered by presenting a new optimization programming model. The objective functions, which are considered at this level, are the minimization of total costs and energy consumption. Scheduling of dual shuttle cranes among specified locations, which...

This work explores two methods for practical cryptography on mobile devices. The first method is a quantum-resistant key-exchange protocol proposed by Jao et al.. As the use of mobile devices increases, the deployment of practical cryptographic protocols designed for use on these devices is of increasing importance. Furthermore, we are faced with the possible development of a large-scale quantu...

System-level design refers to a synthesis, analysis, and optimization process which reasons with the system in a holistic manner. We are developing a model-based approach to support parametric system-level design optimization. In this paper, we describe our modeling methodology based on the Environment Relationship net framework (Ghezzi et al. 1991) to represent a system for the purpose of desi...