10159 search results - page 640 / 2032 » System Design Validation Using Formal Models |
198
click to vote
JCNS
2000
15 years 7 months ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
189
click to vote
EUROCRYPT
2004
Springer
16 years 19 days ago
2004
Springer
For the last two decades the notion and implementations of proxy signatures have been used to allow transfer of digital signing power within some context (in order to enable flexi...
188
click to vote
MOBICOM
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe a simulation environment which is used to examine, validate, and predict the performance of mobile wireless network systems. This simulation environment...
199
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
Over the course of this decade, uniprocessor chips have given way to multi-core chips which have become the primary building blocks of today's computer systems. The presence o...
151
click to vote
DIAGRAMS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...