Search results for "FileStore"

Found 20 publication records. Showing 20 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Kriangsak Damchoom, Michael J. Butler	Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B
79	Bill Gallagher, Dean Jacobs, Anno Langen	A high-performance, transactional filestore for application servers.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
60	Rudolf Bayer	Information Life Cycle, Information Value and Data Management.	DEXA	2007	DBLP DOI BibTeX RDF	Information Life Cycle Management (ILM), FileCache, FileStore, Hierarchical Storage Management (HSM), Data Management, Information Value, UB-Tree
32	Laurence Duchien, Valérie Gay, Eric Horlait	Design of an Integrated X.400 Filestore.	ULPAA	1992	DBLP BibTeX RDF
32	Richard Illman, Terry Bird, George Catlow, Stephen Clarke, Len Theobald, Gil Willetts	Built-In Self-Test of the VLSI Content Addressable Filestore.	ITC	1991	DBLP DOI BibTeX RDF
32	Roderic M. R. Page, S. F. Reddaway	The DAP as a filestore search engine.	Parallel Comput.	1990	DBLP DOI BibTeX RDF
32	Marcos José Santana, E. J. Zaluska	A high-level coordinator in a distributed filestore architecture.	Microprocessing and Microprogramming	1989	DBLP DOI BibTeX RDF
32	Marcos José Santana	An advanced filestore architecture for a multiple-LAN distributed computing system.		1989	RDF
32	Stephen Wise	Using Contents Addressable Filestore for rapid access to a large cartographic data set.	Int. J. Geogr. Inf. Sci.	1988	DBLP DOI BibTeX RDF
32	Peter F. Linington	The Virtual Filestore Concept.	Comput. Networks	1984	DBLP DOI BibTeX RDF
32	A. G. Ward	Name-Tracing Using the ICL Content Addressable Filestore.	VLDB	1984	DBLP BibTeX RDF
32	A. L. Cursons	The design of a distributed filestore.		1983	RDF
32	Douglas R. McGregor, Jon R. Malone	Design for a Robust, Simple and Highly Reliable Filestore.	Softw. Pract. Exp.	1981	DBLP DOI BibTeX RDF
32	Kenneth Lunn, Keith H. Bennett	A Highly Reliable Distributed Filestore Directory System.	ICDCS	1981	DBLP BibTeX RDF
32	N. S. Fitzhugh	Aspects of Command Language Portability Incorporating a Machine - Independent Filestore Concept.		1977	RDF
23	Andrew Butterfield, Art Ó Catháin	Concurrent Models of Flash Memory Device Behaviour.	SBMF	2009	DBLP DOI BibTeX RDF
23	Jim Woodcock 0001, Leo Freitas	Linking VDM and Z.	ICECCS	2008	DBLP DOI BibTeX RDF
23	Andrew Butterfield, Jim Woodcock 0001	Formalising Flash Memory: First Steps.	ICECCS	2007	DBLP DOI BibTeX RDF
23	Aparna Krishnan, Steve Jones	TimeSpace: activity-based temporal visualisation of personal information spaces.	Pers. Ubiquitous Comput.	2005	DBLP DOI BibTeX RDF	Visualisation, Information management, Personal information spaces
23	Stephen Gilmore, Jane Hillston, Marina Ribaudo	PEPA Nets: A Structured Performance Modelling Formalism.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF