5189 search results - page 283 / 1038 » Modeling architectural patterns using architectural primitiv... |
117
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
128
click to vote
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 7 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
142
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
241
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
While performance, area, and power constraints have been the driving force in designing current communication-enabled embedded systems, post-fabrication and run-time adaptability ...
144
click to vote
RIDE
1998
IEEE
15 years 8 months ago
1998
IEEE
Continuity of stream playback is the crucial constraint in designing a continuous media server. From a distributed memory architectural model developed earlier, we found that ther...