Sciweavers

7781 search results - page 382 / 1557
» Experience Design
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 10 months ago
Optimizing equivalence checking for behavioral synthesis
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...
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
ATMOS
2007
138views Optimization» more  ATMOS 2007»
15 years 6 months ago
A new concept of robustness
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...
Ricardo García, Ángel Marín, ...
127
Voted
HT
2000
ACM
15 years 9 months ago
Hypermedia in the virtual project room - toward open 3D spatial hypermedia
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&#...
Preben Mogensen, Kaj Grønbæk
124
Voted
ECBS
2002
IEEE
82views Hardware» more  ECBS 2002»
15 years 10 months ago
Mobile Agent Interoperability Patterns and Practice
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...
Ulrich Pinsdorf, Volker Roth
153
Voted
HUC
1999
Springer
15 years 9 months ago
An Evaluation of WebTwig - A Site Outliner for Handheld Web Access
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...
Matt Jones, George Buchanan, Norliza Mohd-Nasir