Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Memory management (Computer science) --- Distributed shared memory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Covers network protocols, resource management, data backup, replication, recovery, devices, security, and theory of data coding, densities, and low-power as well as the development and design of storage systems.

#TS:WBIB --- Periodicals --- Computer storage devices --- Memory management (Computer science) --- Information storage and retrieval systems --- Research --- Information Technology --- Library and Information Sciences --- Data Storage and Data Mining --- Information Extraction, Retrieval and Filtering --- General and Others --- Computer storage devices - Research - Periodicals --- Memory management (Computer science) - Research - Periodicals --- Information storage and retrieval systems - Research - Periodicals

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Delete" looks at the surprising phenomenon of perfect remembering in the digital age, and reveals why we must reintroduce our capacity to forget. Digital technology empowers us as never before, yet it has unforeseen consequences as well. Potentially humiliating content on Facebook is enshrined in cyberspace for future employers to see. Google remembers everything we've searched for and when. The digital realm remembers what is sometimes better forgotten, and this has profound implications for us all. In "Delete", Viktor Mayer-Schonberger traces the important role that forgetting has played throughout human history, from the ability to make sound decisions unencumbered by the past to the possibility of second chances. The written word made it possible for humans to remember across generations and time, yet now digital technology and global networks are overriding our natural ability to forget - the past is ever present, ready to be called up at the click of a mouse. Mayer-Schonberger examines the technology that's facilitating the end of forgetting - digitization, cheap storage and easy retrieval, global access, and increasingly powerful software - and describes the dangers of everlasting digital memory, whether it's outdated information taken out of context or compromising photos the Web won't let us forget. He explains why information privacy rights and other fixes can't help us, and proposes an ingeniously simple solution - expiration dates on information - that may. "Delete" is an eye-opening book that will help us remember how to forget in the digital age.

Information systems --- Theory of knowledge --- Documentation and information --- Memory. --- Computer storage devices. --- Internet --- Persistence. --- Mémoire --- Ordinateurs --- Persévérance --- Social aspects. --- Mémoires --- Aspect social --- Memory --- Computer storage devices --- Persistence --- Social aspects --- 153.125 --- Personality --- Computer memory systems --- Computers --- Electronic digital computers --- Storage devices, Computer --- Computer input-output equipment --- Memory management (Computer science) --- Retention (Psychology) --- Intellect --- Psychology --- Thought and thinking --- Comprehension --- Executive functions (Neuropsychology) --- Mnemonics --- Perseveration (Psychology) --- Reproduction (Psychology) --- DARPA Internet --- Internet (Computer network) --- Wide area networks (Computer networks) --- World Wide Web --- Memory systems --- Storage devices --- Mémoire --- Persévérance --- Mémoires --- Internet - Social aspects

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The world is awash with digital data from social networks, blogs, business, science and engineering. Data-intensive computing facilitates understanding of complex problems that must process massive amounts of data. Through the development of new classes of software, algorithms and hardware, data-intensive applications can provide timely and meaningful analytical results in response to exponentially growing data complexity and associated analysis requirements. This emerging area brings many challenges that are different from traditional high-performance computing. This reference for computing professionals and researchers describes the dimensions of the field, the key challenges, the state of the art and the characteristics of likely approaches that future data-intensive problems will require. Chapters cover general principles and methods for designing such systems and for managing and analyzing the big data sets of today that live in the cloud and describe example applications in bioinformatics and cybersecurity that illustrate these principles in practice.

High performance computing --- Database management --- Computer storage devices --- Software architecture --- Data transmission systems --- High performance computing. --- Database management. --- Computer storage devices. --- Software architecture. --- Data transmission systems. --- Data communication systems --- Transmission of data --- Digital communications --- Electronic data processing --- Electronic systems --- Information theory --- Telecommunication systems --- Architecture, Software --- Computer software --- Computer software architecture --- Computer memory systems --- Computers --- Electronic digital computers --- Storage devices, Computer --- Computer input-output equipment --- Memory management (Computer science) --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Architecture --- Design --- Memory systems --- Storage devices

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22–24,2004. The conference united two previously independently - ganized conferences FORMATS and FTRTFT. FORMATS 2003 was organized asasatelliteworkshopofCONCUR2003andwasrelatedtothreeindependently started workshop series: MTCS (held as a satellite event of CONCUR 2000 and CONCUR 2002), RT-TOOLS (held as a satellite event of CONCUR 2001 and FLoC 2002) and TPTS (held at ETAPS 2002). FTRTFT is a symposium that was held seven times before: in Warwick 1988, Nijmegen 1992, Lu ¨beck 1994, Uppsala 1996, Lyngby 1998, Pune 2000 and Oldenburg 2002. The proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in the LNCS series by Springer. Thisjointconferenceis dedicatedtotheadvancementofthetheoryandpr- ticeofthe modelling,designandanalysisofreal-timeandfault-tolerantsystems. Indeed,computersystemsarebecomingincreasinglywidespreadinreal-timeand safety-critical applications such as embedded systems. Such systems are char- terized by the crucial need to manage their complexity in order to produce reliable designs and implementations. The importance of timing aspects, p- formance and fault-tolerance is continuously growing. Formal techniques o?er a foundation for systematic design of complex systems. They have bene?cial - plications throughout the engineering process, from the capture of requirements through speci?cation, design, coding and compilation, down to the hardware that embeds the system into its environment.

Computer simulation --- Temporal automata --- Formal methods (Computer science) --- Machine theory --- Robots --- Simulation par ordinateur --- Automates temporels --- Méthodes formelles (Informatique) --- Automates mathématiques, Théorie des --- Automates --- Congresses. --- Congrès --- Computer science. --- Memory management (Computer science). --- Software engineering. --- Logic design. --- Computer Science. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Memory Structures. --- Engineering & Applied Sciences --- Computer Science --- Méthodes formelles (Informatique) --- Automates mathématiques, Théorie des --- Congrès --- Automata, Temporal --- Automata --- Automatons --- Microprocessors. --- Special purpose computers. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Theory of Computation. --- Manipulators (Mechanism) --- Robotics --- Mecha (Vehicles) --- Information theory. --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Special purpose computers --- Computers --- Minicomputers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computer simulation - Congresses --- Temporal automata - Congresses --- Formal methods (Computer science) - Congresses --- Machine theory - Congresses --- Robots - Congresses