1325 search results - page 190 / 265 » The Incidence Propagation Method |
DAC
1994
ACM
14 years 26 days ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
GLOBECOM
2007
IEEE
14 years 19 days ago
2007
IEEE
In this paper, we consider a MIMO wireless relay network where communication between a source and a destination node is assisted by multiple relay nodes using the Amplifyand-Forwar...
FGR
2004
IEEE
14 years 15 days ago
2004
IEEE
Solving the tracking of an articulated structure in a reasonable time is a complex task mainly due to the high dimensionality of the problem. A new optimization method, called Sto...
GRAPHITE
2007
ACM
13 years 10 months ago
2007
ACM
This work introduces a new technique for highly detailed, interactive liquid simulations. Similar to the mode-splitting method (used e.g. in oceanography), we separate the simulat...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...