12333 search results - page 555 / 2467 » System Level Modelling for Hardware Software Systems |
170
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
179
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
191
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
220
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a new design of an Embedded Speech Recognition System. It combines the aspects of both hardware and software design to implement a speaker dependent, isolated word, sma...
306
click to vote
SPEECH
2011
15 years 2 months ago
2011
We describe a system for separating multiple sources from a two-channel recording based on interaural cues and prior knowledge of the statistics of the underlying source signals. ...