Zdenek Hanzalek
TitoloCitata daAnno
A simulation model for the IEEE 802.15. 4 protocol: delay/throughput evaluation of the GTS mechanism
P JurcAk, M Alves, E Tovar, Z Hanzálek
2007 15th International Symposium on Modeling, Analysis, and Simulation of …, 2007
1222007
Energy efficient scheduling for cluster-tree wireless sensor networks with time-bounded data flows: Application to IEEE 802.15. 4/ZigBee
Z Hanzálek, P Jurcik
IEEE Transactions on Industrial Informatics 6 (3), 438-450, 2010
1162010
Profinet IO IRT message scheduling with temporal constraints
Z Hanzálek, P Burget, P Sucha
IEEE Transactions on Industrial Informatics 6 (3), 369-380, 2010
822010
Torsche scheduling toolbox for matlab
P Sucha, M Kutil, M Sojka, Z Hanzálek
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
632006
Formal verification of multitasking applications based on timed automata model
L Waszniowski, Z Hanzálek
Real-Time Systems 38 (1), 39-65, 2008
602008
On the Ethernet use for real-time publish-subscribe based applications
O Dolejs, P Smolik, Z Hanzalek
IEEE International Workshop on Factory Communication Systems, 2004 …, 2004
542004
Low-cost reconfigurable control system for small UAVs
O Spinka, O Holub, Z Hanzalek
IEEE Transactions on Industrial Electronics 58 (3), 880-889, 2009
482009
Production scheduling with alternative process plans
R Čapek, P Šůcha, Z Hanzálek
European Journal of Operational Research 217 (2), 300-311, 2012
422012
Modular software architecture for flexible reservation mechanisms on heterogeneous resources
M Sojka, P Píša, D Faggioli, T Cucinotta, F Checconi, Z Hanzálek, G Lipari
Journal of Systems Architecture 57 (4), 366-382, 2011
422011
Profinet IO IRT message scheduling
Z Hanzálek, P Burget, P Šucha
2009 21st Euromicro Conference on Real-Time Systems, 57-65, 2009
392009
Tool supporting the co-design of control systems and their real-time implementation: current status and future directions
M Torngren, D Henriksson, KE Arzen, A Cervin, Z Hanzalek
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
362006
Case study on distributed and fault tolerant system modeling based on timed automata
L Waszniowski, J Krákora, Z Hanzálek
Journal of Systems and Software 82 (10), 1678-1694, 2009
332009
Co-design of Control Systems and their real-time implementation-A Tool Survey
M Törngren, D Henriksson, O Redell, C Kirsch, J El-Khoury, D Simon, ...
252006
Matlab toolbox for petri nets
M Svádová, Z Hanzálek
22nd International conference ICATPN 2001, 32-36, 2001
252001
Timed automata approach to real time distributed system verification
J Krákora, L Waszniowski, P Pisa, Z Hanzálek
IEEE International Workshop on Factory Communication Systems, 2004 …, 2004
242004
Scheduling of iterative algorithms on FPGA with pipelined arithmetic unit
P Sucha, Z Pohl, Z Hanzálek
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and …, 2004
242004
Timed automata approach to CAN verification
J Krakora, Z Hanzalek
IFAC Proceedings Volumes 37 (4), 147-152, 2004
242004
Solving the resource constrained project scheduling problem using the parallel tabu search designed for the CUDA platform
L Bukata, P Šůcha, Z Hanzálek
Journal of Parallel and Distributed Computing 77, 58-68, 2015
232015
A parallel algorithm for gradient training of feedforward neural networks
Z Hanzálek
Parallel Computing 24 (5-6), 823-839, 1998
231998
Energy optimization of robotic cells
L Bukata, P Šůcha, Z Hanzálek, P Burget
IEEE Transactions on Industrial Informatics 13 (1), 92-102, 2016
202016
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20