542 search results - page 78 / 109 » SystemJ: A GALS language for system level design |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
JMM2
2006
13 years 7 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
FDL
2003
IEEE
14 years 26 days ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
AAAI
2004
13 years 9 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
ICOODB
2009
13 years 5 months ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...