48 search results - page 2 / 10 » Verification-Purpose Operating System for Microprocessor Sys... |
TC
2010
13 years 5 days 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
13 years 10 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
13 years 10 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
13 years 12 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
13 years 10 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...