Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
In this paper a new concept of robustness is introduced and the corresponding optimization problem is stated. This new concept is applied to transportation network designs in which...
This paper discusses hypermedia aspects of the design of a Virtual Project Room. Based on ethnographic and participatory design studies of landscape architects’ and architects...
A major setback for mobile agent technology is a lack of interoperability between systems for mobile agents which prevents them from reaching “critical mass”. In this paper, w...
Interaction problems occur when small-screen devices (PDAs, Palmtops etc) are used to access Web pages designed for conventional, largescreen displays. To overcome some of these pr...