6978 search results - page 13 / 1396 » On Proofs in System P |
RTSS
2003
IEEE
14 years 26 days 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...
ISCAS
2007
IEEE
14 years 1 months 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...
FFA
2010
13 years 6 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...
ICALP
2001
Springer
14 years 2 days ago
2001
Springer
COMPOS
1997
Springer
13 years 11 months ago
1997
Springer