From: IEEE-RTTC@cs.bu.edu Subject: IEEE-RTTC digest for Mon Apr 06, 1992 ------------------------------------------------------------------------------ ##### ##### ##### ##### #### ##### ##### ### # # # # # # # # # # # # # # # # # # # # #### #### #### #### #### # # # # # # # # # # # # # # # # # # # # # # ##### ##### ##### ##### # # # # ### ------------------------------------------------------------------------------ The Electronic Newsletter of the IEEE Technical Committee on Real-Time Systems ------------------------------------------------------------------------------ Table of Contents Line ----------------- ---- 1. gandalf@cs.bu.edu (Lou Hennessy) (18 lines) Mail Problems at cs.bu.edu......................................... 3 2. best@cs.bu.edu (Azer Bestavros) (131 lines) Workshops with CONCUR '92, Aug 28-29............................... 21 Real-time Bibliography Database.................................... 119 FTP sites.......................................................... 131 IEEE-RTTC server: New Members...................................... 141 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<<<* START OF THE IEEE-RTTC DIGEST *>>>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Mon Mar 16 18:20:23 1992 From: gandalf@cs.bu.edu (Lou Hennessy) Subject: Mail Problems at cs.bu.edu This weekend our mail server went flakey and caused unwanted mail messages to be sent out to people on mailing lists stored here. Namely the mailing lists CN and IEEE-RTTC. It seems that people on one list received mail belonging to the other list. Things appear to be straightened out now. Sorry for any inconvenience this mess may have caused. Lou Hennessy User Services Coordinator CLA Computer Science Department Boston University ------------------------------------------------------------------------------ Message 2; Postmarked Fri Apr 3 12:45:37 1992 From: S Purushothaman Subject: Workshops with CONCUR '92, Aug 28-29 CALL FOR PAPERS First North American Process Algebra Workshop (NAPAW) and Realistically Dependable Parallel Computing Workshop (READPAC) August 28-29, 1992 Stony Brook, NY NAPAW, to be held in conjunction with CONCUR '92, on Friday, August 28, will provide a forum for the discussion of process algebras. Short abstracts of no more than two (2) pages are sought on topics relating to the theory, application and extensions of process algebras. Participants are encouraged to submit their abstracts by electronic mail (using Unix commands tarmail or uuencode) if possible. The accepted formats are DVI and PostScript. If electronic submission is not possible, five (5) copies of the paper should be sent to S. Purushothaman at the below address. The deadline for receipt of abstracts is May 15. Authors will be notified of acceptance or rejection by June 1. A proceedings in the form of a collection of abstracts (or full papers) will be provided at the workshop and later available as a tech report from Hopkins/Penn State. Organizers: S. Purushothaman Dept of Computer Science Penn State University University Park, PA 16802 purush@cs.psu.edu Amy Zwarico Dept of Computer Science Johns Hopkins University Baltimore, MD 21218 amy@cs.jhu.edu Program Comittee: R. Cleaveland R. Gerber F. Moller S. Purushothaman A. Zwarico READPAC, also held in conjunction with CONCUR, on the afternoon of Friday, August 28 and all day Saturday, August 29, will provide a forum for the discussion of techniques that will facilitate the design of future high-performance systems. Historically, research on parallel and distributed - hence concurrent - systems has been divided into two independent fields: (1) performance modeling and analysis, including algorithm design and analysis, and (2) formal methods, including algorithm and system specification and verification techniques. With large scale concurrency and parallelism becoming a technological reality, the designer of such systems is now faced not only with the problem of being able to specify them correctly with ease, but must also ensure that such specifications lead to efficient systems capable of high performance. Ideally, a design methodology should allow the designer to specify, implement, verify, and performance-model a system simultaneously, throughout the development process. The goal of this workshop is to foster interaction between researchers and practitioners from these diverse fields, with an aim to bridging gaps and leading towards a common modeling and analysis framework. It is hoped that this synergy will yield tools and techniques that will aid the designer to rapidly produce correct as well as efficient concurrent or parallel programs and systems. Short abstracts of no more than two (2) pages are sought on topics relating formal methods and performance analysis. Three (3) copies of the paper should be sent to Erol Gelenbe at the below address. The deadline for receipt of abstracts is May 15. Authors will be notified of acceptance or rejection by June 1. A proceedings in the form of a collection of abstracts (or full papers) will be provided at the workshop and papers presented at the workshop will be considered for subsequent journal publication. Details of this will be provided at the workshop. Organizer: Erol Gelenbe EHEI Universite' Rene' Descartes 45 rue des Saints-Peres 75006 Paris Program Committee: Erol Gelenbe (Workshop Chair) Zvi Kedem Isi Mitrani, Richard Muntz Krishna Palem Scott Smolka Satish Tripathi Postmarked Mon Apr 6 18:35:17 1992 From: best@cs.bu.edu (Azer Bestavros) Subject: Real-time Bibliography Database Please send your contribution to the Real-time Bibliography Database to . Please restrict your contribution to publications not dating back more than 3 years ago. To get a copy of the Real-time Bibliography Database use anonymous FTP to connect to . The IEEE-RTTC archive is in a directory called "IEEE-RTTC". The database is in that directory in a BibTex format under the name "bib.bib". Subject: FTP sites Over the last few weeks several members have inquired about FTP sites where technical reports on real-time systems can be found. If you have (or know of) one, please post it on this digest. Thanks. --Azer Postmarked Mon Apr 6 18:44:02 1992 From: best@cs.bu.edu (Azer Bestavros) Subject: IEEE-RTTC server: New Members The following are new subscribers to the IEEE-RTTC mailing list: (Takegaki, Keiji) takegaki@con.sdl.melco.co.jp -- IEEE-RTTC server ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<<<<* END OF THE IEEE-RTTC DIGEST *>>>>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Requests or comments should be E-mailed to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------