Abstract is missing.
- Modification of Concurrent Design of Hardware and Software for Embedded Systems - A Synergistic ApproachMieczyslaw Drabowski. 3-13 [doi]
- Elastic FOPID+FIR Controller Design Using Hybrid Population-Based AlgorithmKrystian Lapa. 15-26 [doi]
- Optimization of Read-Only Memory Program Models Mapping into the FPGA ArchitectureViktor Melnyk, Ivan Lopit. 27-37 [doi]
- Simple Rule-Based Human Activity Detection with Use of Mobile Phone SensorsMariusz Fras, Mikolaj Bednarz. 39-49 [doi]
- Timed Analysis of Security ProtocolsSabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski. 53-63 [doi]
- Some Remarks on Security Protocols Verification ToolsMiroslaw Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch. 65-75 [doi]
- Algorithmic Complexity Vulnerability Analysis of a Stateful FirewallAdam Czubak, Marcin Szymanek. 77-97 [doi]
- Analysis of the Minutia Groups Base of Currents Algorithms 'Pasterns' DatabaseMichal Szczepanik, Ireneusz J. Jozwiak, Karol Stasinski, Pawel Wichary. 99-108 [doi]
- Self-organizing Agents for Dynamic Network- and QoS-Aware Service Composition in Cloud ComputingLeila Helali, Zaki Brahmi. 111-124 [doi]
- Distributed Computing Architecture on Epiphany MIMD AcceleratorsLukasz Faber. 125-135 [doi]
- A Fail-Safe NVRAM Based Mechanism for Efficient Creation and Recovery of Data Copies in Parallel MPI ApplicationsArtur Malinowski, Pawel Czarnul, Maciej Maciejewski, Pawel Skowron. 137-147 [doi]
- Towards Effective Allocation of Resources in Service-Oriented SystemsLukasz Falas, Krzysztof Juszczyszyn. 149-159 [doi]
- Transient Processing Analysis in a Finite-Buffer Queueing Model with Setup TimesWojciech M. Kempa, Dariusz Kurzyk. 163-175 [doi]
- Analysis of Routing Protocols Metrics for Wireless Mesh NetworksPiotr Owczarek, Maciej Piechowiak, Piotr Zwierzykowski. 177-186 [doi]
- Energy Efficient Dynamic Load Balancing in Multipath TCP for Mobile DevicesMichal Morawski, Przemyslaw Ignaciuk. 187-197 [doi]
- Mutation Testing in Model Accuracy AssessmentJoanna Strug. 201-211 [doi]
- Generating Source Code Templates on the Basis of Unit TestsMariusz Nyznar, Dariusz Palka. 213-223 [doi]
- Decomposition and Reduction of Indexing Structures with Use of the GPU ComputationsDamian Raczynski, Wlodzimierz Stanislawski. 225-237 [doi]
- Social-Media Data Analysis Using Tessera Framework in the Hadoop Cluster EnvironmentMartin Sarnovsky, Peter Butka, Jakub Paulina. 239-251 [doi]