755 search results - page 112 / 151 » Compiler generation from structural architecture description... |
134
Voted
PRDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
118
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
152
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
125
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
132
Voted
TCAD
2008
15 years 3 months ago
2008
Embedded systems are constrained by the available memory. Code-compression techniques address this issue by reducing the code size of application programs. It is a major challenge ...