Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {ernst,sch

First Page		Document Content
Date: 2014-12-01 09:23:10 Computing POSIX Virtual file system File descriptor Read Close UBIFS Open Write C POSIX library System software Software		Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {ernst,sch Add to Reading List Source URL: www.isse.uni-augsburg.de Download Document from Source Website File Size: 475,76 KB Share Document on Facebook

	The Rise and Decline of an Open Collaboration System: How Wikipedia’s reaction to popularity is causing its decline Aaron Halfaker1 R. Stuart Geiger2 DocID: 1xW3p - View Document
	SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi DocID: 1xW3i - View Document
	DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE DocID: 1xW23 - View Document
	Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu DocID: 1xVWO - View Document
	Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT DocID: 1xVUA - View Document