3771 search results - page 10 / 755 » Subobject Transformation Systems |
KCAP
2005
ACM
14 years 27 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
DDECS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In this paper, we describe a system for transforming a code given in ANSI C into an equivalent SystemC description. In order to synthesize parallel C codes into hardwar...
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
ICCAD
1993
IEEE
13 years 11 months ago
1993
IEEE
SAC
2003
ACM
14 years 18 days ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...