1727 search results - page 90 / 346 » An Integrated Approach to Manufacturing Process Design and C... |
154
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
198
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
174
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
157
click to vote
CCE
2008
15 years 4 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
123
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...