Sciweavers

2853 search results - page 360 / 571
» A Design System based on Architectural Representations
Sort
View
HICSS
2008
IEEE
147views Biometrics» more  HICSS 2008»
16 years 1 months ago
Toward a Ubiquitous Personalized Daily-Life Activity Recommendation Service with Contextual Information: A Services Science Pers
In recent years Services Science has been an emerging discipline that aims to promote service innovation and increase service productivity by aligning scientific, management, and ...
Chen-Ya Wang, Yueh-Hsun Wu, Seng-cho Timothy Chou
ASYNC
2007
IEEE
129views Hardware» more  ASYNC 2007»
15 years 10 months ago
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, ...
GECCO
2007
Springer
300views Optimization» more  GECCO 2007»
16 years 23 days ago
A NSGA-II, web-enabled, parallel optimization framework for NLP and MINLP
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
David J. Powell, Joel K. Hollingsworth
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 12 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
CASES
2001
ACM
15 years 10 months ago
The very portable optimizer for digital signal processors
Although retargetability has been a major design concern for many compilers, retargetability is a vitally important issue for Digital Signal Processors(DSPs) because the architect...
Sungjoon Jung, Yunheung Paek