Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
Front Page Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 8_2Date: 2011Journal Homepage

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

Remote Address: • Server: User Agent: CCBot/2.0 (