io-port.net

io-port 05922332 Neeser, Fredy D.; Metzler, Bernard; Frey, Philip Werner

Softrdma: implementing iwarp over TCP kernel sockets. (English)

IBM J. Res. Dev. 54, No. 1, 5 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70256179 Frey, Philip Werner; Hasler, Andreas; Metzler, Bernard; Alonso, Gustavo

Server-efficient high-definition media dissemination (English)

NOSSDAV, 49-54 (2009).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05362212 Metzler, Björn; Wehrheim, Heike; Wonisch, Daniel

Decomposition for compositional verification. (English)

Liu, Shaoying (ed.) et al., Formal methods and software engineering. 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27‒31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88193-3/pbk). Lecture Notes in Computer Science 5256, 105-125 (2008).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70051885 Metzler, Björn; Wehrheim, Heike; Wonisch, Daniel

Decomposition for compositional verification (English)

ICFEM, 105-125 (2008).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05523895 Metzler, Björn

Decomposing integrated specifications for verification. (English)

Davies, Jim (ed.) et al., Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2‒5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73209-9/pbk). Lecture Notes in Computer Science 4591, 459-479 (2007).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417490 Metzler, Björn; Wehrheim, Heike

Extending a component specification language with time. (English)

Electron. Notes Theor. Comput. Sci. 176, No. 2, 47-67 (2007).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70015682 Jagana, Venkata; Salzberg, Claudia; Recio, Renato; Metzler, Bernard

A success story: collaborative effort with the industry in addressing requirements challenges for early adoption of IWARP in LINUX (English)

ICEIS (3), 640-646 (2007).

7

PDF XML AMS-TeX TEXT BIBTeX

io-port 70443393 Metzler, Björn

Decomposing integrated specifications for verification (English)

IFM, 459-479 (2007).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05141409 Brückner, Ingo; Metzler, Björn; Wehrheim, Heike

Optimizing slicing of formal specifications by deductive verification. (English)

Nord. J. Comput. 13, No. 1-2, 22-45 (2006).

9

PDF XML AMS-TeX TEXT BIBTeX

io-port 70588024 Zhu, Jing; Metzler, Benjamin; Guo, Xingang; Liu, York

Adaptive CSMA for scalable network capacity in high-density WLAN: A hardware prototyping approach (English)

INFOCOM (2006).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70424627 Chhabra, Jasmeet; Kushalnagar, Nandakishore; Metzler, Benjamin; Sampson, Allen

Sensor networks in intel fabrication plants (English)

SenSys, 324 (2004).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70622022 Kind, Andreas; Metzler, Bernard

Rate-based active queue management with token buckets (English)

HSNMC, 176-187 (2003).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70866304 Metzler, Bernard; Wittmann, Ralph; Zitterbart, Martina

Towards scalable quality-based heterogeneous multicast services (English)

Kommunikation in Verteilten Systemen, 276-287 (1999).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 40000168 Metzler, Bernard

Flexible und effiziente systemunterstützung für offene kommunikationsdienste-plattformen (English)

Flexible und effiziente systemunterstützung für offene kommunikationsdienste-plattformen, I-XIX, 1-255 (1999).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 05384292 Metzler, Bernard; Zitterbart, Martina

Implementation techniques for efficient communication systems. (Implementierungstechniken für effiziente Kommunikationssysteme.) (English)

Informationstechnik 39, No. 4, 19-25 (1997).

Classification: C.2.1 H.4 C.4

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 01939207 Metzler, B.; Zitterbart, M.

Implementierungstechniken für effiziente Kommunikationssysteme. (Implementation techniques for efficient communication systems.). (German)

it ti. Inf.tech. Tech. Inform. 39, No. 4, 19-25 (1997).

Classification: C.2.2 C.2.1

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 01920285 Metzler, Bernard; Zitterbart, Martina

Implementierungstechniken für effiziente Kommunikationssysteme. Implementation techniques for efficient communication systems. (German)

it ti. Inf.tech. Tech. Inform. 39, No. 4, 19-25 (1997).

Classification: C.2.1 H.4 C.4

17

PDF XML AMS-TeX TEXT BIBTeX