Paris here I appear to be coming!
Feb. 10th, 2004 01:04 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
compilerbitch*********************************************************************
* Ecole Normale Supe'rieure *
* *
* Se'minaire *
* SEMANTIQUE ET INTERPRETATION ABSTRAITE *
* P. Cousot *
* *
* Vendredi, 14h00--15h30 *
* Salle U/V, etage -2 *
* DI ENS 45 rue d'Ulm 75005 Paris *
*********************************************************************
*** Vendredi 19 mars 2004 *** 14h00 ********************************
Sarah THOMPSON (Computer Laboratory, University of Cambridge)
Abstract Interpretation of Asynchronous Circuits
Re'sume' : We present an abstract interpretation framework that allows dynamic
properties of asynchronous digital circuits to be statically determined. In
our model, time is linear, dense and continuous, with the structure (but not
the arithmetic) of the real numbers. Within a finite time window, signals can be
represented by their start and end states, along with the count of complete
cycles during the window. Defining the familiar logical operators in terms of
these values results in a 'logic' that, given known inputs, can place bounds
on the number and kind of transitions that may occur at the output of a
combinational circuit. A hierarchy of simplified logics, related by Galois
connections, have been identified that offer varying degrees of accuracy.
Applications include simulation, model checking, synthesis and optimisation.
Reference:
[1] S. Thompson and A. Mycroft, Sliding Window Logic Synthesis, UK
Asynchronous Forum, Cambridge, January 2004, Available from
http://st326.st-edmunds.cam.ac.uk/mypapers/
*********************************************************************
Pour recevoir l'annonce par courrier electronique:
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************
* Ecole Normale Supe'rieure *
* *
* Se'minaire *
* SEMANTIQUE ET INTERPRETATION ABSTRAITE *
* P. Cousot *
* *
* Vendredi, 14h00--15h30 *
* Salle U/V, etage -2 *
* DI ENS 45 rue d'Ulm 75005 Paris *
*********************************************************************
*** Vendredi 19 mars 2004 *** 14h00 ********************************
Sarah THOMPSON (Computer Laboratory, University of Cambridge)
Abstract Interpretation of Asynchronous Circuits
Re'sume' : We present an abstract interpretation framework that allows dynamic
properties of asynchronous digital circuits to be statically determined. In
our model, time is linear, dense and continuous, with the structure (but not
the arithmetic) of the real numbers. Within a finite time window, signals can be
represented by their start and end states, along with the count of complete
cycles during the window. Defining the familiar logical operators in terms of
these values results in a 'logic' that, given known inputs, can place bounds
on the number and kind of transitions that may occur at the output of a
combinational circuit. A hierarchy of simplified logics, related by Galois
connections, have been identified that offer varying degrees of accuracy.
Applications include simulation, model checking, synthesis and optimisation.
Reference:
[1] S. Thompson and A. Mycroft, Sliding Window Logic Synthesis, UK
Asynchronous Forum, Cambridge, January 2004, Available from
http://st326.st-edmunds.cam.ac.uk/mypapers/
*********************************************************************
Pour recevoir l'annonce par courrier electronique:
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2004-02-10 06:30 am (UTC)Re:
Date: 2004-02-10 06:37 am (UTC)All I should have to pay for is a couple of extra days in a hotel. Which is good! :-)
????
Date: 2004-02-11 09:00 am (UTC)Anyways, have fun! ^_^ Paris is absolutely wonderful.
Re: ????
Date: 2004-02-11 09:20 am (UTC)As an example of this talent, I was once at dinner with a bilingual friend of mine and her French-only speaking boyfriend. We were eating mussels (moules in French). So, of course, I had to chip in with, "J'aime les moules!". At which point the other side of the table went purple and sprayed various liquids laughing at what I'd just said. Seemingly, though I hadn't actually done anything wrong per se, what I'd said could be alternatively interpreted as the slang expression, "I love cunnilingus".
Re: ????
Date: 2004-02-11 11:31 am (UTC)Bring me a souvenir. A nice, nubile, French citizen, for instance.
*hopeful*
Yay!
(no subject)
Date: 2004-02-11 02:52 pm (UTC)Re:
Date: 2004-02-11 02:55 pm (UTC)