2007 |
25 | EE | D. C. Craig,
Wlodzimierz M. Zuberek:
Verification of Component Behavioral Compatibility.
DepCoS-RELCOMEX 2007: 294-304 |
2006 |
24 | EE | D. C. Craig,
Wlodzimierz M. Zuberek:
Compatibility of Software Components - Modeling and Verification.
DepCoS-RELCOMEX 2006: 11-18 |
2004 |
23 | EE | Wlodzimierz M. Zuberek:
Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis.
ACSD 2004: 7-15 |
22 | EE | Wlodzimierz M. Zuberek:
Modeling and Analysis of Dual Block Multithreading.
FORTE Workshops 2004: 209-219 |
2002 |
21 | EE | 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 | EE | Wlodzimierz M. Zuberek:
Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures.
ACSD 2001: 43-52 |
18 | EE | 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 | EE | 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 | EE | Wlodzimierz M. Zuberek:
On generation of state space for timed Petri nets.
ACM Conference on Computer Science 1988: 239-248 |
1987 |
9 | EE | 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 | EE | 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 | EE | 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 |