4635 search results - page 500 / 927 » Modeling Design Knowledge on Structure |
209
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
163
click to vote
JSS
2010
15 years 4 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
189
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
157
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
153
click to vote
DSD
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper proposes a system-level cycle-based framework to model and design heterogeneous Multiprocessor Systems on-Chip (MPSoC), called GRAPES. The approach features flexibilit...