Sciweavers

14382 search results - page 42 / 2877
» Time in Connectionist Models
Sort
View
TII
2011
206views Education» more  TII 2011»
14 years 8 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»
15 years 1 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 5 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»
16 years 1 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
15 years 2 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