7040 search results - page 227 / 1408 » The Single Model Principle |
138
click to vote
LREC
2008
15 years 8 months ago
2008
In human face-to-face interaction, participants can rely on a number of audio-visual information for interpreting interlocutors' communicative intentions, such information st...
152
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
With technology scaling, the occurrence rate of not only single, but also multiple transients resulting from a single hit is increasing. In this work, we consider the effect of th...
162
click to vote
ISQED
2006
IEEE
16 years 16 days ago
2006
IEEE
System on Chip architectures have traditionally relied upon bus based interconnect for their communication needs. However, increasing bus frequencies and the load on the bus calls...
176
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
The gramian approximation methods have been proposed recently to overcome the high computing costs of classical balanced truncation based reduction methods. But those methods typi...
177
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...