6978 search results - page 13 / 1396 » On Proofs in System P |
175
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Schedulability tests are presented for preemptive earliest-deadline-first and deadline-monotonic scheduling of periodic or sporadic real-time tasks on a singlequeue Ñ-server sys...
145
click to vote
ISCAS
2007
IEEE
16 years 1 days ago
2007
IEEE
Abstract— MIMO channels and wireless communications systems have generated a great deal of renewed interest in linear system theory. This paper presents two results. The first i...
133
click to vote
FFA
2010
15 years 4 months ago
2010
Let Fq be a finite field with q elements and p ∈ Fq[X, Y ]. In this paper we study properties of additive functions with respect to number systems which are defined in the rin...
