663 search results - page 114 / 133 » Synthesis of Self-Testable Controllers |
109
click to vote
DAC
2004
ACM
15 years 3 months ago
2004
ACM
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
115
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
MAM
2006
14 years 11 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
RECONFIG
2008
IEEE
15 years 6 months ago
2008
IEEE
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
101
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...