10159 search results - page 530 / 2032 » System Design Validation Using Formal Models |
260
click to vote
Publication
We develop a simulation model for the ATM ABR service, and use it to engineer ABR congestion control behavior. Although significant work has been performed on ABR rate allocation a...
162
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
176
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
167
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
188
click to vote
FDL
2007
IEEE
16 years 20 days ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...