Vol 31, No 3 (2012)

Computing and Informatics

Table of Contents


Special CAI Section Devoted to MEMICS '11: Preface PDF
Zdeněk Kotásek, Lukáš Sekanina, Tomáš Vojnar, Jan Bouda, Ivana Černá 481--484

Special Section Articles

Describing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS) PDF
Christos Sakellariou, Peter J. Bentley 485--505
Verification of Systems with Degradation
Jiří Barnat, Ivana Černá, Jana Tůmová 507--530
Generalized Maneuvers in Route Planning for Computing and Informatics PDF
Petr Hliněný, Ondrej Moriš 531--549


An Interactive Concave Volume Clipping Method Based on GPU Ray Casting with Boolean Operation PDF
Feiniu Yuan 551--571
Search-Based Evolution of XML Schemas PDF
Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante 573--595
An Effective Semi-Supervised Clustering Framework Integrating Pairwise Constraints and Attribute Preferences PDF
Jinlong Wang, Shunyao Wu, Can Wen, Gang Li 597--612
A Novel Scheme for Accelerating Support Vector Clustering PDF
Yuan Ping, Yajian Zhou, Yixian Yang 613--638
A Method of XML Document Fragmentation for Reducing Time of XML Fragment Stream Query Processing PDF
Jin Kim, Hyunchul Kang 639--664
Efficient Energy and Electrostatic Properties Calculations at the MP2 Theory Level: A Case Study of Density Matrix-Based Computational Quantum Chemistry PDF
Grzegorz Mazur, Marcin Makowski, Jakub Sumera, Krzysztof Kowalczyk 665--673
A distributed evolutionary algorithm with a superlinear speedup for solving the vehicle routing problem PDF
Krunoslav Puljić, Robert Manger 675--692
A New Concurrent Checkpoint Mechanism for Embeded Multi-Core Systems PDF
Jianwei Liao 693--709

ISSN: 2585-8807