[$ieee-1850] psl at microsoft research

From: Cindy Eisner <EISNER_at_.....>
Date: Sat Nov 04 2006 - 23:45:37 PST
all,

i received a draft paper from fei xie, a professor at portland state
university.  since it is a draft, i don't feel comfortable forwarding it
(and i haven't yet read it to see if it is interesting enough anyway).
however, i thought you would be interested in this description of the
paper:

>Ping Hang Cheung and Alessandro Forin. A C-language binding for PSL.
>
>This paper describes the work my student Ping Hang Cheung has done in
>Microsoft Research to use PSL in embedded software simulcation following
>the xPSL concept. He is currently working on how to realize the xPSL
>concept for whole system simulation including both hardware and software.

cindy.

--------------------------------------------------------------
Cindy Eisner
Reliable Systems Technologies

IBM Haifa Research Lab, 4th floor
Haifa University Campus
Haifa 31905, Israel
Tel: +972-4-8296-266
Fax: +972-4-8296-114
e-mail: eisner@il.ibm.com

Buy my book here:
http://www.springer.com/west/home/computer/programming?SGWID=4-40007-22-173666804-0
 (or from Amazon)
Received on Sat Nov 4 23:48:45 2006

This archive was generated by hypermail 2.1.8 : Sat Nov 04 2006 - 23:48:54 PST