Filters








18,418 Hits in 2.1 sec

Computation by Prophecy [chapter]

Ana Bove, Venanzio Capretta
2007 Lecture Notes in Computer Science  
For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function.  ...  The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined by applying the delay monad to the co-domain of the function.  ...  Given the recursive equations for a computable function f : A → B, we define a co-inductive set B f of prophecies representing the traces of the computation of the function.  ... 
doi:10.1007/978-3-540-73228-0_7 fatcat:cw5o4j4e3rbabfrypeibr5uftu

Prophecy: Accelerating Mobile Page Loads Using Final-state Write Logs

Ravi Netravali, James Mickens
2018 Symposium on Networked Systems Design and Implementation  
Experiments with real pages and real phones show that Prophecy reduces median page load time by 53%, energy expenditure by 36%, and bandwidth costs by 21%.  ...  The mobile browser replays the writes to quickly reconstruct the final page state, eliding unnecessary intermediate computations.  ...  Prophecy also helps page loads on desktop browsers, reducing median bandwidth usage by 18%, and median page load time by 38% (0.8 seconds).  ... 
dblp:conf/nsdi/NetravaliM18 fatcat:kb3pjji2abftdc7vwjozpwevfq

Page 8 of Christian Remembrancer. A Quarterly Review Vol. 21, Issue 1 [page]

1839 Christian Remembrancer. A Quarterly Review  
Captivity under Jehoiachin: epoch from whence the prophecies of Eze- kiel are computed: Daniel’s period of 1355 years commences.  ...  The 70 weeks, foretold by Daniel, commence... The, Great Paschal Cycle of the Jews computed from this epoch, The first division of the 70 weeks, foretold by Daniel, terminates.’  ... 

Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation [chapter]

Guillaume Claret, Lourdes del Carmen González Huesca, Yann Régis-Gianas, Beta Ziliani
2013 Lecture Notes in Computer Science  
the same reduction may be simulated a posteriori by the monad.  ...  The key to our approach is to use simulable monads, where a monad is simulable if, for all terminating reduction sequences in its equivalent effectful computational model, there exists a witness from which  ...  Besides, our prophecies are computed outside Coq by an efficient computational model i.e. OCaml. Conclusion In this paper, we presented a novel technique to write decision procedures in Coq.  ... 
doi:10.1007/978-3-642-39634-2_8 fatcat:3b7xcd2sdreqhlbdich52bwhki

Prophecy Variables for Hyperproperty Verification [article]

Raven Beutner, Bernd Finkbeiner
2022 arXiv   pre-print
In this paper, we establish that the game-based approach can be made complete by adding (ω-regular) temporal prophecies.  ...  Our proof is constructive, yielding an effective algorithm for the generation of a complete set of prophecies.  ...  Beutner carried out this work as a member of the Saarbrücken Graduate School of Computer Science.  ... 
arXiv:2206.01797v1 fatcat:xhfppr7zznggdgcqftoc7yleim

Page 59 of Connecticut Evangelical Magazine and Religious Intelligencer Vol. 5, Issue 2 [page]

1804 Connecticut Evangelical Magazine and Religious Intelligencer  
The work was re- sumed by the Jews by the ad- dress of Haggai and Zecha. (ch.  ...  ¥ this part of the prophecy was fulfilled, is very obvious from the history of Nehemiah.—from these 7 weeks Or 49 years are the 62 wecks, or 434 years, to be computed.  ... 

Page 4 of Perspectives on Science and Christian Faith Vol. 4, Issue 4 [page]

1952 Perspectives on Science and Christian Faith  
A number of prophecies should thus be considered and evaluated by the group.  ...  Another class of college students studied and computed the probability of fulfillment of 48 prophecies, from the Old Testament, regarding the first advent of Christ.  ... 

Y2K as an Endtime Sign: Apocalypticism in America at the fin-de-millennium

Nancy A. Schaefer
2004 Journal of Popular Culture  
by some prophecy believers in accordance with their convictions.  ...  By mid-1998, over forty Y2K books were on the market (Walker, ''Computer Troubles'') .  ... 
doi:10.1111/j.0022-3840.2004.00101.x fatcat:mck7lnc3ing5xew222te4yb3w4

The Prophecy of Undo [chapter]

Martín Abadi
2015 Lecture Notes in Computer Science  
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior.  ...  Prophecy variables can help in reasoning about the state of the system, basically because they can predict which computations will be rolled back.  ...  Therefore, by Propositions 11 and 7, SpecP /Q is obtained from SpecL by adding a very simple prophecy variable. By Proposition 2, SpecL implements SpecP /Q . 2.  ... 
doi:10.1007/978-3-662-46675-9_23 fatcat:kjxfnlo23rdqren563pbzasg7y

Page 371 of Journal of Business and Technical Communication Vol. 20, Issue 3 [page]

2006 Journal of Business and Technical Communication  
Many of us remember the prophecies published as computers began to appear in homes and workplaces.  ...  Although neither prophecy has entirely been fulfilled, computers have unquestionably changed the working world and will continue to do so.  ... 

Page 4065 of Psychological Abstracts Vol. 84, Issue 9 [page]

1997 Psychological Abstracts  
—The construct validity of computer anxiety was explored by assessing the extent to which computer anxiety test scores are predictive of users’ ability to complete basic computer operations accurately  ...  The authors assessed whether positive or negative self-fulfilling prophecies were more powerful and whether some targets were more susceptible to self-fulfilling prophecies because of their self-concepts  ... 

Page 127 of American Society of Civil Engineers. Proceedings of the American Society of Civil Engineers Vol. 62, Issue 1 [page]

1936 American Society of Civil Engineers. Proceedings of the American Society of Civil Engineers  
The computation is a guide to design, but cannot be considered exact prophecy.  ...  Theoretically, however, prophecy is not at all exact, and even practically there may be some question.  ... 

Page 393 of Records of the Past Vol. 2, Issue 12 [page]

1903 Records of the Past  
By this computation, which is the only reasonable computation, the prophecies of Daniel come to an end with the Jewish dispensation.” CHuRCH STANDARD.  ...  ~U- pe; mn 5 Ge THE ONLY KEY TO DANIEL’S PROPHECIES By W. 8. AUCHINCLOSS WITH INTRODUCTION BY Pror. A. H. Sayce, LL.D., Queen’s College, Oxford, England 173 pages.  ... 

Page 819 of The Bibliotheca Sacra Vol. 12, Issue 48 [page]

1855 The Bibliotheca Sacra  
1855 ] 'Element of Time in Prophecy. 819 present struggles by an assurance that her cause shall in the final issue be triiun[)hant, this, and not the gratification of a pru« rient curiosity respecting  ...  This may be one of the ends to be accomplished by prophecies containing, like some of those in Daniel and the Apocalypse, exact specifications of dates and the succession of events.  ... 

Page 229 of Critical Review; Or, Annals of Literature Vol. 18, Issue [page]

1796 Critical Review; Or, Annals of Literature  
This period has in a computation already given to the public,. been juftly computed from the twentieth year of Artaxerxes, when Nehemiah informs us he was fent by the king to build-the city of his father  ...  Concerning this part of the prophecy there is therefore no difficulty.  ... 
« Previous Showing results 1 — 15 out of 18,418 results