Zuberek, W. M.

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 64.

Report

Zuberek, W. M. (2003) Petri Nets and Timed Petri Nets in Modeling and Analysis of Concurrent Systems – An Overview. Research Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2000) PETRI NETS AND TIMED PETRI NETS BASIC CONCEPTS AND PROPERTIES. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1996) Modeling using timed Petri nets - event-driven simulation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1996) Modeling using timed Petri nets - model description and representation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1995) APPLICATION OF TIMED PETRI NETS TO MODELING AND ANALYSIS OF FLEXIBLE MANUFACTURING CELLS. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. and Konczykowska, A. (1994) Symbolic analysis in parameter extraction, its implementation and performance. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1994) FIT-S, a simulation-based data-driven parameter extraction program. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. and Konczykowska, A. (1991) FIT–2, A SIMULATION–BASED PARAMETER EXTRACTION PROGRAM. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1989) SPICE–PAC version 2G6c: An Overview. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Conference or Workshop Item

Zuberek, W. M. (2009) Performance limitations of block-multithreaded distributed-memory systems. In: 2009 Winter Simulation Conference (WSC), 13-16 December, 2009, Austin, TX, USA.

Zuberek, W. M. (2009) Siphon-Based Verification of Component Compatibility. In: Fourth International Conference on Dependability of Computer Systems, 30 June-2 July 2009, Brunow, Poland.

Zuberek, W. M. and Bluemke, Ilona (2008) Performance Analysis of Component-Based Systems. In: 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, 26-28 June 2008, Szklarska Poreba, Poland.

Zuberek, W. M. and Craig, Donald C. (2007) Multicomponent Compatibility and its Verification. In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia.

Zuberek, W. M. and Craig, Donald C. (2007) Verification of Component Behavioral Compatibility. In: 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 14-16 June 2007, Szklarska, Poland.

Craig, Donald C. and Zuberek, W. M. (2006) Compatibility of Software Components - Modeling and Verification. In: 2006 International Conference on Dependability of Computer Systems, 25-27 May 2006, Szklarska Poreba, Poland.

Zuberek, W. M. and Perpera, T. D. P. (2005) Performance Analysis of Distributed Iterative Linear Solvers. In: WSEAS 7-th Int. Conf. on Mathematical Methods and Computational Techniques in Electrical Engineering (MMACTEE’05), October 27-29, 2005, Sofia, Bulgaria. (Submitted)

Zuberek, W. M. (2004) Modelling and Verification of Compatibility of Component Composition. In: Third Workshop on Modelling of Objects, Components, and Agents, 11-13 October 2004, Aarhus, Denmark. (Submitted)

Zuberek, W. M. (2004) Enhanced interleaved multithreaded multiprocessors and their performance analysis. In: Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004, June 16-18, 2004, Hamilton, Ontario, Canada, Canada.

Zuberek, W. M. (2004) Estimation of the Speedup of Distributed Applications. In: INTERNATIOAL CONFERENCE ON ADVANCES IN THE INTERNET, SYSTEMS, AND INTERDISCIPLINARY RESEARCH (IPSI’04), June 4-5, 2004, Studenica Monastery, Serbia. (Submitted)

Zuberek, W. M. (2004) Modeling and Analysis of Dual Block Multithreading. In: FORTE 2004, September 27-30, 2004, Toledo, Spain. (Submitted)

Zuberek, W. M. (2003) STRUCTURAL METHODS IN PERFORMANCE ANALYSIS OF DISCRETE-EVENT SYSTEMS. In: 9th IEEE International Conference on Methods and Models in Automation and Robotics, Special Session on Analysis and Control of Discrete/Hybrid Systems, 25–28 August 2003, Miedzyzdroje, Poland,.

Zuberek, W. M. (2002) Systematic Construction and Performance Analysis of Cluster Tools Using Timed Petri Net Models. In: Brazilian Petri Net Workshop, 2-5 September 2002, 14 Congresso Brasileiro de Automatica, Natal Brazil.

Zuberek, W. M. (2002) Approximate simulation of distributed-memory multithreaded multiprocessors. In: 35th Annual Simulation Symposium. SS 2002, 14-18 April 2002, San Deigo, CA, USA.

Zuberek, W. M. (2001) Petri net modeling and performance analysis of cluster tools with chamber revisiting. In: ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation, 15-18 Oct. 2001, Antibes-Juan les Pins, France, France.

Zuberek, W. M. (2001) Analysis of performance limitations in multithreaded multiprocessor architectures. In: Second International Conference on Application of Concurrency to System Design, 25-29 June 2001, Newcastle upon Tyne, UK.

Zuberek, W. M. and Rada, Irina (2001) Modeling and analysis of distributed state space generation for timed Petri nets. In: 34th Annual Simulation Symposium, 26 April 2001, Seattle, Washington, USA.

Zuberek, W. M. (2000) Hierarchical analysis of manufacturing systems using Petri nets. In: 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions', 8-11 Oct. 2000, Nashville, TN, USA.

Zuberek, W. M. (2000) Timed Petri Net Models of Cluster Tools. In: IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC’2000), 8-11 Oct. 2000, Nashville, TN, USA.

Zuberek, W. M. (2000) Event-driven simulation of timed Petri net models. In: 33rd Annual Simulation Symposium (SS 2000), 16-20 April 2000, Washington, DC, USA.

Zuberek, W. M. (1999) Hierarchical derivation of Petri net models of composite schedules for manufacturing cells. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

Zuberek, W. M. (1999) Petri net models of process synchronization mechanisms. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

Zuberek, W. M. (1999) Stepwise refinements of net models and their place invariants. In: 8th International Workshop on Petri Nets and Performance Models, 8-10 Sept. 1999, Zaragoza, Spain, Spain.

Zuberek, W. M. (1998) Performance bounds for distributed memory multithreaded architectures. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics, 14 Oct. 1998, San Diego, CA, USA.

Zuberek, W. M. (1998) Timed Petri nets and performance evaluation of systems. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics, 14 Oct. 1998, San Diego, CA, USA.

Zuberek, W. M. (1998) Dynamic Control Of Time-domain Analysis In The Spice-pac Simulation Package. In: Twenty-Second Asilomar Conference on Signals, Systems and Computers, 31 Oct.-2 Nov. 1988, Pacific Grove, CA, USA.

Zuberek, W. M. (1998) Hierarchical Derivation of Schedules for Manufacturing Cells. In: 9th IFAC Symposium on Information Control in Manufacturing 1998 (INCOM '98), June 24-26, 1998, Nancy, France.

Zuberek, W. M. and Govindarajan, R. and Suciu, Floarea (1997) Timed Petri net models of multithreaded multiprocessor architectures. In: Seventh International Workshop on Petri Nets and Performance Models, 3-6 June 1997, Saint Malo, France.

Zuberek, W. M. and Bluemke, Ilona (1996) Hierarchies of place/transition refinements in Petri nets. In: IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96, 18-21 Nov. 1996, Kauai, HI, USA.

Zuberek, W. M. (1996) Composite schedules of manufacturing cells and their timed Petri net models. In: 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems, 14-17 Oct. 1996, Beijing, China.

Zuberek, W. M. (1996) Optimal schedules of manufacturing cells-modeling and analysis using timed Petri nets. In: IEEE International Symposium on Industrial Electronics, 17 June 1996, Warsaw, Poland.

Zuberek, W. M. (1995) Application of timed Petri nets to modeling the schedules of manufacturing cells. In: 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, 10-13 Oct. 1995, Paris, France.

Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 22-25 Oct. 1995, Vancouver, British Columbia, Canada.

Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 22-25 Oct. 1995, Vancouver, BC, Canada.

Zuberek, W. M. and Konczykowska, A. (1995) Improving performance of parameter extractors through symbolic simulation. In: Proceedings of the IEEE International Symposium on Industrial Electronics, 10-14 July 1995, Athens, Greece.

Zuberek, W. M. (1994) Throughput analysis of manufacturing cells using timed Petri nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2-5 Oct. 1994, San Antonio, TX, USA.

Zuberek, W. M. (1994) An approach to integrated numerical and symbolic circuit analysis. In: IEEE International Symposium on Circuits and Systems - ISCAS '94, 30 May-2 June 1994, London, UK.

Zuberek, W. M. (1993) Throughput analysis in timed Petri nets. In: Proceedings of the 35th Midwest Symposium on Circuits and Systems, 9-12 August, 1992, Washington, DC, USA.

Zuberek, W. M. (1993) Throughput analysis of simple closed timed Petri net models. In: 36th Midwest Symposium on Circuits and Systems, 16-18 Aug. 1993, Detroit, MI, USA.

Zuberek, W. M. and Kubiak, W. (1993) Timed Petri net models of flexible manufacturing cells. In: 36th Midwest Symposium on Circuits and Systems, 16-18 Aug. 1993, Detroit, MI, USA.

Zuberek, W. M. (1993) Throughput analysis in timed colored Petri nets. In: 1993 IEEE International Symposium on Circuits and Systems, 3-6 May 1993, Chicago, IL, USA.

Zuberek, W. M. (1992) FIT-2, an extraction program based on the SPICE-PAC simulation software. In: 34th Midwest Symposium on Circuits and Systems, 14-17 May 1992, Monterey, CA, USA.

Zuberek, W. M. (1992) Flexible circuit simulation with mixed-domain and mixed-mode applications. In: 1992 IEEE International Symposium on Circuits and Systems, 10-13 May 1992, San Diego, CA, USA.

Zuberek, W. M. and Zuberek, M. S. (1992) Table-driven analyses in the SPICE-PAC circuit simulation package. In: 34th Midwest Symposium on Circuits and Systems, 14-17 May 1992, Monterey, CA, USA.

Zuberek, W. M. and Allen, Phillip E. and Chan, Brian P. Lum Shue (1990) Comparison of mixed analog-digital simulators. In: 1990 IEEE International Symposium on Circuits and Systems (ISCAS), 1-3 May 1990, New Orleans, LA, USA.

Zuberek, W. M. and Konczykowska, A. (1990) TEGESED, a tool for efficient technological and geometrical characterization of semiconductor devices. In: European Design Automation Conf. (EDAC'90), 12-15 March, 1990, Glasgow, Scotland.

Zuberek, W. M. (1989) Performance evaluation using unbounded timed Petri nets. In: Third International Workshop on Petri Nets and Performance Models, 11-13 Dec. 1989, Kyoto, Japan.

Zuberek, W. M. (1989) Milxed-mode simulation with spice-like circuit simulators. In: Twenty-Third Asilomar Conference on Signals, Systems and Computers, 1989, 30 Oct.-1 Nov. 1989, Pacific Grove, CA,USA.

Zuberek, W. M. and Zubarek, M. S. (1989) Table-driven circuit elements in spice-like simulation programs. In: Twenty-Third Asilomar Conference on Signals, Systems and Computers, 1989, 30 Oct.-1 Nov. 1989, Pacific Grove, CA,USA.

Zuberek, W. M. (1989) Higher-level modelling extensions to SPICE-like circuit simulators. In: 32nd Midwest Symposium on Circuits and Systems, 14-16 Aug. 1989, Champaign, IL, USA.

Zuberek, W. M. (1989) Linearly unbounded timed Petri nets in modelling and performance evaluation. In: 32nd Midwest Symposium on Circuits and Systems (MSCAS-89),, 14-16 Aug. 1989, Champaign, IL, USA.

Zuberek, W. M. (1988) Timed Petri net models of queueing systems. In: Seventh Annual International Phoenix Conference on Computers an Communications, 16-18 March 1988, Scottsdale, AZ, USA.

Zuberek, W. M. (1987) Timed Petri nets in modelling and evaluation of multiprocessor systems. In: 1987 Int. Conference on Parallel Processing (ICPP’87), August, 1987, St.Charles, IL.

Zuberek, W. M. (1987) Interpolation methods in modelling semiconductor devices by enhanced controlled sources. In: 21-st Asilomar Conference on Signals, Systems and Computers,, 1987, Pacific Grove, CA, USA.

Zuberek, W. M. (1984) SPICE-PAC, a package of subroutines for interactive simulation and optimization of circuits. In: IEEE Int. Conference on Computer Design (ICCD'84), October 1984, Port Chester, NY.

This list was generated on Thu Apr 22 12:31:36 2021 NDT.