3820 search results - page 447 / 764 » Bounded Model Debugging |
223
click to vote
MMM
2003
Springer
16 years 17 days 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...
226
click to vote
ICALP
2003
Springer
16 years 15 days 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...
191
click to vote
DATE
2010
IEEE
16 years 12 days 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...
195
click to vote
ECRTS
2002
IEEE
16 years 8 days 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...
197
Voted
GLVLSI
2002
IEEE
16 years 8 days 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). ...