Sciweavers

    ISCA
    2012
    IEEE
    237views Hardware» more  ISCA 2012»
    BOOM: Enabling mobile memory based low-power server DIMMs
    12 years 3 months ago
    BOOM: Enabling mobile memory based low-power server DIMMs
    Download  www.hpl.hp.com
    To address the real-time processing needs of large and growing amounts of data, modern software increasingly uses main memory as the primary data store for critical information. T...
    Doe Hyun Yoon, Jichuan Chang, Naveen Muralimanohar...
    claim paper
    Read More »
    ISCA
    2012
    IEEE
    270views Hardware» more  ISCA 2012»
    Revisiting hardware-assisted page walks for virtualized systems
    12 years 3 months ago
    Revisiting hardware-assisted page walks for virtualized systems
    Download  calab.kaist.ac.kr
    Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...
    Jeongseob Ahn, Seongwook Jin, Jaehyuk Huh
    claim paper
    Read More »
    ISCA
    2012
    IEEE
    218views Hardware» more  ISCA 2012»
    CAPRI: Prediction of compaction-adequacy for handling control-divergence in GPGPU architectures
    12 years 3 months ago
    CAPRI: Prediction of compaction-adequacy for handling control-divergence in GPGPU architectures
    Download  lph.ece.utexas.edu
    Wide SIMD-based GPUs have evolved into a promising platform for running general purpose workloads. Current programmable GPUs allow even code with irregular control to execute well...
    Minsoo Rhu, Mattan Erez
    claim paper
    Read More »
    ISCA
    2012
    IEEE
    302views Hardware» more  ISCA 2012»
    Scale-out processors
    12 years 3 months ago
    Scale-out processors
    Download  infoscience.epfl.ch
    The emergence of global-scale online services has galvanized scale-out software, characterized by splitting vast datasets and massive computation across many independent servers. ...
    Pejman Lotfi-Kamran, Boris Grot, Michael Ferdman, ...
    claim paper
    Read More »
    JAIR
    2012
    220views Hardware» more  JAIR 2012»
    The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary
    12 years 3 months ago
    The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary
    Download  wwwusers.di.uniroma1.it
    Tiziano Flati, Roberto Navigli
    claim paper
    Read More »
    JAIR
    2012
    254views Hardware» more  JAIR 2012»
    Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
    12 years 3 months ago
    Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
    Download  www.cs.ox.ac.uk
    To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
    Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
    claim paper
    Read More »
    JAIR
    2012
    211views Hardware» more  JAIR 2012»
    Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
    12 years 3 months ago
    Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
    Download  reasoning.eas.asu.edu
    Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
    Joohyung Lee, Ravi Palla
    claim paper
    Read More »
    JAIR
    2012
    205views Hardware» more  JAIR 2012»
    COLIN: Planning with Continuous Linear Numeric Change
    12 years 3 months ago
    COLIN: Planning with Continuous Linear Numeric Change
    Download  www.jair.org
    In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...
    Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...
    claim paper
    Read More »
    CAV
    2012
    Springer
    222views Hardware» more  CAV 2012»
    OpenNWA: A Nested-Word Automaton Library
    12 years 3 months ago
    OpenNWA: A Nested-Word Automaton Library
    Download  research.cs.wisc.edu
    Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, ...
    Evan Driscoll, Aditya V. Thakur, Thomas W. Reps
    claim paper
    Read More »
    CAV
    2012
    Springer
    227views Hardware» more  CAV 2012»
    Minimum Satisfying Assignments for SMT
    12 years 3 months ago
    Minimum Satisfying Assignments for SMT
    Download  www.cs.wm.edu
    Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
    Isil Dillig, Thomas Dillig, Kenneth L. McMillan, A...
    claim paper
    Read More »
    « first‹ previous…293031323334353637…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.