io-port.net

io-port 05892440 Barreto, Luciano; Andrade, Aline; Duran, Adolfo; Lima, Caique; Lima, Ademilson

Abstract specification and formalization of an operating system kernel in Z. (English)

Oper. Syst. Rev. 45, No. 1, 156-160 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892439 Da Silva, Dilma; Barreto, Luciano; Pereira, Paulo César A.

VII Brazilian workshop on operating systems. (English)

Oper. Syst. Rev. 45, No. 1, 155 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892438 Zhu, David (Yu); Jung, Jaeyeon; Song, Dawn; Kohno, Tadayoshi; Wetherall, David

Tainteraser: protecting sensitive data leaks using application-level taint tracking. (English)

Oper. Syst. Rev. 45, No. 1, 142-154 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892437 Maniatis, Petros; Chun, Byung-Gon

Small trusted primitives for dependable systems. (English)

Oper. Syst. Rev. 45, No. 1, 126-141 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892436 Fall, Kevin R.; Iannaccone, Gianluca; Manesh, Maziar; Ratnasamy, Sylvia; Argyraki, Katerina J.; Dobrescu, Mihai; Egi, Norbert

Routebricks: enabling general purpose network infrastructure. (English)

Oper. Syst. Rev. 45, No. 1, 112-125 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892435 Dong, Yuan; Zhu, Haiyang; Peng, Jinzhan; Wang, Fang; Mesnier, Michael P.; Wang, Dawei; Chan, Sun C.

RFS: a network file system for mobile devices and the cloud. (English)

Oper. Syst. Rev. 45, No. 1, 101-111 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892434 Yan, Shoumeng; Zhou, Xiaocheng; Gao, Ying; Chen, Hu; Wu, Gansha; Luo, Sai; Saha, Bratin

Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform. (English)

Oper. Syst. Rev. 45, No. 1, 92-100 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892433 Chen, Shimin; Gibbons, Phillip B.; Kozuch, Michael; Mowry, Todd C.

Log-based architectures: using multicore to help software behave correctly. (English)

Oper. Syst. Rev. 45, No. 1, 84-91 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892432 Van Der Wijngaart, Rob F.; Mattson, Timothy G.; Haas, Werner

Light-weight communications on intel’s single-chip cloud computer processor. (English)

Oper. Syst. Rev. 45, No. 1, 73-83 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892431 Srinivasan, Sadagopan; Zhao, Li; Illikkal, Ramesh; Iyer, Ravishankar

Efficient interaction between OS and architecture in heterogeneous platforms. (English)

Oper. Syst. Rev. 45, No. 1, 62-72 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892430 Raghunath, Arun; Keys, John; Vij, Mona

Direct data flows. (English)

Oper. Syst. Rev. 45, No. 1, 54-61 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892429 Mesnier, Michael P.; Akers, Jason B.

Differentiated storage services. (English)

Oper. Syst. Rev. 45, No. 1, 45-53 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892428 Vasudevan, Vijay; Andersen, David G.; Kaminsky, Michael; Franklin, Jason; Kozuch, Michael A.; Moraru, Iulian; Pillai, Padmanabhan; Tan, Lawrence

Challenges and opportunities for efficient computing with FAWN. (English)

Oper. Syst. Rev. 45, No. 1, 34-44 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892427 Reddy, Dheeraj; Koufaty, David A.; Brett, Paul; Hahn, Scott

Bridging functional heterogeneity in multicore architectures. (English)

Oper. Syst. Rev. 45, No. 1, 21-33 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892426 Chinya, Gautham N.; Collins, Jamison D.; Wang, Perry H.; Jiang, Hong; Lueh, Guei-Yuan; Piazza, Thomas; Wang, Hong

Bothnia: a dual-personality extension to the intel integrated graphics driver. (English)

Oper. Syst. Rev. 45, No. 1, 11-20 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892425 Gupta, Vishakha; Knauerhase, Rob C.; Schwan, Karsten

Attaining system performance points: revisiting the end-to-end argument in system design for heterogeneous many-core systems. (English)

Oper. Syst. Rev. 45, No. 1, 3-10 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892424 Rattner, Justin R.

Research at intel. (English)

Oper. Syst. Rev. 45, No. 1, 1-2 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892423 Dumitras, Tudor; Neamtiu, Iulian; Tilevich, Eli

Report on the second ACM workshop on hot topics in software upgrades (HotSWUp’09): http: //www.hotswup.org/2009/. (English)

Oper. Syst. Rev. 44, No. 4, 146-152 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892422 Simons, Joshua E.; Buell, Jeffrey

Virtualizing high performance computing. (English)

Oper. Syst. Rev. 44, No. 4, 136-145 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05892421 Barr, Ken; Bungale, Prashanth P.; Deasy, Stephen; Gyuris, Viktor; Hung, Perry; Newell, Craig; Tuch, Harvey; Zoppis, Bruno

The vmware mobile virtualization platform: Is that a hypervisor in your pocket? (English)

Oper. Syst. Rev. 44, No. 4, 124-135 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI