Sciweavers

    286 search results - page 56 / 58
    » Reasoning About Partial Functions in the Formal Development ...
    Sort
    View
    ENTCS
    2006
    134views more  ENTCS 2006»
    Anonymity in Probabilistic and Nondeterministic Systems
    13 years 7 months ago
    Anonymity in Probabilistic and Nondeterministic Systems
    Download  www.lix.polytechnique.fr
    Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
    Catuscia Palamidessi
    claim paper
    Read More »
    STTT
    2008
    90views more  STTT 2008»
    A uniform framework for weighted decision diagrams and its implementation
    13 years 7 months ago
    A uniform framework for weighted decision diagrams and its implementation
    Download  jossowski.de
    1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
    Jörn Ossowski, Christel Baier
    claim paper
    Read More »
    CSI
    2007
    89views more  CSI 2007»
    Writing and executing ODP computational viewpoint specifications using Maude
    13 years 7 months ago
    Writing and executing ODP computational viewpoint specifications using Maude
    Download  www.lcc.uma.es
    The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
    José Raúl Romero, Antonio Vallecillo...
    claim paper
    Read More »
    EMSOFT
    2005
    Springer
    136views Software Engineering» more  EMSOFT 2005»
    Passive mid-stream monitoring of real-time properties
    14 years 26 days ago
    Passive mid-stream monitoring of real-time properties
    Download  www.cecs.uci.edu
    Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
    Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
    claim paper
    Read More »
    IPPS
    2010
    IEEE
    209views Distributed And Parallel Com...» more  IPPS 2010»
    Improving numerical reproducibility and stability in large-scale numerical simulations on GPUs
    13 years 5 months ago
    Improving numerical reproducibility and stability in large-scale numerical simulations on GPUs
    Download  gcl.cis.udel.edu
    The advent of general purpose graphics processing units (GPGPU's) brings about a whole new platform for running numerically intensive applications at high speeds. Their multi-...
    Michela Taufer, Omar Padron, Philip Saponaro, Sand...
    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.