Sciweavers

    42507 search results - page 104 / 8502
    » On the analysis of
    Sort
    View
    CJ
    2010
    139views more  CJ 2010»
    An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier
    15 years 3 months ago
    An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier
    Download  www.cs.unicam.it
    Roberto Barbuti, Nicoletta De Francesco, Luca Tese...
    claim paper
    Read More »
    CJ
    2010
    127views more  CJ 2010»
    Distributed Building Evacuation Simulator for Smart Emergency Management
    15 years 3 months ago
    Distributed Building Evacuation Simulator for Smart Emergency Management
    Download  sa.ee.ic.ac.uk
    Nikolaos Dimakis, Avgoustinos Filippoupolitis, Ero...
    claim paper
    Read More »
    SCIENTOMETRICS
    2011
    327views Applied Computing» more  SCIENTOMETRICS 2011»
    Exploring the management information systems discipline: a scientometric study of ICIS, PACIS and ASAC
    14 years 9 months ago
    Exploring the management information systems discipline: a scientometric study of ICIS, PACIS and ASAC
    Download  foba.lakeheadu.ca
    Mihail Cocosila, Alexander Serenko, Ofir Turel
    claim paper
    Read More »
    DAC
    2007
    ACM
    155views Computer Architecture» more  DAC 2007»
    Modeling the Function Cache for Worst-Case Execution Time Analysis
    16 years 7 months ago
    Modeling the Function Cache for Worst-Case Execution Time Analysis
    Download  www.jopdesign.com
    Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
    Raimund Kirner, Martin Schoeberl
    claim paper
    Read More »
    ICFP
    2002
    ACM
    159views Programming Languages» more  ICFP 2002»
    A demand-driven adaptive type analysis
    16 years 6 months ago
    A demand-driven adaptive type analysis
    Download  www.iro.umontreal.ca
    Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
    Danny Dubé, Marc Feeley
    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.