Sciweavers

1057 search results - page 21 / 212
» its 1998
Sort
View
RTS
1998
104views more  RTS 1998»
13 years 9 months ago
Real-Time Schedulability Tests for Preemptive Multitasking
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
Colin J. Fidge
TCS
1998
13 years 9 months ago
Unary PCF is Decidable
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], cidable observational pre-order, and that its fully abstract model is effectively presentable. This is in ma...
Ralph Loader
TIT
1998
63views more  TIT 1998»
13 years 9 months ago
Operational Capacity and Pseudoclassicality of a Quantum Channel
We explore some basic properties of coding theory of a general quantum communication channel and its operational capacity, including (1) adaptive measurement with feedback code, (...
Akio Fujiwara, Hiroshi Nagaoka
TNN
1998
94views more  TNN 1998»
13 years 9 months ago
Global convergence of Oja's subspace algorithm for principal component extraction
—Oja’s principal subspace algorithm is a well-known and powerful technique for learning and tracking principal information in time series. A thorough investigation of the conve...
Tianping Chen, Yingbo Hua, Wei-Yong Yan
TSE
1998
67views more  TSE 1998»
13 years 9 months ago
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
—Distributed Feature Composition (DFC) is a new technology for feature specification and composition, based on a virtual architecture offering benefits analogous to those of a pi...
Michael Jackson, Pamela Zave