Sciweavers

    2742 search results - page 493 / 549
    » Deriving Category Theory from Type Theory
    Sort
    View
    ICFP
    2007
    ACM
    113views Programming Languages» more  ICFP 2007»
    Relating complexity and precision in control flow analysis
    14 years 8 months ago
    Relating complexity and precision in control flow analysis
    Download  www.cs.brandeis.edu
    We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
    David Van Horn, Harry G. Mairson
    claim paper
    Read More »
    MOBIHOC
    2008
    ACM
    180views Computer Networks» more  MOBIHOC 2008»
    Complexity in wireless scheduling: impact and tradeoffs
    14 years 8 months ago
    Complexity in wireless scheduling: impact and tradeoffs
    Download  www.princeton.edu
    It has been an important research topic since 1992 to maximize stability region in constrained queueing systems, which includes the study of scheduling over wireless ad hoc networ...
    Yung Yi, Alexandre Proutiere, Mung Chiang
    claim paper
    Read More »
    MOBIHOC
    2008
    ACM
    219views Computer Networks» more  MOBIHOC 2008»
    Rendezvous design algorithms for wireless sensor networks with a mobile base station
    14 years 8 months ago
    Rendezvous design algorithms for wireless sensor networks with a mobile base station
    Download  anyserver.cityu.edu.hk
    Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range co...
    Guoliang Xing, Tian Wang, Weijia Jia, Minming Li
    claim paper
    Read More »
    MOBIHOC
    2008
    ACM
    130views Computer Networks» more  MOBIHOC 2008»
    Toward stochastic anatomy of inter-meeting time distribution under general mobility models
    14 years 8 months ago
    Toward stochastic anatomy of inter-meeting time distribution under general mobility models
    Download  www4.ncsu.edu
    Recent discovery of the mixture (power-law and exponential) behavior of inter-meeting time distribution of mobile nodes presents new challenge to the problem of mobility modeling ...
    Han Cai, Do Young Eun
    claim paper
    Read More »
    MOBIHOC
    2008
    ACM
    162views Computer Networks» more  MOBIHOC 2008»
    An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model
    14 years 8 months ago
    An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model
    Download  www.public.asu.edu
    Dealing with interference is one of the primary challenges to solve in the design of protocols for wireless ad-hoc networks. Most of the work in the literature assumes localized o...
    Christian Scheideler, Andréa W. Richa, Paol...
    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-2024, USA.