Sciweavers

53302 search results - page 291 / 10661
» Designing
Sort
View
FMSD
2006
83views more  FMSD 2006»
15 years 6 months ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
FMSD
2006
183views more  FMSD 2006»
15 years 6 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
IEICET
2006
114views more  IEICET 2006»
15 years 6 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
DSS
2007
140views more  DSS 2007»
15 years 6 months ago
A decision support system for product design in concurrent engineering
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
Li Da Xu, Zongbin Li, Shancang Li, Fengming Tang
EOR
2007
89views more  EOR 2007»
15 years 6 months ago
Trade reduction vs. multi-stage: A comparison of double auction design approaches
With the growth of electronic markets, designing double auction mechanisms that are applicable to emerging market structures has become an important research topic. In this paper,...
Leon Yang Chu, Zuo-Jun Max Shen
« Prev « First page 291 / 10661 Last » Next »