2383 search results - page 323 / 477 » Anticipatory Behavioral Control |
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
121
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Several protocols for ad hoc network try to reduce redundancy as an effective measure against broadcast problems. Though these protocols ensure good performance in a fav...
95
Voted
IEEEPACT
2002
IEEE
15 years 5 months ago
2002
IEEE
Energy efficiency in microarchitectures has become a necessity. Significant dynamic energy savings can be realized for adaptive storage structures such as caches, issue queues, ...
98
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract—This work develops a discrete-time dynamical feedback system model for a simplified TCP network with RED control and provides a nonlinear analysis that can help in unde...