MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Incremental Restart." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Incremental Recovery In Main Memory Database Systems
by Eliezer Levy, Eliezer Levy, Avi Silberschatz, Avi Silberschatz — 1992 — IEEE Transactions on Knowledge and Data Engineering
… database systems is presented in this paper. We propose a page-based incremental restart algorithm…
Cited by 28 (1 self) – Add To MetaCart

Open Mechanized Reasoning Systems: a Preliminary Report
by Alessandro Armando, Piergiorgio Bertoli, Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Silvio Ranise, Carolyn Talcott — 1998
…-of-the-art provers: incrementality and restartability. Incrementality is used for efficiency reasons. Restartability…
Cited by 1 (1 self) – Add To MetaCart

Exporting a User Interface to Memory Management from a Communication-Oriented Operating System
by M. Young, Sz Shekita, M. Cricket, Persistent Object, Store Tech — 1989
…91] Levy, E. Incremental Restart. In Proc. of the 7th International Conference on Data Engineering…
Cited by 42 (1 self) – Add To MetaCart

General Incremental Lexical Analysis
by Tim A. Wagner, Susan L. Graham — 1997 — I = I=16
… extremely fine-grained incrementality. (Restarting lexing within tokens is not only unnecessary in practice…
Cited by 2 (1 self) – Add To MetaCart

Structures for Symbolic Mathematical Reasoning and Computation
by Karsten Homann, Jacques Calmet — 1996 — Design and Implementation of Symbolic Computation Systems, DISCO'96, number1128 in LNCS
… to qualify as mathematical service is the ability to cooperate by incremental and restartable computation…
Cited by 12 (2 self) – Add To MetaCart

Responsible institution:
by Ole Bøssing Christensen, Martin Drews, Jens Hesselbjerg Christensen, Klaus Dethloff, Klaus Ketelsen, Ines Hebestadt, Anette Rinke, Bøssing Christensen, Martin Drews, Jens Hesselbjerg Christensen, Climate Centre, Dmi Klaus Dethloff, Klaus Ketelsen, Ines Hebestadt, Anette Rinke
….g. the name of the current restart file, the time step increment for restart, and the current restart time…
Add To MetaCart

The impacts of write-through procedures and checkpointing on real-time concurrency control
by Tei-wei Kuo, Yen-hsi Hou, Kam-yiu Lam — 2003 — Comput. J
… approach for recovery processing in main-memory databases. An incremental restart algorithm and a…
Cited by 1 (0 self) – Add To MetaCart

µ-Charts and Z: hows, whys and wherefores
by Greg Reeve Steve Reeves, Greg Reeve, Greg Reeve, Steve Reeves, Steve Reeves — 2000 — in W. Grieskamp, T. Santen & B. Stoddart, eds, ‘Integrated Formal Methods 2000: Proceedings of the 2nd
… 0 = x + 1 Restart State x 20 x 0 = 11 T Op b = Increment _ Restart The schema inclusion…
Cited by 1 (0 self) – Add To MetaCart

Global impact analysis of dynamic library dependencies
by Yizhan Sun, Dr. Alva, L. Couch — 2001 — Proceedings of the 15th Systems Administration Conference (LISA 2001
… and store the results for later perusal and comparison. Runs of sowhat can be incremental or restarted from…
Cited by 13 (7 self) – Add To MetaCart

A real coded genetic algorithm with an explorer and an exploiter populations
by Shigeyoshi Tsutsui, Ashish Ghosh, David Corne, Yoshiji Fujimoto — 1997 — Proceedings of the Seventh ICGA
…- GA is restarted after randomly re-initializing all the individuals and incrementing the restart…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB