79 search results - page 6 / 16 » Reusable State Machine Components for Embedded Control Syste... |
FDL
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
MOBISYS
2005
ACM
14 years 6 months ago
2005
ACM
Sensor network nodes exhibit characteristics of both embedded systems and general-purpose systems. They must use little energy and be robust to environmental conditions, while als...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
This paper proposes a combination of circuit and architectural techniques to maximize leakage power reduction in embedded processor on-chip caches. It targets cache peripheral cir...
CSREAESA
2004
13 years 8 months ago
2004
The remote diagnostics of faults and operating states of technical equipment offers increased benefits and cost advantages for consumers and manufacturers. These advantages can al...
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...