399 search results - page 49 / 80 » Verification of System Level Model Transformations |
91
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
168
Voted
ICDIM
2006
IEEE
15 years 8 months ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
126
Voted
PROCEDIA
2010
14 years 9 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
107
Voted
EXPERT
2007
15 years 2 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
120
Voted
ISLPED
2010
ACM
15 years 2 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...