881 search results - page 5 / 177 » Specification and Design Considerations for Reliable Embedde... |
DAC
1999
ACM
14 years 7 months ago
1999
ACM
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
FPGA
2004
ACM
14 years 2 days ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
DAC
1998
ACM
14 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
IAT
2007
IEEE
13 years 10 months ago
2007
IEEE
Multiagent systems (MAS) satisfy to design requirements for open physical complex systems. However, up to now, no method allows to build software/hardware hybrid multiagent system...
QSIC
2008
IEEE
14 years 1 months ago
2008
IEEE
