381 search results - page 53 / 77 » Practical PACE for embedded systems |
TPHOL
1999
IEEE
14 years 29 days ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
DATE
2004
IEEE
14 years 13 days ago
2004
IEEE
The increasing complexity of system-on-chip (SOC) integrated circuits has spurred the development of versatile automatic test equipment (ATE) that can simultaneously drive differe...
GLOBECOM
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, a novel Kalman filter-based power allocation scheme is developed for cooperative networks with inaccurate channel state information (CSI). The channel estimation err...
ACMDIS
2008
ACM
13 years 10 months ago
2008
ACM
Ambient lifestyle feedback systems are embedded computer systems designed to motivate changes in a person's lifestyle by reflecting an interpretation of targeted behavior bac...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...