Zacharias Tsiatsoulis

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

John Yiannis Cotronis, Zacharias Tsiatsoulis
Modular MPI and PVM Components. PVM/MPI (2002)
Zacharias Tsiatsoulis, John Yiannis Cotronis
Testing and Debugging Message Passing Programs in Synergy with their Specifications. Fundam. Informaticae 41 (3) (2000)
John Yiannis Cotronis, Zacharias Tsiatsoulis, C. Kouniakis
Composition of Message Passing Applications On-Demand. PVM/MPI (2000)
Zacharias Tsiatsoulis, Gábor Dózsa, John Yiannis Cotronis, Péter Kacsuk
Associating composition of Petri net specifications with application designs in GRADE. PDP (1999)
Zacharias Tsiatsoulis, John Yiannis Cotronis, Evangelos Floros
Testing and debugging message passing applications based on the synergy of program and specification executions. PDP (1999)
John Yiannis Cotronis, Zacharias Tsiatsoulis
Specification composition for the verification of message passing program composition. Microprocess. Microsystems 21 (10) (1998)
Theodore Andronikos, Nectarios Koziris, Zacharias Tsiatsoulis, George K. Papakonstantinou, Panayotis Tsanakas
Lower Time and Processor Bounds for Efficient Mapping of Uniform Dependence Algorithms into Systolic Arrays. Parallel Algorithms Appl. 10 (3-4) (1997)