io-port.net

io-port 50314589 Dinev, Tamara; Hart, Paul J.; Mullen, Michael R.

Internet privacy concerns and beliefs about government surveillance - an empirical investigation (English)

J. Strategic Inf. Sys. 17, No. 3, 214-233 (2008).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05420187 Bair, Dean G.; German, Steven M.; Wollyung, William D.; Jr., Edward J.Kaminski; Schafer, James; Mullen, Michael P.; Lewis, William J.; Wisniewski, Rebecca; Walter, Joerg; Mittermaier, Steven; Vokhshoori, Visda; Adkins, Robert J.; Halas, Michael; Ruane, Thomas; Hahn, Ursel

Functional verification of the z990 superscalar, multibook microprocessor complex. (English)

IBM J. Res. Dev. 48, No. 3-4, 347-366 (2004).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05384678 Hallock, Gary G.; Kaminski, Edward J.; Lasko, Kevin M.; Mullen, Michael P.

Simapi ‒ A common programming interface for simulation. (English)

IBM J. Res. Dev. 41, No. 4-5, 601-610 (1997).

Classification: B.0 I.6 G.4

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05384673 Wile, Bruce; Mullen, Michael P.; Hanson, Cara; Bair, Dean G.; Lasko, Kevin M.

Functional verification of the CMOS S/390 parallel enterprise server G4 system. (English)

IBM J. Res. Dev. 41, No. 4-5, 549-566 (1997).

Classification: B.0 B.7 C.1

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01920181 Wile, Bruce; Mullen, Michael P.; Hanson, Cara; Bair, Dean G.; Lasko, Kevin M.

Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system. (English)

IBM J. Res. Dev. 41, No. 4-5, 549-566 (1997).

Classification: B.0 B.7 C.1

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01920176 Hallock, Gary G.; Kaminski, Edward J.; Lasko, Kevin M.; Mullen, Michael P.

SimAPI ‒ A common programming interface for simulation. (English)

IBM J. Res. Dev. 41, No. 4-5, 601-610 (1997).

Classification: B.0 I.6 G.4

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71019990 Chandra, Ashok K.; Iyengar, Vijay S.; Jawalekar, R. V.; Mullen, Michael P.; Nair, Indira; Rosen, Barry K.

Architectural verification of processors using symbolic instruction graphs (English)

ICCD, 454-459 (1994).

7