4520 search results - page 857 / 904 » Algebraic Techniques for Timed Systems |
117
Voted
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
104
Voted
CGO
2005
IEEE
15 years 6 months ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
107
click to vote
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
136
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
144
click to vote
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...