Sciweavers

    2250 search results - page 399 / 450
    » Authorizing applications in singularity
    Sort
    View
    TPHOL
    2005
    IEEE
    114views Automated Reasoning» more  TPHOL 2005»
    A HOL Theory of Euclidean Space
    15 years 3 months ago
    A HOL Theory of Euclidean Space
    Download  www.cl.cam.ac.uk
    We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
    John Harrison
    claim paper
    Read More »
    SC
    2005
    ACM
    102views Applied Computing» more  SC 2005»
    Tera-Scalable Algorithms for Variable-Density Elliptic Hydrodynamics with Spectral Accuracy
    15 years 3 months ago
    Tera-Scalable Algorithms for Variable-Density Elliptic Hydrodynamics with Spectral Accuracy
    Download  sc05.supercomputing.org
    We describe Miranda, a massively parallel spectral/compact solver for variabledensity incompressible flow, including viscosity and species diffusivity effects. Miranda utilizes...
    Andrew W. Cook, William H. Cabot, Peter L. William...
    claim paper
    Read More »
    SC
    2005
    ACM
    110views Applied Computing» more  SC 2005»
    VSched: Mixing Batch And Interactive Virtual Machines Using Periodic Real-time Scheduling
    15 years 3 months ago
    VSched: Mixing Batch And Interactive Virtual Machines Using Periodic Real-time Scheduling
    Download  virtuoso.cs.northwestern.edu
    We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
    Bin Lin, Peter A. Dinda
    claim paper
    Read More »
    VEE
    2005
    ACM
    143views Virtualization» more  VEE 2005»
    Optimized interval splitting in a linear scan register allocator
    15 years 3 months ago
    Optimized interval splitting in a linear scan register allocator
    Download  www.ssw.uni-linz.ac.at
    We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
    Christian Wimmer, Hanspeter Mössenböck
    claim paper
    Read More »
    WIDM
    2005
    ACM
    176views Internet Technology» more  WIDM 2005»
    Web path recommendations based on page ranking and Markov models
    15 years 3 months ago
    Web path recommendations based on page ranking and Markov models
    Download  nike.psu.edu
    Markov models have been widely used for modelling users' navigational behaviour in the Web graph, using the transitional probabilities between web pages, as recorded in the w...
    Magdalini Eirinaki, Michalis Vazirgiannis, Dimitri...
    claim paper
    Read More »
    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-2025, USA.