Sciweavers

14382 search results - page 42 / 2877
» Time in Connectionist Models
Sort
View
TII
2011
206views Education» more  TII 2011»
14 years 5 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
CORR
2007
Springer
154views Education» more  CORR 2007»
14 years 10 months ago
To Code or Not to Code Across Time: Space-Time Coding with Feedback
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
Che Lin, Vasanthan Raghavan, Venugopal V. Veeraval...
CONCUR
1998
Springer
15 years 2 months ago
It's About Time: Real-Time Logics Reviewed
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
Thomas A. Henzinger
VLSID
2008
IEEE
83views VLSI» more  VLSID 2008»
15 years 10 months ago
Efficient Linear Macromodeling via Discrete-Time Time-Domain Vector Fitting
We present a discrete-time time-domain vector fitting algorithm, called TD-VFz, for rational function macromodeling of port-to-port responses with discrete time-sampled data. The ...
Chi-Un Lei, Ngai Wong
MASCOTS
2004
14 years 11 months ago
The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution
This study introduces a new analytic queuing model, the N-Burst/G/1 model with heavy-tailed service-time distribution, which captures many of the issues that affect Web servers as...
Ronit Nossenson, Hagit Attiya