Sciweavers

    20638 search results - page 398 / 4128
    » Network Computing
    Sort
    View
    FAC
    2010
    93views more  FAC 2010»
    Verification and falsification of programs with loops using predicate abstraction
    15 years 4 months ago
    Verification and falsification of programs with loops using predicate abstraction
    Download  www.kroening.com
    Daniel Kroening, Georg Weissenbacher
    claim paper
    Read More »
    MP
    2011
    244views Intelligent Agents» more  MP 2011»
    Fixed point and Bregman iterative methods for matrix rank minimization
    14 years 10 months ago
    Fixed point and Bregman iterative methods for matrix rank minimization
    Download  people.ee.duke.edu
    Shiqian Ma, Donald Goldfarb, Lifeng Chen
    claim paper
    Read More »
    MSOM
    2011
    211views Intelligent Agents» more  MSOM 2011»
    Pricing Services Subject to Congestion: Charge Per-Use Fees or Sell Subscriptions?
    14 years 10 months ago
    Pricing Services Subject to Congestion: Charge Per-Use Fees or Sell Subscriptions?
    Download  opim.wharton.upenn.edu
    Gérard P. Cachon, Pnina Feldman
    claim paper
    Read More »
    NETWORKS
    2010
    133views Computer Networks» more  NETWORKS 2010»
    Mixed search number and linear-width of interval and split graphs
    15 years 6 months ago
    Mixed search number and linear-width of interval and split graphs
    Download  www.ii.uib.no
    We show that the mixed search number and the linear-width of interval graphs and of split graphs can be computed in linear time and in polynomial time, respectively.
    Fedor V. Fomin, Pinar Heggernes, Rodica Mihai
    claim paper
    Read More »
    ANSS
    2008
    IEEE
    277views Modeling and Simulation» more  ANSS 2008»
    A Primer for Real-Time Simulation of Large-Scale Networks
    16 years 2 months ago
    A Primer for Real-Time Simulation of Large-Scale Networks
    Download  nsl.csie.nctu.edu.tw
    —Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...
    Jason Liu
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.