search for: carothers

...was worth asking. I'm trying to develop an "undo function" generator pass that would be able to restore system state (without state-saving) after determining an error occurred. This is documented in, "Efficient Optimistic Parallel Simulations using Reverse Computation" by Carothers et al.[1] Thanks, -Justin [1] http://www.cs.rpi.edu/~chrisc/publications/carothers-tomacs-1999.html

...I'm trying to > develop an "undo function" generator pass that would be able to restore > system state (without state-saving) after determining an error occurred. > This is documented in, "Efficient Optimistic Parallel Simulations using > Reverse Computation" by Carothers et al.[1] > I'm unaware of an easy way to "reverse the CFG" - but even if there was, I don't think that would solve your problem. First, you will only be able to generate "undo" functions for a small subset of all possible functions - specifically, invertible funct...

...event speculatively. If it turns out you should not have processed that event (and such situations can be detected by our system), you need to undo all of the changes you made in your event handler. Most approaches use some form of state-saving. We opt for an approach coined by my advisor (Chris Carothers, actually) called "reverse computation." The reverse function is basically the inverse of the forward event handler e.g. if in the forward event handler you increment a variable, the reverse handler would need to decrement it. That's an extremely simple case. A more complicated cas...

...oad the lastest ext3fs patches?? I found the 2.4.14 patch a few weeks ago on in the linux.org UK site, but all the patches appear to be taken off that site...Any help would be most appreciated... Thanks, Chris -------------------------------------------------------------------- Christopher D. Carothers Assistant Professor Department of Computer Science Rensselaer Polytechnic Institute 110 8th Street Troy, New York 12180-3590 e-mail: chrisc@cs.rpi.edu web page: www.cs.rpi.edu/~chrisc phone: (518) 276-2930 fax: (518) 276-4033 -------------------------------------------------------------...

...<julian.reschke at gmx.de> Date: Wed, Dec 30, 2009 at 12:17 AM Subject: Re: Public feedback on HTML5 video To: Silvia Pfeiffer <silviapfeiffer1 at gmail.com> Cc: robert at ocallahan.org, Aryeh Gregor <Simetrical+w3c at gmail.com>, Maciej Stachowiak <mjs at apple.com>, Gavin Carothers <gavin at carothers.name>, HTMLwg <public-html at w3.org>, comments at daringfireball.net Silvia Pfeiffer wrote: > > On Mon, Dec 28, 2009 at 10:32 PM, Julian Reschke <julian.reschke at gmx.de> wrote: >> >> Silvia Pfeiffer wrote: >>> >>> ... &g...

...t you should not have processed that event >> (and such situations can be detected by our system), you need to undo all of >> the changes you made in your event handler. Most approaches use some form >> of state-saving. We opt for an approach coined by my advisor (Chris >> Carothers, actually) called "reverse computation." The reverse function is >> basically the inverse of the forward event handler e.g. if in the forward >> event handler you increment a variable, the reverse handler would need to >> decrement it. That's an extremely simple ca...

Is there any way to query the size of an existing journal? I have heard a number of sizes thrown around as defaults, but I need to be able to reliably get the exact journal size. Thanks Jason -- ---------------------------------------------------- Storix Software info@storix.com (sales) 1-619-702-6500 support@storix.com (support) 1-877-STORIX-1 (US) http://www.storix.com

Dear all, I am planning to add some cryptographic properties (file encryption and digital signature on file I/O) to Linux filesystem. In detail, I want that user can do file I/O with encrypted files like he used to do with usual file except some minor changes (e.g. supply key for decrypting file). For digital signature, all read and write acts on file of any user must be signed and recorded so

Hi, In the aftermath of Digium's and Counterpath's Bria for Asterisk announcement, we're happy to chat with Todd Carothers, Counterpath Product Manager today at 1 PM EST. For more info, http://vuc.me Join us on IRC #vuc on Freenode.net or use the web client at http://vuc.me/irc Call in starting at around 12 Noon EST: sip:200901 at login.zipdx.com Hear you there! /r