29143 search results - page 85 / 5829 » A Sortation System Model |
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
ISNN
2007
Springer
14 years 3 months ago
2007
Springer
In the human mind, high-order knowledge is categorically organized, yet the nature of its internal representation system is not well understood. While it has been traditionally con...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
IEEECIT
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...