Content 3/2012

Vol. 31, 2012, No. 3

This number contains 11 articles.

Describing The FPGA-Based Hardware Architecture of Systemic Computation (HAoS)
Christos Sakellariou, Peter J. Bentley
pp. 485–505
Verification of Systems with Degradation
Jiří Barnat, Ivana Černá, Jana Tůmová
pp. 507–530
Generalized Maneuvers in Route Planning for Computing and Informatics
Petr Hliněný, Ondrej Moriš
pp. 531–549
An Interactive Concave Volume Clipping Method Based on GPU Ray Casting with Boolean Operation
Feiniu Yuan
pp. 551–571
Search-Based Evolution of XML Schemas
Julio Cesar Teodoro Silva, Aurora Trinidad Ramirez Pozo, Silvia Regina Vergilio, Martin A. Musicante
pp. 573–595
An Effective Semi-Supervised Clustering Framework Integrating Pairwise Constraints and Attribute Preferences
Jinlong Wang, Shunyao Wu, Can Wen, Gang Li
pp. 597–612
A Novel Scheme for Accelerating Support Vector Clustering
Yuan Ping, Yajian Zhou, Yixian Yang
pp. 613–638
A Method of XML Document Fragmentation for Reducing Time of XML Fragment Stream Query Processing
Jin Kim, Hyunchul Kang
pp. 639–664
Efficient Energy and Electrostatic Properties Calculations at the MP2 Theory Level: A Case Study of Density Matrix-Based Computational Quantum Chemistry
Grzegorz Mazur, Marcin Makowski, Jakub Sumera, Krzysztof Kowalczyk
pp. 665–673
A Distributed Evolutionary Algorithm with a Superlinear Speedup for Solving the Vehicle Routing Problem
Krunoslav Puljić, Robert Manger
pp. 675–692
A New Concurrent Checkpoint Mechanism for Embeded Multi-Core Systems
Jianwei Liao
pp. 693–709