48 search results - page 2 / 10 » Verification-Purpose Operating System for Microprocessor Sys... |
TC
2010
14 years 4 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
MEMOCODE
2003
IEEE
15 years 2 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
ISDA
2008
IEEE
15 years 3 months ago
2008
IEEE
This study focused on designing an intelligent living-space with automatic control system to control all home appliances in the space. First of all, the system was constructed wit...
WADT
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...