Alexander Pacholik

According to our database1, Alexander Pacholik authored at least 10 papers between 2007 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Performance evaluation of platform-specific implementations of numerically complex control designs for nano-positioning applications.
Int. J. Embed. Syst., 2013

A model reduction approach for improving discrete event simulation performance.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Designing a Control Application by Using a Specialized Multi-Core Soft Microprocessor.
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

2012
Modelling Technical Constraints and Preconditions for Alternative Design Desicions.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011
GPU vs FPGA: Example Application on White Light Interferometry.
Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs, 2011

LiSARD: LabVIEW Integrated Softcore Architecture for Reconfigurable Devices.
Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs, 2011

Towards Optimization of Design Decisions for Embedded Systems by Exploiting Dependency Relationships.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

2010
Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen.
PhD thesis, 2010

2008
Advanced Assertion-Based Design for Mixed-Signal Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007
A system model for formal verification of TLM based transaction properties.
Proceedings of the 2007 Spring Simulation Multiconference, 2007


  Loading...