Krzysztof Sapiecha

Ann. UMCS Informatica, 2016

An implementation of articial advisor for dynamic classication of objects.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2016

Speeding up global optimization with the help of intelligent supervisors.

[BibT_eX]

[DOI]

Appl. Intell., 2016

2014

Enhancing Throughput of Scalable Distributed Two - Layer Data Structures.

[BibT_eX]

[DOI]

Adam Krechowicz

Proceedings of the IEEE 13th International Symposium on Parallel and Distributed Computing, 2014

An Application of Developmental Genetic Programming for Automatic Creation of Supervisors of Multi-task Real-Time Object-Oriented Systems.

[BibT_eX]

[DOI]

Leszek Ciopinski

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

A Developmental Genetic Approach to the cost/time trade-off in Resource Constrained Project Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013

How validation can help in testing business processes orchestrating web services.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2013

Scalable Distributed Two-Layer Data Structures (SD2DS).

[BibT_eX]

[DOI]

Int. J. Distributed Syst. Technol., 2013

Cost-Efficient Project Management Based on Distributed Processing Model.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

A Fault Injection Based Approach to Assessment of Quality of Test Sets for BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013

An Application of Software Fault Injection for Assessment of Quality of Test Sets for Business Processes Orchestrating Web-Services.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2013, 2013

2012

Resource Allocation Optimization in Critical Chain Method.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2012

2011

How Ants Can Efficiently Solve Generalized Watchman Route Problem.

[BibT_eX]

[DOI]

Pawel Paduch

Int. J. Swarm Intell. Res., 2011

Distributed Memory Virtualization with the Use of SDDSfL.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2011

Balancing Workloads of Servers Maintaining Scalable Distributed Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 19th International Euromicro Conference on Parallel, 2011

2010

An Application of Expectation-Maximization for Model Verification.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2010

SDDSfL vs. local disk - a comparative study for Linux.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2010

2009

Scalable Store of Java Objects Using Range Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering Techniques, 2009

2008

Computer-based system for training and ranking mobot operators - selection procedure.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2008

A procedure of verification of comprehensive tests for selection of candidates for operators of mobile robot.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2008

Test scenarios generation for a class of processes defined in the BPEL language.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2008

Scalable Distributed Data Structures for Linux-based Multicomputer.

[BibT_eX]

[DOI]

Arkadiusz Chrobot

Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

Automating Test Case Generation for Requirements Specification for Processes Orchestrating Web Services.

[BibT_eX]

Proceedings of the ICEIS 2008, 2008

A Store of Java Objects on a Multicomputer.

[BibT_eX]

Proceedings of the ICEIS 2008, 2008

2007

Computer-based system for training and selecting mobile robot operators - evolving software tools.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2007

Fault tolerant control for RP* architecture of Scalable Distributed Data Structures.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2007

Fault Tolerant Record Placement for Decentralized SDDS LH*.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2007

2006

Detecting changes in environment of mobile robot.

[BibT_eX]

[DOI]

Arkadiusz Chrobot

Ann. UMCS Informatica, 2006

An application of virtual reality for training and ranking operators of mobile robot.

[BibT_eX]

[DOI]

Pawel Paduch

Ann. UMCS Informatica, 2006

Software Functional Fault Injector for SDDS.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2006, 2006

2005

Experimental data driven robot for pattern classification.

[BibT_eX]

[DOI]

Pawel Paduch

Ann. UMCS Informatica, 2005

Fault-tolerant control for Scalable Distributed Data Structures.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2005

Fault-Tolerant Protocols for Scalable Distributed Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2005

2004

Validation of reactive embedded systems against specification requirements.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2004

RT-level fast fault simulator.

[BibT_eX]

[DOI]

Ann. UMCS Informatica, 2004

Fast high-level fault simulator.

[BibT_eX]

[DOI]

Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

Validation of Reactive Embedded Systems against Temporal Requirements.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

An Iterative Improvement Co-synthesis Algorithm for Optimization of SOPC Architecture with Dynamically Reconfigurable FPGAs.

[BibT_eX]

[DOI]

Radoslaw Czarnecki

Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

2001

Developing a High-Level Fault Simulation Standard.

[BibT_eX]

[DOI]

Computer, 2001

1999

High Level Testbench Generation for VHDL Models.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998

HTDD based parallel fault simulator.

[BibT_eX]

[DOI]

Joanna Sapiecha

Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, 1998

1994

Cupland - A Behavioral Level Description Compiler for Designing of PLD/EPLD-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

1990

Modular Architecture for High Performance Implementatin of the FFT Algorithm.

[BibT_eX]

[DOI]

R. Jarocki

IEEE Trans. Computers, 1990

1986

Modular Architecture for High Performance Implementation of FFT Algorithm.

[BibT_eX]

[DOI]