440 search results - page 25 / 88 » Logicalization of communication traces from parallel executi... |
DLOG
2010
13 years 5 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
WIDM
1999
ACM
13 years 12 months ago
1999
ACM
Recent work on information integration has yielded novel and efficient solutions for gathering data from the World Wide Web. However, there has been little attention given to the ...
PPOPP
1995
ACM
13 years 11 months ago
1995
ACM
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...
HOTI
2005
IEEE
14 years 1 months ago
2005
IEEE
Memory systems for conventional large-scale computers provide only limited bytes/s of data bandwidth when compared to their flop/s of instruction execution rate. The resulting bo...