𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - A design environment with simulation and formal verification (syr-padde)

✍ Scribed by Bertran, M.; Alverez-Cuevas, F.; Viaplana, J.; Duran, A.; Cabedo, D.; Garrell, A.; Garrell, J.M.; Escudero, F.; Nicolau, M.; Porta, M.; Palmer, B.; Espejo, J.M.; Oller, F.; Forga, J.; Solanas, J.M.

Book ID: 126638196
Publisher: IEEE
Year: 1994
Weight: 208 KB
Category: Article
DOI: 10.1109/CAMAD.1994.765636

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fifth IEEE International Workshop

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Modeling of wireless communication systems

✍ Holtzman, J.M. 📂 Article 📅 1994 🏛 IEEE ⚖ 51 KB

[IEEE Fifth IEEE International Workshop

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Multiple-server polling systems

✍ van der Mei, R.D. 📂 Article 📅 1994 🏛 IEEE ⚖ 38 KB

[IEEE Fifth IEEE International Workshop

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Comtron: a tool for the simulation of communication systems

✍ Benel, G.; Favalli, L.; Mecocci, A.; Monteleone, G. 📂 Article 📅 1994 🏛 IEEE ⚖ 197 KB

[IEEE Fifth IEEE International Workshop

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - On mixture densities in importance sampling

✍ Stadler, J.S.; Roy, S.; Zhang, P. 📂 Article 📅 1994 🏛 IEEE ⚖ 142 KB

[IEEE Fifth IEEE International Workshop

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Canet: an object-oriented software package for neitwork design, analysis, and simulation

✍ Kolarov, A.; Hui, J. 📂 Article 📅 1994 🏛 IEEE ⚖ 114 KB

[IEEE Fifth IEEE International Workshop

[IEEE Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Princeton, NJ, USA (1994.04.24-1994.04.27)] Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks - Analysis of an output queued batcher-Banyan switch (oqbbs) for atm networks

✍ Geol U. Ryu, ; Byung G. Kim, 📂 Article 📅 1994 🏛 IEEE ⚖ 57 KB