4922 search results - page 307 / 985 » Internet time out |
158
click to vote
ISORC
2009
IEEE
16 years 26 days ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
148
click to vote
CSL
2009
Springer
16 years 24 days ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...
142
click to vote
ICASSP
2008
IEEE
16 years 20 days ago
2008
IEEE
A performance and robustness study for on-line signature veri cation is presented. Experiments are carried out on the MCYT database comprising 16,500 signatures from 330 subjects,...
107
click to vote
ICC
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract—We propose chip waveforms for essentially fullresponse signaling in DS-CDMA systems that employ offset quadrature modulation formats. The waveforms are optimal in the se...
154
click to vote
ICC
2008
IEEE
16 years 20 days ago
2008
IEEE
—In this paper we present the modeling and simulation of multiple-hop routing in ultrafast all-optical packet switching based routers employing multiple pulse position modulation...