1005 search results - page 109 / 201 » Agile Methods for Embedded Systems |
142
Voted
AUTOMATICA
2010
15 years 2 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
114
Voted
DAC
2009
ACM
15 years 9 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
138
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
108
Voted
INFOCOM
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
131
Voted
DFT
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a configuration technique for a Large Area Integrated Circuit (LAIC) which is manufactured by wafer stepping. A LAIC consists of four identical subsystems, i.e., a subs...