4346 search results - page 600 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
239
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
133
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
128
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
129
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
166
click to vote
TCAD
2010
14 years 11 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...