4520 search results - page 267 / 904 » Algebraic Techniques for Timed Systems |
191
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we address the problem of guaranteeing end-to-end (ETE) delay of packets in a distributed system where the technique of time division multiplex access (TDMA)is adop...
229
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
223
click to vote
DLOG
1998
15 years 8 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
193
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Collaborative Filtering (CF) algorithms, used to build webbased recommender systems, are often evaluated in terms of how accurately they predict user ratings. However, current eva...
190
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...