Sciweavers

3280 search results - page 204 / 656
» Design Families and Design Individuals
Sort
View
CW
2005
IEEE
16 years 10 days ago
Web-Based Configure-to-Order Platform for Collaborative Development of Customized Products
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
Roger Jianxin Jiao, Martin G. Helander, Lianfeng Z...
ISORC
2005
IEEE
16 years 9 days ago
Revisiting COTS middleware for DRE systems
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
Jérôme Hugues, Laurent Pautet, Fabric...
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
16 years 7 days ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak
ECOOP
2005
Springer
16 years 7 days ago
Evaluating Support for Features in Advanced Modularization Technologies
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
Roberto E. Lopez-Herrejon, Don S. Batory, William ...
FPL
2005
Springer
114views Hardware» more  FPL 2005»
16 years 7 days ago
Post-Placement BDD-Based Decomposition for FPGAs
This work explores the effect of adding a timing driven functional decomposition step to the traditional field programmable gate array (FPGA) CAD flow. Once placement has comple...
Valavan Manohararajah, Deshanand P. Singh, Stephen...