Results 1 - 10 of 2,374

Original Article The Scalable Reasoning System:

by Information Visualization, Katarina Younkin, William Pike, Joe Bruce, Bob Baddeley, Daniel Best, Lyndsey Franklin, Richard May, Douglas Rice, Rick Riensche, William Pike, Joe Bruce, Bob Baddeley, Daniel Best, Lyndsey Franklin, Douglas Rice, Rick Riensche, Katarina Younkin , 2008
"... can be found at:Information VisualizationAdditional services and information for ..."
Abstract - Add to MetaCart
can be found at:Information VisualizationAdditional services and information for

Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors

by John M. Mellor-crummey, Michael L. Scott - ACM Transactions on Computer Systems , 1991
"... Busy-wait techniques are heavily used for mutual exclusion and barrier synchronization in shared-memory parallel programs. Unfortunately, typical implementations of busy-waiting tend to produce large amounts of memory and interconnect contention, introducing performance bottlenecks that become marke ..."
Abstract - Cited by 573 (32 self) - Add to MetaCart
new scalable algorithm for spin locks that generates O(1) remote references per lock acquisition, independent of the number of processors attempting to acquire the lock. Our algorithm provides reasonable latency in the absence of contention, requires only a constant amount of space per lock

Original Article The Scalable Reasoning System: Lightweight visualization for distributed analytics

by William Pike, Joe Bruce, Bob Baddeley, Daniel Best, Lyndsey Franklin, Douglas Rice, Rick Riensche, Katarina Younkin , 2008
"... Abstract A central challenge in visual analytics is the creation of acces-sible, widely distributable analysis applications that bring the benefits of visual discovery to as broad a user base as possible. Moreover, to support the role of visualization in the knowledge creation process, it is advanta ..."
Abstract - Add to MetaCart
, it is advantageous to allow users to describe the reasoning strategies they employ while interacting with analytic environments. We introduce an application suite called the scalable reasoning system (SRS), which provides web-based and mobile interfaces for visual analysis. The service-oriented analytic framework

Pregel: A system for large-scale graph processing

by Grzegorz Malewicz, Matthew H. Austern, Aart J. C. Bik, James C. Dehnert, Ilan Horn, Naty Leiser, Grzegorz Czajkowski - IN SIGMOD , 2010
"... Many practical computing problems concern large graphs. Standard examples include the Web graph and various social networks. The scale of these graphs—in some cases billions of vertices, trillions of edges—poses challenges to their efficient processing. In this paper we present a computational model ..."
Abstract - Cited by 496 (0 self) - Add to MetaCart
is flexible enough to express a broad set of algorithms. The model has been designed for efficient, scalable and fault-tolerant implementation on clusters of thousands of commodity computers, and its implied synchronicity makes reasoning about programs easier. Distributionrelated details are hidden behind

Design of a scalable reasoning engine for distributed, real-time and embedded systems

by James Edmondson, Aniruddha Gokhale - In Proceedings of the 5th conference on Knowledge Science, Engineering and Management, KSEM 2011, Lecture Notes in Artificial Intelligence (LNAI , 2011
"... Abstract. Effective and efficient knowledge dissemination and reason-ing in distributed, real-time, and embedded (DRE) systems remains a hard problem due to the need for tight time constraints on evaluation of rules and scalability in dissemination of knowledge events. Limita-tions in satisfying the ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
Abstract. Effective and efficient knowledge dissemination and reason-ing in distributed, real-time, and embedded (DRE) systems remains a hard problem due to the need for tight time constraints on evaluation of rules and scalability in dissemination of knowledge events. Limita-tions in satisfying

Toward Scalable Reasoning over Annotated RDF Data Using MapReduce

by Chang Liu, Guilin Qi
"... The Resource Description Framework (RDF) is one of the major representation standards for the Semantic Web. RDF Schema (RDFS) is used to describe vocabularies used in RDF descriptions. Recently, there is an increasing interest to express additional information on ..."
Abstract - Add to MetaCart
The Resource Description Framework (RDF) is one of the major representation standards for the Semantic Web. RDF Schema (RDFS) is used to describe vocabularies used in RDF descriptions. Recently, there is an increasing interest to express additional information on

LUBM: A benchmark for OWL knowledge base systems

by Yuanbo Guo, Zhengxiang Pan, Jeff Heflin - Semantic Web Journal , 2005
"... We describe our method for benchmarking Semantic Web knowledge base systems with respect to use in large OWL applications. We present the Lehigh University Benchmark (LUBM) as an example of how to design such benchmarks. The LUBM features an ontology for the university domain, synthetic OWL data sca ..."
Abstract - Cited by 378 (10 self) - Add to MetaCart
scalable to an arbitrary size, fourteen extensional queries representing a variety of properties, and several performance metrics. The LUBM can be used to evaluate systems with different reasoning capabilities and storage mechanisms. We demonstrate this with an evaluation of two memorybased systems and two

Providing robust and ubiquitous security support for mobile ad-hoc networks

by Jiejun Kong, Petros Zerfos, Haiyun Luo, Songwu Lu, Lixia Zhang - IN ICNP, 2001 , 2001
"... Providing security support for mobile ad-hoc networks is challenging for several reasons: (a) wireless networks are susceptible to attacks ranging from passive eavesdropping to active interfering, occasional break-ins by adversaries may be inevitable in a large time window; (b) mobile users demand “ ..."
Abstract - Cited by 320 (8 self) - Add to MetaCart
Providing security support for mobile ad-hoc networks is challenging for several reasons: (a) wireless networks are susceptible to attacks ranging from passive eavesdropping to active interfering, occasional break-ins by adversaries may be inevitable in a large time window; (b) mobile users demand

Scalable Distributed Reasoning using MapReduce

by Jacopo Urbani, Spyros Kotoulas, Eyal Oren, Frank Van Harmelen
"... We address the problem of scalable distributed reasoning, proposing a technique for materialising the closure of an RDF graph based on MapReduce. We have implemented our approach on top of Hadoop and deployed it on a compute cluster of up to 64 commodity machines. We show that a naive implementatio ..."
Abstract - Cited by 93 (14 self) - Add to MetaCart
We address the problem of scalable distributed reasoning, proposing a technique for materialising the closure of an RDF graph based on MapReduce. We have implemented our approach on top of Hadoop and deployed it on a compute cluster of up to 64 commodity machines. We show that a naive

Scalable and parallel reasoning in the Semantic Web

by Jacopo Urbani
"... Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too complex, the computational resources of a single machine are not enough. We propose a distributed approach that overcomes t ..."
Abstract - Add to MetaCart
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too complex, the computational resources of a single machine are not enough. We propose a distributed approach that overcomes
Results 1 - 10 of 2,374