3820 search results - page 447 / 764 » Bounded Model Debugging |
155
Voted
MMM
2003
Springer
15 years 9 months ago
2003
Springer
Computer animation is one of the key components of a multimedia document or presentation. Shape transformation between objects of different topology and positions is an open model...
159
Voted
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...
133
Voted
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
129
Voted
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
141
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...