12107 search results - page 168 / 2422 » Software That Can Think |
128
click to vote
WICSA
2004
15 years 4 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
103
Voted
CROSSROADS
2008
15 years 3 months ago
2008
O ptimizing embedded applications using a compiler can generally be broken down into two major categories: hand-optimizing code to take advantage of a particular processor's ...
112
click to vote
TCAD
2008
15 years 2 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
127
click to vote
SIMPRA
1998
15 years 2 months ago
1998
The paper deals with a unified environment for the design and implementation of control schemes. The widely used MATLAB-SIMULINK is used for control scheme description. The imple...
119
click to vote
RV
2010
Springer
15 years 24 days ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...