4520 search results - page 341 / 904 » Algebraic Techniques for Timed Systems |
201
click to vote
HYBRID
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
217
click to vote
DEXA
2008
Springer
15 years 9 months ago
2008
Springer
Information filtering systems constitute a critical component in modern information seeking applications. As the number of users grows and the information available becomes even bi...
201
click to vote
SOSP
1989
ACM
15 years 8 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
204
click to vote
DKE
1998
15 years 7 months ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
170
click to vote
DATE
2003
IEEE
16 years 24 days ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...