4809 search results - page 674 / 962 » Scalable Analysis of Scalable Systems |
190
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
176
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
208
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Efficient matching of incoming events to persistent queries is fundamental to event pattern matching, complex event processing, and publish/subscribe systems. Recent processing e...
193
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Peer-to-peer (P2P) multicast is a scalable solution adopted by many video streaming systems. However, a prevalence of P2P applications has caused heavy traffic on the Internet. W...
133
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—High-speed interconnects are frequently used to provide scalable communication on increasingly large high-end computing systems. Often, these networks are nonblocking, where the...