 | 2007 |
|---|
| 25 |       | D. C. Craig,
Wlodzimierz M. Zuberek:
Verification of Component Behavioral Compatibility.
DepCoS-RELCOMEX 2007: 294-304 |
| 2006 |
|---|
| 24 | | D. C. Craig,
Wlodzimierz M. Zuberek:
Compatibility of Software Components - Modeling and Verification.
DepCoS-RELCOMEX 2006: 11-18 |
| 2004 |
|---|
| 23 | | Wlodzimierz M. Zuberek:
Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis.
ACSD 2004: 7-15 |
| 22 | | Wlodzimierz M. Zuberek:
Modeling and Analysis of Dual Block Multithreading.
FORTE Workshops 2004: 209-219 |
| 2002 |
|---|
| 21 | | Wlodzimierz M. Zuberek:
Approximate Simulation of Distributed-Memory Multithreaded Multiprocessors.
Annual Simulation Symposium 2002: 107-114 |
| 20 |  | Wlodzimierz M. Zuberek:
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems.
Fundam. Inform. 50(2): 223-241 (2002) |
| 2001 |
|---|
| 19 | | Wlodzimierz M. Zuberek:
Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures.
ACSD 2001: 43-52 |
| 18 | | Wlodzimierz M. Zuberek,
I. Rada:
Modeling and Analysis of Distributed State Space Generation for Timed Petri Nets.
Annual Simulation Symposium 2001: 93-98 |
| 2000 |
|---|
| 17 | | Wlodzimierz M. Zuberek:
Event-Driven Simulation of Timed Petri Net Models.
Annual Simulation Symposium 2000: 91-98 |
| 1999 |
|---|
| 16 | | M. Reid,
Wlodzimierz M. Zuberek:
Timed Petri Net Models of ATM LANs.
Application of Petri Nets to Communication Networks 1999: 150-175 |
| 1995 |
|---|
| 15 | | A. Konczykowska,
Wlodzimierz M. Zuberek:
Function Evaluation in Symbolic Analysis.
ISCAS 1995: 2217-2220 |
| 1994 |
|---|
| 14 | | Wlodzimierz M. Zuberek,
A. Konczykowska,
D. Martin:
An Approach to Integrated Numerical & Symbolic Circuit Analysis.
ISCAS 1994: 33-36 |
| 1993 |
|---|
| 13 | | Wlodzimierz M. Zuberek:
Throughput analysis in timed colored Petri nets.
ISCAS 1993: 2721-2724 |
| 1990 |
|---|
| 12 | | Wlodzimierz M. Zuberek:
PNPM'89 - The Third International Workshop on Petri Nets and Performance Models.
Perform. Eval. 11(1): 67-73 (1990) |
| 1989 |
|---|
| 11 | | Wlodzimierz M. Zuberek:
Performance Evaluation Using Unbounded Timed Petri Nets.
PNPM 1989: 180-186 |
| 1988 |
|---|
| 10 | | Wlodzimierz M. Zuberek:
On generation of state space for timed Petri nets.
ACM Conference on Computer Science 1988: 239-248 |
| 1987 |
|---|
| 9 | | Wlodzimierz M. Zuberek:
Modified M-timed Petri nets in modelling and performance evaluation of systems.
ACM Conference on Computer Science 1987: 261-268 |
| 8 | | Wlodzimierz M. Zuberek:
Timed Petri Nets in Modelling and Evaluation of Multiprocessor Systems.
ICPP 1987: 695-698 |
| 1986 |
|---|
| 7 | | Wlodzimierz M. Zuberek:
M-timed Petri nets and Markov chains in modelling of computer systems.
ACM Conference on Computer Science 1986: 101-106 |
| 6 | | Wlodzimierz M. Zuberek:
Modified D-Time Petri Nets, Timeouts, and Modelling of Communication Protocols.
ICDCS 1986: 452-457 |
| 1985 |
|---|
| 5 | | Wlodzimierz M. Zuberek:
Extended D-Timed Petri Nets, Timeouts, and Analysis of Communication Protocols.
ACM Annual Conference - The range of computing: mid-80's perspective 1985: 10-15 |
| 4 | | Wlodzimierz M. Zuberek:
Performance evaluation of concurrent systems using timed petri nets.
ACM Conference on Computer Science 1985: 326-329 |
| 3 | | Wlodzimierz M. Zuberek:
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.
Applications and Theory in Petri Nets 1985: 478-498 |
| 2 | | Wlodzimierz M. Zuberek:
Performance Evaluation Using Extended Petri Nets.
PNPM 1985: 272-278 |
| 1980 |
|---|
| 1 | | Wlodzimierz M. Zuberek:
Timed Petri Nets and Preliminary Performance Evaluation.
ISCA 1980: 88-96 |
