2838 search results - page 272 / 568 » Verifying Controlled Components |
156
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
178
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
260
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- The Transmission Control Protocol/Internet Protocol (TCP/IP) is combination of different protocols at various layers. TCP/IP is the basic communication language or protocol of th...
189
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a novel discrete population based stochastic optimization algorithm inspired from weed colonization. Its performance in a discrete benchmark, timecost trade-off...
166
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...