From: IEEE-RTTC@cs.bu.edu Subject: IEEE-RTTC digest for Tue May 19, 1992 ------------------------------------------------------------------------------ ##### ##### ##### ##### #### ##### ##### ### # # # # # # # # # # # # # # # # # # # # #### #### #### #### #### # # # # # # # # # # # # # # # # # # # # # # ##### ##### ##### ##### # # # # ### ------------------------------------------------------------------------------ The Electronic Newsletter of the IEEE Technical Committee on Real-Time Systems ------------------------------------------------------------------------------ Table of Contents Line ----------------- ---- 1. bengt@sics.se (50 lines) research position at Uppsala....................................... 2 2. S Purushothaman (101 lines) Final CFP: Workshops on Process Algebras and Dependable Computing.. 52 3. Jane Liu (66 lines) IEEE Workshop on Imprecise and Approximate Computation............. 154 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<* START OF THE IEEE-RTTC NEWSLETTER *>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ Message 1; Postmarked Wed Apr 29 10:56:12 1992 Subject: research position at Uppsala From: bengt@sics.se Date: Mon, 27 Apr 92 23:29:13 +0200 VISITING RESEARCH POSITION IN FORMAL DESIGN TECHNIQUES at the UNIVERSITY of UPPSALA, Sweden The department of Computer Systems at Uppsala University is seeking a visiting researcher in formal design techniques. UPPSALA is located 70 km north of Stockholm. We are a research group, currently 7 people, concentrating on formal design techniques. Our research topics are in semantics, specification, verification, and transformation of distributed systems, real-time systems, and regular hardware circuits. We collaborate with the formal design techniques group at SICS in Kista, Stockholm, which earlier has announced a similar position in this forum. At Uppsala University there is also a neighbouring department of numerical analysis, and the department of computing science specializing in logic programming. THE POSITION is partly funded by the ESPRIT Basic Research Action ``REACT: Building Correct Reactive Systems'' where we participate. REACT focuses on verification methods for reactive systems, on timing properties, and on methods for stepwise development and structuring of reactive systems. We offer a visiting researcher position starting August-September 1992. The beginning and length of the period are negotiable. We seek an applicant with a PhD and a research record in relevant areas. Interested? Please send me your CV and state your interests and requirements preferrably by early May. Email, fax or physical mail are fine Prof Bengt Jonsson Uppsala University Dept of Computer Systems Box 520 S - 751 20 Uppsala, Sweden, fax: +46 - 18 - 55 02 25 e-mail: bengt@docs.uu.se P.S. I am now moving from SICS to the Dept of Computer Systems at Uppsala University. ------------------------------------------------------------------------------ Message 2; Postmarked Mon May 11 12:45:04 1992 Subject: Final CFP: Workshops on Process Algebras and Dependable Computing From: S Purushothaman Sender: best@cs.bu.edu Date: Sat, 9 May 1992 14:24:04 -0400 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 ------------------------------------------------------------------------------ Message 3; Postmarked Mon May 18 11:04:55 1992 From: Jane Liu Subject: IEEE Workshop on Imprecise and Approximate Computation Call for Papers IEEE Workshop on Imprecise and Approximate Computation December 1, 1992 Phoenix, Arizona Co-Sponsored by: IEEE Computer Society TC on Real-Time Systems Office of Naval Research Texas A&M University Imprecise computation appears to be a promising approach to providing scheduling flexibility and enhancing dependability in dynamic real-time systems. Over the years, several systems have made use of approximate computations in time-constrained situations. Recent work in this area has resulted in a formalization of the approach and focused on providing system support for using imprecise computation. The potential applications of these ideas include both traditional and next-generation applications, such as intelligent control systems, machine vision, real-time databases, and highly dependable real-time systems. The purpose of this workshop is to bring together researchers and practitioners and provide a forum for discussing a wide range of related topics, including applications of imprecise and approximate computations, reasoning about approximate results, approximate computation algorithms and methods, as well as programming and system support, communication protocols, and software development tools. Prospective participants should send 6 copies of a position paper (no more than 5 pages) by August 15, 1992 to Wei Zhao, Department of Computer Science, Texas A&M University, College Station, TX 77843-3112. (409) 845-5098 (voice), (409) 847-8578 (fax); zhao@cs.tamu.edu. Complete details regarding the workshop will be sent to all participants along with acceptance letters by October 16, 1992. Camera ready copies of the papers will be due on November 6, 1992. All accepted papers will be published in workshop proceedings. Program Committee Thomas Dean Swami Natarajan Brown University Texas A&M University John James Stuart Russell U.S. Army Univ of California at Berkeley Wolf Kohn Don Towsley Intermetrics Univ of Massachusetts Victor Lesser John Yen Univ of Massachusetts Texas A&M University Kwei-Jay Lin, Wei Zhao Univ of Illinois at Urbana Texas A&M University Jane W. Liu Univ of Illinois at Urbana ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<<* END OF THE IEEE-RTTC NEWSLETTER *>>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The IEEE-RTTC repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the IEEE-RTTC repository is: cs.bu.edu Contributions to this forum should be sent by E-mail to: IEEE-RTTC@cs.bu.edu Requests or inquiries should be sent by E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------