Sciweavers

686 search results - page 58 / 138
» Statistical Timing Analysis with Extended Pseudo-Canonical T...
Sort
View
NIPS
2004
14 years 11 months ago
Learning Efficient Auditory Codes Using Spikes Predicts Cochlear Filters
The representation of acoustic signals at the cochlear nerve must serve a wide range of auditory tasks that require exquisite sensitivity in both time and frequency. Lewicki (2002...
Evan C. Smith, Michael S. Lewicki
AUTOMATICA
2010
167views more  AUTOMATICA 2010»
14 years 9 months ago
A new kernel-based approach for linear system identification
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...
Gianluigi Pillonetto, Giuseppe De Nicolao
PEWASUN
2004
ACM
15 years 3 months ago
An M/MMGI/1/K queuing model for IEEE 802.11 ad hoc networks
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
Mustafa Özdemir, A. Bruce McDonald
BIRTHDAY
2010
Springer
14 years 10 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
JLP
2007
99views more  JLP 2007»
14 years 9 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky