183 search results - page 33 / 37 » Verification Approach of Metropolis Design Framework for Emb... |
ASE
2006
13 years 8 months ago
2006
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...
SIMUTOOLS
2008
13 years 10 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
AISC
1998
Springer
14 years 25 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
MICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
Application-specific extensions to the computational capabilities of a processor provide an efficient mechanism to meet the growing performance and power demands of embedded appl...