Sciweavers

    ENTCS
    2007
    84views more  ENTCS 2007»
    Inductive Reasoning and Programming Visualization, an Experiment Proposal
    14 years 12 days ago
    Inductive Reasoning and Programming Visualization, an Experiment Proposal
    Download  auspace.athabascau.ca
    We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
    Andrés Moreno, Niko Myller, Erkki Sutinen, ...
    claim paper
    Read More »
    ENTCS
    2007
    106views more  ENTCS 2007»
    Program and Algorithm Visualization in Engineering and Physics
    14 years 12 days ago
    Program and Algorithm Visualization in Engineering and Physics
    Download  www.engr.mun.ca
    We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...
    Michael Bruce-Lockhart, Theodore S. Norvell, Yiann...
    claim paper
    Read More »
    ENTCS
    2007
    83views more  ENTCS 2007»
    An Integrated and "Engaging" Package for Tree Animations
    14 years 12 days ago
    An Integrated and "Engaging" Package for Tree Animations
    Download  elara.tk.informatik.tu-darmstadt.de
    This paper describes a prototypical system that combines several aspects of engagement as defined in (Naps et al. 2003) for the topic of tree and tree algorithm animations.
    Guido Rößling, Silke Schneider
    claim paper
    Read More »
    ENTCS
    2007
    74views more  ENTCS 2007»
    A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
    14 years 12 days ago
    A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
    Download  fsl.cs.uiuc.edu
    Mark Hills, Traian Serbanuta, Grigore Rosu
    claim paper
    Read More »
    ENTCS
    2007
    84views more  ENTCS 2007»
    A Rewriting Logic Framework for Soft Constraints
    14 years 12 days ago
    A Rewriting Logic Framework for Soft Constraints
    Download  www-formal.stanford.edu
    Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
    Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
    claim paper
    Read More »
    ENTCS
    2007
    75views more  ENTCS 2007»
    Maude MSOS Tool
    14 years 12 days ago
    Maude MSOS Tool
    Download  maude-msos-tool.sourceforge.net
    Fabricio Chalub, Christiano Braga
    claim paper
    Read More »
    ENTCS
    2007
    94views more  ENTCS 2007»
    A Distributed Implementation of Mobile Maude
    14 years 12 days ago
    A Distributed Implementation of Mobile Maude
    Download  maude.sip.ucm.es
    We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
    Francisco Durán, Adrián Riesco, Albe...
    claim paper
    Read More »
    ENTCS
    2007
    144views more  ENTCS 2007»
    Partial Order Reduction for Rewriting Semantics of Programming Languages
    14 years 12 days ago
    Partial Order Reduction for Rewriting Semantics of Programming Languages
    Download  www.cs.cmu.edu
    Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
    Azadeh Farzan, José Meseguer
    claim paper
    Read More »
    ENTCS
    2007
    124views more  ENTCS 2007»
    Structuring Optimizing Transformations and Proving Them Sound
    14 years 12 days ago
    Structuring Optimizing Transformations and Proving Them Sound
    Download  www.seas.upenn.edu
    A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
    Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
    claim paper
    Read More »
    ENTCS
    2007
    101views more  ENTCS 2007»
    Solving Sudoku Puzzles with Rewriting Rules
    14 years 12 days ago
    Solving Sudoku Puzzles with Rewriting Rules
    Download  maude.sip.ucm.es
    The aim of the sudoku puzzle (also known as number place in the United States) is to enter a numeral from 1 through 9 in each cell of a grid, most frequently a 9 × 9 grid made up...
    Gustavo Santos-García, Miguel Palomino
    claim paper
    Read More »
    « first‹ previous…789101112131415…next ›last »
    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.