eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 8_2Date: 2011Journal Homepage Editorial BoardImpressum   GammaPolarSlicer 477 - 499 Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques and Jorge Sousa Pinto   AbstractKeywords: safety reuse, caller-based slicing, annotated system dependency graphMSC: 68N30 68N19 Animation of Tile-Based Games Automatically Derived from Simulation Specifications 501 - 516 Jan Wolter, Bastian Cramer and Uwe Kastens   AbstractKeywords: visual languages, DEViL, simulation, animation, tile-based games, pac-manMSC: 68N19 68U20 Solving Difficult LR Parsing Conflicts by Postponing Them 517 - 531 C. Rodriguez-Leon and L. Garcia-Forte   AbstractKeywords: parsing, lexical analysis, syntactic analysisMSC: 68N20 68P05 Detecting Concurrency Anomalies in Transactional Memory Programs 533 - 548 João Lourenço, Diogo Sousa, Bruno Teixeira and Ricardo Dias   AbstractKeywords: testing, verification, concurrency, software transactional memory, static analysisMSC: 68N30 68Q85 Article page: <<12

Issue 18 of 60Previous IssueNext Issue Articles 11 - 14 of 14Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 3.138.67.142 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)