Search results for "computation state"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Bob Janssens, W. Kent Fuchs	The Performance of Cache-Based Error Recovery in Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	cache-based error recovery performance, cache-based checkpointing, rollback error recovery, shared-memorymultiprocessors, inherent redundancy, computation state, rollback propagation, EncoreMultimax, recovery schemes, cache-based schemes, low performance overhead, checkpoint interval, performance evaluation, performance evaluation, virtual machines, multiprocessors, redundancy, memory hierarchy, shared memory systems, system recovery, buffer storage, parallel applications, cache coherence protocol, transient errors, cache replacement policy, address traces
2	Kun-Lung Wu, W. Kent Fuchs, Janak H. Patel	Error Recovery in Shared Memory Multiprocessors Using Private Caches.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	processor transient faults, user-transparent checkpointing, checkpointed computation state, recovery stacks, rollback propagation, rapidrecovery, fault tolerance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, shared memory multiprocessors, system recovery, buffer storage, cache coherence protocols, performance degradation, processor utilization, private caches, error latency
1	Chen Tian, Min Feng, Vijay Nagarajan, Rajiv Gupta	Copy or Discard execution model for speculative parallelization on multicores.	MICRO	2008	DBLP DOI BibTeX RDF
1	Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin	Verification Driven Formal Architecture and Microarchitecture Modeling.	MEMOCODE	2007	DBLP DOI BibTeX RDF
1	Okehee Goh, Yann-Hang Lee, Ziad Kaakani	Schedulable persistence system for teal-time applications in virtual machine.	EMSOFT	2006	DBLP DOI BibTeX RDF	CLI, checkpoint/recovery, schedulable persistence system, virtual machine, real-time applications
1	John Paul Walters, Vipin Chaudhary	Application-Level Checkpointing Techniques for Parallel Programs.	ICDCIT	2006	DBLP DOI BibTeX RDF
1	Steve Ferrera, Nicholas P. Carter	A magnetoelectronic macrocell employing reconfigurable threshold logic.	FPGA	2004	DBLP DOI BibTeX RDF	PLA/CPLD, magnetoelectronic circuits, wired-and logic, threshold logic, lookup table, non-volatility
1	David Wingate, Kevin D. Seppi	P3VI: a partitioned, prioritized, parallel value iterator.	ICML	2004	DBLP DOI BibTeX RDF	Asynchronous dynamic programming, value iteration, reinforcement learning
1	Milenko Drinic, Darko Kirovski	A Hardware-Software Platform for Intrusion Prevention.	MICRO	2004	DBLP DOI BibTeX RDF
1	Ricardo Rocha, Fernando M. A. Silva, Rolando Martins	YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters.	EPIA	2003	DBLP DOI BibTeX RDF	Stack Splitting, Or-Parallelism, Parallel Logic Programming
1	Hai Jiang, Vipin Chaudhary	Thread Migration/Checkpointing for Type-Unsafe C Programs.	HiPC	2003	DBLP DOI BibTeX RDF
1	Richard Potter	Computation Scrapbooks of Emacs Lisp Runtime State. (PDF / PS)	HCC	2001	DBLP DOI BibTeX RDF
1	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
1	Mark E. Dean, David L. Dill, Mark Horowitz	Self-timed logic using Current-Sensing Completion Detection (CSCD).	VLSI Signal Processing	1994	DBLP DOI BibTeX RDF