Subject: IEEE-CS TC-RTS Newsletter for Fri Feb 18, 1994 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. best@cs.bu.edu (Azer Bestavros) (25 lines) Announcing the IEEE-CS TC-RTS WWW Home Page (and call for URLs).... 3 2. krithi@nirvan.cs.umass.edu (Krithi Ramamritham) (112 lines) CFP: RTSS'94 (15th Real-Time System Symposium)..................... 27 3. ken@minster.york.ac.uk (107 lines) Report: Adding Time Offsets To Schedulability Analysis............. 140 Report: A Performance Analysis of a Hard Real-Time System.......... 169 Report: Analysis of Hard Real-Time Communications.................. 201 4. Max.Pokam@imag.fr (max roger pokam) (92 lines) Real Time Tecnical Reports......................................... 247 5. dfisher@cod.nosc.mil (Donna K. Fisher) (142 lines) PRISTG (Real-Time DBs)............................................. 339 6. Mathai Joseph (42 lines) Advanced Course: Parallelism and Real-time Systems................. 481 7. joanne@theory.lcs.mit.edu (Joanne Talbot) (35 lines) MIT Summer Course Annoucement...................................... 524 8. sanjoy@uvm-gen.EMBA.UVM.EDU (61 lines) Endowed Chair Position............................................. 558 9. Karsten Schwan (39 lines) Position Available................................................. 619 10. Kevin Jeffay (71 lines) CFP: Special issue for Computer Communications..................... 657 11. alex@vulcan.njit.edu (Alexander D. Stoyenko) (94 lines) CFP: Second IEEE Workshop on Real-Time Applications................ 729 12. leue@iamsun.unibe.ch (Stefan Leue) (140 lines) FORTE'94 - Call for Papers......................................... 822 13. Pier ten Kate (335 lines) CFP: RTD'94........................................................ 963 14. Parameswaran Ramanathan (75 lines) CFP: Workshop on Architectures for Real-Time Applications (ISCA94.. 1297 15. heitmeye@itd.nrl.navy.mil (Connie Heitmeyer) (789 lines) [ysryu@june.snu.ac.kr: ]........................................... 1373 CFP: Special issue of COMPUTER COMMUNICATIONS...................... 1395 ZUM'94 Program..................................................... 1473 WRTP'94 (REAL TIME PROGRAMMING).................................... 1917 16. Parmesh Ramanathan (72 lines) Worskhop on Architectures for Real-time Applications............... 2162 17. best@cs.bu.edu (Azer Bestavros) (169 lines) CFP: 13th Symposium on Reliable Distributed Systems (SRDS-13)...... 2234 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Feb 18 16:38:23 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: Announcing the IEEE-CS TC-RTS WWW Home Page (and call for URLs) Dear Newsletter Reader: I am pleased to announce that the IEEE-CS Technical Committee on Real-Time Systems has its own home page on the World-Wide Web (WWW). This page will be maintained as part of the IEEE-CS TC-RTS Archives that I am maintaining here at Boston University. To access it, please use the following Uniform Resource Locator (URL): http://cs.bu.edu:80/best/ieee-rts.html This home page will be constantly updated to point to various internet resources of interest. If you maintain a local home page or FTP archives that may be of interest to members of this forum, please send me a note with the appropriate URL. All the best, --Azer Bestavros ------------------------------------------------------------------------------ Message 2; Postmarked Thu Feb 17 17:34:27 1994 Subject: CFP: RTSS'94 (15th Real-Time System Symposium) From: krithi@nirvan.cs.umass.edu (Krithi Ramamritham) 15th IEEE Real-Time Systems Symposium December 7-9, 1994 San Juan, Puerto Rico FIRST ANNOUNCEMENT AND CALL FOR PAPERS The purpose of this symposium is to bring together researchers and developers from academia, industry and government to advance the science and technology in real-time computing. Papers on all aspects of real-time computing are sought, including operating systems and scheduling, fault-tolerance, databases, programming languages, tools, communication networks, architectures, performance modeling, formal methods, case studies, and applications. Of particular interests are reports describing practical experiences and experimental results based on system building efforts, and real-time issues in applications such as avionics, multimedia, robotics, automated process control and manufacturing. Papers should describe original work, and be 20 double-spaced pages (5,000 words) or less in length. Synopses (5 double-spaced pages or less in length) of real-time applications, experimental results, and practical experiences in the design and development of real-time systems are also invited. The synopses should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach. All accepted submissions will appear in the proceedings. Please send 5 copies of your submission to arrive by April 29, 1993 -- a FIRM deadline -- to the program chair at the following address. (Please include e-mail and fax number with the author's address.) Krithi Ramamritham, RTSS94 Dept. of Computer Science, LGRC Campus Box 34610 University of Massachusetts Amherst MA 01003-4610 e-mail: rtss94@cs.umass.edu Phone: (413) 545-0196 FAX: (413) 545-1249 Sponsor: IEEE Computer Society Technical Committee on Real-Time Systems General Chair: Farnam Jahanian, University of Michigan Program Chair: Krithi Ramamritham, University of Massachusetts, Amherst Program Committee: George Avrunin, Univ. of Mass. Amherst Azer Bestavros, Boston Univ. Alex Buchmann, Tech. Hochschule, Darmstadt Alan Burns, Univ. of York Flaviu Cristian, UC San Diego Wolfgang Halang, Fern Univ. Jayant Haritsa, Indian Institute of Science Michelle Hugue, Trident Systems Kane Kim, UC Irvine Hermann Kopetz, Tech. Univ. Vienna Christian Koza, Alcatel Austria John Lehoczky, CMU Jay Lala, Draper labs Jane Liu, Univ. of Illinois, Urbana Miroslaw Malek, Univ of Texas, Austin Al Mok, Univ of Texas, Austin Frank Olken, Lawrence Berkeley Labs Raj Rajkumar, SEI Parmesh Ramanathan, Univ. of Wisconsin Karsten Schwan, Georgia Tech. Alan Shaw, Univ of Washington Chia Shen, Mitsubishi Electric Research Labs Kang Shin, Univ. of Michigan Lorenzo Strigini, IEI-CNR, Pisa Jay Strosnider, CMU Morikazu Takegaki, Mitsubishi Electric Hide Tokuda, Keiu Univ. Satish Tripathi, Univ. of Maryland Frits Vaandrager, CWI, Amsterdam Tetsuo Wasano, NTT Victor Yodaiken, New Mexico IMT Publicity Chair: Wei Zhao (zhao@cs.tamu.edu), Texas A&M University Industrial Chair: Prabha Gopinath, Honeywell Local Arrangements Chair: Sandra Ramos-Thuel, AT&T Treasurer: Walter Heimerdinger, Honeywell Ex-Officio: Jack Stankovic (RTS-TC Chair) IMPORTANT DATES FIRM deadline for Papers/Synopses -- April 29, 1994 Acceptance Letters -- July 22, 1994 Camera-Ready Papers -- September 15, 1994 Symposium -- December 7-9, 1994 A one-day workshop on the ``Composability of Fault-Resilient Real-Time Systems'' is also being planned, to be held December 6, 1994. For further details, please contact Michelle Hugue (meesh@nemo.cs.umd.edu). ------------------------------------------------------------------------------ Message 3; Postmarked Fri Jan 21 05:25:16 1994 From: ken@minster.york.ac.uk Subject: Report: Adding Time Offsets To Schedulability Analysis A report entitled "Adding Time Offsets To Schedulability Analysis", by K. Tindell is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS221.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "This paper discusses the addition of so-called time offsets to task sets dispatched according to fixed priorities. The motivation for this work is two-fold: firstly, direct expression of time offsets is a useful structuring approach for designing complex hard real-time systems. Secondly, analysis directly addressing time offsets can be very much less pessimistic than extant analysis. In this report we extend our current fixed priority schedulability analysis, and then present two major worked examples, illustrating the approach." Subject: Report: A Performance Analysis of a Hard Real-Time System A report entitled "A Performance Analysis of a Hard Real-Time System", by C. M. Bailey, A. Burns, A. J. Wellings, C. H. Forsyth is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS224.ps.Z (the file YCS224_US.ps.Z contains a version formatted for US letter paper rather than A4). The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "This paper analyses the performance of an Attitude and Orbital Control System for the Olympus Satellite. The system was designed using HRT-HOOD and implemented in Ada 83 augmented with some of the facilities of Ada 9X. The program consisted of multiple tasks communicating via protected shared data areas. A worst case execution time analysis tool was used to estimate the execution time of each task, and Deadline Monotonic schedulability analysis was used to predict the system performance, taking into account all kernel overheads. An instrumented version was also produced to gather statistics on the actual run-time performance." Subject: Report: Analysis of Hard Real-Time Communications A report entitled "Analysis of Hard Real-Time Communications", by K. Tindell is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS222.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "In a distributed hard real-time system, communications between tasks on different processors must occur in bounded time. The inevitable communication delay is composed of both the delay in transmitting a message on the communications media, and also the delay in delivering the data to the destination task. This paper derives schedulability analysis bounding the media access delay and the delivery delay. Two access protocols are considered: a simple token passing approach, and a hypothetical real-time broadcast bus. A simple delivery approach is considered where the arrival of a message generates an interrupt - the so-called on demand approach." A number of other papers and reports written by the Real-Time Systems Research Group at York are also available; the file INDEX in the directory /pub/realtime/papers lists these. The source code and binaries of a number of tools supporting work done in the group is available in the directory /pub/realtime/programs. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433377 YO1 5DD, UK Fax. : +44-904-432708 ------------------------------------------------------------------------------ Message 4; Postmarked Fri Jan 28 04:24:21 1994 From: Max.Pokam@imag.fr (max roger pokam) Subject: Real Time Tecnical Reports There are some interesting technical reports produced by the University of Bologna (Italy) Report: UBLCS-93-1 Title: Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms Authors: Ozalp Babaoglu and Keith Marzullo Date: January 1993 Length: 40 pages Availability: anonymous FTP from ftp.cs.unibo.it Directory: /pub/TR/UBLCS File: global-states.ps.Z Abstract: Many important problems in distributed computing admit solutions that contain a phase where some global property needs to be detected. This subproblem can be seen as an instance of the Global Predicate Evaluation (GPE) problem where the objective is to establish the truth of a Boolean expression whose variables may refer to the global system state. Given the uncertainties in asynchronous distributed systems that arise from communication delays and relative speeds of computations, the formulation and solution of GPE reveal most of the subtleties in global reasoning with imperfect information. In this paper, we use GPE as a canonical problem in order to survey concepts and mechanisms that are useful in understanding global states of distributed computations. We illustrate the utility of the developed techniques by examining distributed deadlock detection and distributed debugging as two instances of GPE. -- Report: UBLCS-93-4 Title: A Formalization of Priority Inversion Authors: Ozalp Babaoglu, Keith Marzullo and Fred Schneider Date: March 1993 Length: 18 pages Availability: anonymous FTP from ftp.cs.unibo.it Directory: /pub/TR/UBLCS File: prio-inv.ps.Z Abstract: A priority inversion occurs when a low--priority task causes the execution of a higher--priority task to be delayed. The possibility of priority inversions complicates the analysis of systems that use priority--based schedulers because priority inversions invalidate the assumption that a task can be delayed by only higher--priority tasks. This paper formalizes priority inversion and gives sufficient conditions as well as some new protocols for preventing priority inversions. Report: UBLCS-93-10 Title: Scheduling Real Time Tasks: A Performance Study Authors: F. Panzieri, L. Donatiell and L. Poretti Date: May 1993 Length: 12 Availability: anonymous FTP from ftp.cs.unibo.it Directory: /pub/TR/UBLCS File: sched-RT-tasks.ps.Z Abstract: This paper describes a performance study of a number of task scheduling algorithms conventionally used in the design of distributed real-time systems. That study, based on a simulation model, allows one to asses the adequacy of those algorithms with respect to different parameters that can characterize the distributed system load and its communication costs. -- Report: UBLCS-93-22 Title: Real Time Systems: A Tutorial Authors: F. Panzieri, R. Davoli Date: October 1993 Length: 26 pages Availability: anonymous FTP from ftp.cs.unibo.it Directory: /pub/TR/UBLCS File: RealTimeTutorial.ps.Z Abstract: In this tutorial paper, we introduce a number of issues that arise in the design of distributed real-time systems in general, and hard real-time systems in particular. These issues include time management, process scheduling, and interprocess communications within both local and wide area networks. In addition, we discuss an evaluation, based on a simulation model, of a variety of scheduling policies used in real-time systems. Finally, we examine some relevant examples of existing distributed real-time systems, describe their structuring and implementation, and compare their principal features. ------------------------------------------------------------------------------ Message 5; Postmarked Tue Feb 15 15:20:21 1994 From: dfisher@cod.nosc.mil (Donna K. Fisher) Subject: PRISTG (Real-Time DBs) The Predictable Real-Time Information Systems Task Group (PRISTG) under the X3 Operational Management Committee (OMC--formerly SPARC) Database Systems Study Group (DBSSG) is collecting information regarding the current state of practice in the area of real-time database management systems. The PRISTG has developed the follow survey to gather data from professionals such as yourself. The goal of the survey is to assist the PRISTG in writing its final report to OMC on the need or readiness for standardization of real-time database concepts. The survey was designed to learn the following things about you: o Your level of expertise with RTDBMS. o Your past experiences and present involvement with RTDBMS. o Your opinion and input on the goal of standardizing the RTDBMS field. Due to the proprietary or sensitive nature of certain projects, it is not necessary for you to send to your name and address with the survey. Simply put the survey in an envelope and mail it to the address below. Otherwise, return the survey to dfisher@cod.nosc.mil BY MARCH 21, 1994. In addition, if you would like to be kept abreast of the activities of the PRISTG or would like a copy of the final report, send a message to the above e-mail address. ----------------------------- cut here for survey -------------------------- PRISTG Survey Part I contains multiple choice questions. Part II contains questions requiring short written answers. PART I. Choose the most appropriate responses for the following questions. 1. How would you rate your knowledge of RTDBMS? __Expert __Considerable __Average __Fair __No 2. Indicate the number of different RTDBMS projects have you been involved in? __more than 5 __3-5 __1-2 __None 3. Are you currently designing or planning applications (of any size) that will require RTDBMS technology? __Yes __No 4. If "yes" to question 3, will you implement your own RTDBMS? __Yes __No 5. If "yes" to question 4, is this a main memory RTDBMS? __Yes __No 6. Does your application have long duration transactions (e.g., CAD or target tracking)? __Yes __No 7. Does your database application require recovery? __Yes __No 8. If "yes" to question 7, must recovery be full, or may it be partial? __Must be full recovery __May be partial recovery 9. Does your application require heterogeneous database interaction? __Yes __No 10. Does your application require special scheduling? __Yes __No 11. Does (or will) your real-time database have to be compatible with either the relational or the object-oriented database models, or does it not matter? __Must be compatible with both database models. __Must be compatible with the relational database model only. __Must be compatible with the object-oriented database model only. __Does not matter. 12. Do you agree or disagree with the following? "The RTDBMS community should formally define commonly used RTDBMS terms and concepts (e.g., 'real-time', 'object-oriented database'). The definitions of these terms should then be used universally across the RTDBMS community." __Strongly Agree __Agree __No Opinion __Disagree __Strongly Disagree 15. Do you agree or disagree with the following? "The RTDBMS community should formally define commonly used RTDBMS principles. These principles should then be used universally across the RTDBMS community." __Strongly Agree __Agree __No Opinion __Disagree __Strongly Disagree 16. Listed below are a few RTDBMS terms. Do you agree or disagree with the definitions provided? If you disagree, please provide an alternate definition. Real-Time - That area of computer systems design and implementation in which the correctness of a result is dependent on the validity and timeliness of data and of the operations on that data. __Strongly Agree __Agree __No Opinion __Disagree __Strongly Disagree Real-Time Database Management System - A database management system which is capable of managing time-constrained queries. Such a DBMS may form the foundation in support of time-constrained transactions. __Strongly Agree __Agree __No Opinion __Disagree __Strongly Disagree Real-Time Transaction - A complex query made up of more than one action that must be performed within a given period of time. The transaction must be completed or aborted as a single unit." __Strongly Agree __Agree __No Opinion __Disagree __Strongly Disagree PART II. Briefly answer the following questions. 1. Briefly describe, in general terms, the real-time information management projects that you have worked on in the past. a. b. c. 2. List the ways in which the RTDBMS community will benefit by a standardization within the RTDBMS domain. (As examples: "A standardization will be an effective means of controlling costs due to duplicative software efforts." or "A standardization will make data handling and data protection procedures uniform across the RTDBMS family.") a. b. c. 3. List some of the potential problems that will arise from an RTDBMS standardization. (As examples: "RTDBMS people will need to translate standardized terminology for sponsors who are not part of the RTDBMS community and may not even approve of the RTDBMS standards." or "An overly restrictive standardization will impinge on worker creativity and productivity. A standard may in fact force workers to do their jobs in a manner uncomfortable to them.") a. b. c. ---------------------- Donna K. Fisher NCCOSC RDTE DIV 411 (619) 553-4095 49180 Transmitter Road, Rm 2 (619) 553-6288 FAX San Diego, CA 92152-7341 dfisher@cod.nosc.mil ------------------------------------------------------------------------------ Message 6; Postmarked Wed Jan 19 07:37:41 1994 From: Mathai Joseph Subject: Advanced Course: Parallelism and Real-time Systems ADVANCED COURSE Parallelism and Real-time Systems 28 February - 4 March 1994 The Department of Computer Science, University of Warwick, is offering a one-week advanced course on Parallelism and Real-time Systems from 28 February - 4 March. This Advanced Course will describe systematic methods for the specification, design, analysis and programming of parallel real-time systems. The Course will cover theory and practice, and will highlight the use of formal techniques as well as analytical techniques from scheduling theory. Examples will be used to illustrate the use of different methods. A highlight of the Course will be the practical use of different analytical tools. The Course runs for 5 days, starting at 9:30am on Monday 28th February and ending at 4pm on Friday 4th March. There will normally be 7-8 hours of instruction a day, with lectures mainly in morning sessions and practicals and additional lectures in the afternoons. The main lecturers will be Dr. Alan Burns (York), Professor Mathai Joseph (Warwick) and Dr. Steve Schneider (Oxford). The course fee is 695 pounds which does not cover accommodation. The course is a module in the Department's MSc in Parallel Computers and Computation. For further information please contact Mrs. Anne Warr, Department of Computer Science University of Warwick, Coventry CV4 7AL, U.K., Tel: (203) 523668, Fax: (203) 525714, e-mail: anne@dcs.warwick.ac.uk ------------------------------------------------------------------------------ Message 7; Postmarked Wed Feb 2 14:10:28 1994 Sender: best@cs.bu.edu (Azer Bestavros) From: joanne@theory.lcs.mit.edu (Joanne Talbot) Subject: MIT Summer Course Annoucement DESIGN AND ANALYSIS OF DISTRIBUTED PROTOCOLS Massachusetts Institute of Technology July 25-29, 1994 This course is intended to familiarize programmers and system engineers with the theory underlying the design and analysis of distributed algorithms. The focus will be on message-passing protocols, the key communication paradigm in computing environments ranging from tightly coupled multiprocessors to local and wide area networks. The theory identifies typical problems for solution in message passing systems, and shows how to design and analyze protocols that solve them. Often, this involves using message passing systems to emulate simpler communication paradigms. The theory also identifies the inherent costs of solutions, and even shows that certain problems cannot be solved at all. The instructors for this course are Professor Nancy Lynch of the M.I.T. Department of Electrical Engineering and Computer Science and Professor Nir Shavit of the Tel Aviv University Computer Science Department. For further information, please contact: Director of the Summer Session Room E19-356 Massachusetts Institute of Technology Cambridge, MA 02139 ------------------------------------------------------------------------------ Message 8; Postmarked Mon Jan 3 10:56:00 1994 From: sanjoy@uvm-gen.EMBA.UVM.EDU Subject: Endowed Chair Position ENDOWED CHAIR POSITION IN COMPUTER SCIENCE at THE UNIVERSITY OF VERMONT Applications are sought in Computer Science for the Dorothean Chair in the College of Engineering and Mathematics beginning in the 1994-95 academic year. It is anticipated that the position will be filled at the level of Full Professor. The Computer Science program has been revitalized with the recent hiring of young faculty members who are dedicated teachers and active researchers. Because the College combines the unique administrative structure of computer science, mathematics and engineering under one academic unit with a commitment to fostering interdisciplinary linkages, Computer Science is positioned to play a pivotal role in the College. The Dorothean Chair will have the opportunity to assume a leadership role in all aspects of the development of the program, and make a significant impact on the College and University. The University of Vermont enrolls about 7700 undergraduate and 1100 graduate students, and is nationally known for its excellence in teaching and research. UVM is located in Burlington, a vibrant, small city overlooking scenic Lake Champlain and nestled between the Adirondack and Green Mountains in the most rural state in the nation. The academic quality of life at the University combined with the personal quality of life in Vermont give UVM an unsurpassed attraction. Qualifications for the position include a doctorate in computer science or a closely related field, and an established record of excellence in teaching and research in computer science. Preference will be given to applicants whose research areas support those in Computer Science or in the College. Candidates should demonstrate a strong interest in interdisciplinary research in the mathematical sciences. Applications should include a current curriculum vitae and the names of at least three references. Send applications to: Richard Foote, Dorothean Search Committee Chair Dean's Office, 109 Votey Building College of Engineering & Mathematics University of Vermont Burlington, VT 05405. Inquiries may be made by mail to the above address or by email to: dorsrch@emba.uvm.edu. Applications will be accepted until the position is filled. The University of Vermont is an Affirmative Action/Equal Opportunity employer and encourages applications from women and members of underrepresented groups. ------------------------------------------------------------------------------ Message 9; Postmarked Wed Dec 15 10:37:40 1993 From: Karsten Schwan Subject: Position Available Position Available: Georgia Tech: Georgia Tech's College of Computing provides research and educational leadership in the field of Computing by combining a strong intellectual core of Computer Science with programs that involve substantial inter-disciplinary interactions. With a current academic faculty of 40 and a research faculty of 16, the College offers degrees at the undergraduate and graduate levels. Currently, the enrollment at the undergraduate level is 425, Masters is 120, and Ph.D. is 135. The College offers a state of the art computing facility enhanced by area specific equipment in a variety of research and teaching labs. The College invites applications for faculty positions at all ranks in all areas of Computer Science, particularly in our current areas of need which include operating systems, programming languages/compilers, computer architecture and theory, and in inter-disciplinary thrust areas such as scientific computation and visualization. Georgia Tech is located in Atlanta and is a unit of the University System of the State of Georgia. Georgia Tech is an Affirmative Action/Equal Opportunity Employer and applications from women and under-represented minorities are strongly encouraged. Candidates should send complete resumes and names of at least three references, preferably by December 15, 1993 or until positions are filled, to: Prof. Umakishore Ramachandran Chair, Faculty Search Committee College of Computing Georgia Institute of Technology Atlanta, GA 30332-0280 Phone: (404) 894-5136 e-mail: recruiting@cc.gatech.edu FAX: (404) 894-9846. ------------------------------------------------------------------------------ Message 10; Postmarked Fri Dec 10 10:06:51 1993 Subject: CFP: Special issue for Computer Communications From: Kevin Jeffay =========================================================================== CALL FOR PAPERS COMPUTER COMMUNICATIONS: SPECIAL ISSUE ON SYSTEM SUPPORT FOR MULTIMEDIA COMPUTING =========================================================================== The international data communications research journal "Computer Communications" announces a special issue on System Support for Multimedia Computing Guest Editor: Professor Kevin Jeffay Department of Computer Science, University of North Carolina at Chapel Hill Inexpensive hardware for processing digitized audio and video data is rapidly becoming available for desktop PCs. At the same time, high network bandwidth at relatively low price is now widely available at the desktop. This has led to the development of applications and technologies for computer-based conferencing. This special issue of "Computer Communications" aims to present and document current research in operating and network support for multimedia conferencing. The focus will be on transport protocols and allied issues. Relevant topics include: - media synchronization schemes - admission control - conference control - jitter control schemes - congestion/flow management schemes - application-level protocols - real-time resource allocation algorithms - practice and experience - performance models and studies. IMPORTANT DATES: Submissions due: August 15, 1994 Author notification: Nov. 15, 1994 Publishing date: July 1995 AUTHOR INFORMATION: Submissions made to the special issue should not have appeared in, or been submitted to other archival publications. All papers will be subjected to the journal's usual refereeing process. Papers developed from earlier conference and workshop presentations are welcome. Prospective authors should send six copies of their manuscript (in English) to the guest editor: Professor K Jeffay, Department of Computer Science, University of North Carolina at Chapel Hill, Chapel Hill,, NC 27599-3175, USA. Tel: +1 919 962 1938; Fax: +1 919 962 1799; Email: jeffay@cs.unc.edu Authors are advised to consult the journal's 'Notes for Authors' and 'Notes for Authors Submitting on Disk', published in the journal or available from the General Editor (PO Box 31, Market Harborough, Leics LE16 9RQ, UK) or from the US Editor (Raj Yavatkar, Department of Computer Science, University of Kentucky, 40506-0027, USA, raj@dcs.uky.edu) before submitting their papers. -------- ------------------------------------------------------------------------------ Message 11; Postmarked Mon Dec 13 13:01:13 1993 From: alex@vulcan.njit.edu (Alexander D. Stoyenko) Subject: CFP: Second IEEE Workshop on Real-Time Applications Second IEEE Workshop on Real-Time Applications July, 21-22, 1994, Washington, D.C. Description: This workshop (RTAW '94), run in conjunction with the annual Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '94), is the second in its series. The workshop is intended for industrial and government engineers and scientists, and for academic researchers involved with real-time technology and applications. We anticipate a wide range of presentations, panels and discussions, aimed at bridging the knowledge gap between practitioners and researchers, at fostering better links between the communities, and at ultimately bringing about a better understanding of problems related to transfer of existing technology. Areas of interest include, but are not limited to, data acquisition, C3I, complex systems engineering, domain specific methodology, medical, process control, manufacturing, energy, aerospace, petro-chemical, telecommunications, and pharmaceutical. General Chair: Alexander D. Stoyenko, New Jersey Institute of Technology Program Chair: Prabha Gopinath, Honeywell Steve Howell, Naval Surface Warfare Center Jiandong Huang, Honeywell Program Committee: Alan Burns, University of York John Cullyer, University of Warwick Paul Drongowski, Siemens Bill Farr, Naval Surface Warfare Center Mike Hinchey, University of Cambridge Phil Laplante, Fairleigh Dickinson University Tom Lawrence, Rome Labs Ted G. Lewis, Naval Postgraduate School Jim Oblinger, Naval Underwater Systems Center Mike Rodd, University of Wales Lonnie R. Welch, New Jersey Institute of Technology Mark Wilson, Naval Surface Warefare Center Victor Fay Wolfe, University of Rhode Island Janusz Zalewski, University of Texas, Permian Basin Submissions and Presentations: Presenters will be chosen on the basis of position papers. Each position paper should be 1 to 5 pages long, and will (1) clearly specify the problem with respect to the application environment, requirements, and external process characteristics, (2) present the solutions, and (3) discuss unsolved problems. Interested parties should submit General questions regarding the (electronic submission preferred) workshop, demonstrations or a position paper by March 15, 1994 to: exhibits should talk to: Prabha Gopinath Alexander D. Stoyenko Sensor and System Development Center Real-Time Computing Laboratory Honeywell Inc Department of Computer Science 3660 Technology Drive New Jersey Institute of Tech. MN65-2350 University Heights Minneapolis, MN 55418 Newark, NJ 07102 (612) 951-7511 Fax: (612) 951-7438 (201) 596-3366 Fax: 596-5777 gopinath_prabha@msmail.ssdc.honeywell.com alex@vulcan.njit.edu Sponsored by: IEEE CS TC on Real-Time Systems With much appreciated support from: Honeywell Naval Surface Warfare Center Office of Naval Research Real-Time Computing Laboratory at NJIT Institute for Systems Integration at NJIT ------------------------------------------------------------------------------ Message 12; Postmarked Fri Dec 17 09:04:49 1993 Subject: FORTE'94 - Call for Papers From: leue@iamsun.unibe.ch (Stefan Leue) ------------------------------------------------------------------------------- FORTE'94 ------------------------------------------------------------------------------- Call for Papers IFIP WG6.1 Seventh International Conference on FORMAL DESCRIPTION TECHNIQUES for Distributed Systems and Communications Protocols Berne, Switzerland, 4-7 October 1994 FORTE'94 will address formal techniques applicable to Distributed Systems such as Estelle, Lotos, SDL, ASN.1, Z, Automata, Logics, Process, Algebras, etc., and will include industrial applicability to Protocols and Distributed Systems. The conference will be a forum for presentation of the state of the art in theory, application, tools and industrialization of Formal Techniques and will provide an excellent orientation for newcomers. Research papers and industrial usage reports as well as proposals for tutorials (advanced technology semi- nars), poster displays and tool demonstrations on Formal Techniques are soli- cited, particularly in the following areas: * Design and implementation * Extensions of FDTs * FDT-based software engineering * Verification, validation and testing * Comparative analyses of FDTs * Tools & tool support * Practical usage experience and case * Examples and analyses of formal des- studies criptions * Corporate strategic and financial * Real-time and probability aspects consequences of FDT use * Feature and service interaction prob- lems FORTE'94 will be sponsored by IFIP WG6.1 in cooperation with ACM SIGCOMM(*) and IEEE Computer Society(*). Additional support will be provided by the corporate sponsors Alcatel STR, Siemens-Albis, ASCOM, Sun Microsystems and the Swiss PTT, as well as by the non-corporate sponsors Beer-Brawand Fund and the Swiss Natio- nal Science Foundation. The conference Proceedings will be published by the of- ficial publisher of IFIP WG6.1 Proceedings, presumably by Elsevier Science Pub- lishers B.V. (North Holland) in the IFIP Transactions C series, titled Formal Description Techniques, VII. FORTE'94 will start with one day of tutorials and advanced technology seminars on 4 October 1994 and will continue with three days of technical presentations (no parallel sessions). Tool presentations and poster displays will be offered throughout all four days of FORTE'94. The con- ference will be held in the main building of the University of Berne. (* = approval pending) Conference Chairperson: Dieter Hogrefe (University of Berne, CH) Conference Organization Chairperson: Stefan Leue (University of Berne, CH) Important dates: * 6 May 1994 Submission deadline (for more details see `Submission policy') * 11 July 1994 Notification of acceptance * 12 August 1994 Camera ready copy for participants proceedings due Program Committee: Paul Amer (University of Delaware, USA), Gregor v. Bochmann (University of Mon- treal, CDN), Tommaso Bolognesi (CNUCE, I), Ed Brinksma (University of Twente, NL), Ana Cavalli (INT, F), Jean-Pierre Courtiat (LAAS-CNRS, F), Piotr Dembinski (Polish Academy of Science, PL), Ove Faergemand (EURESCOM, D), Reinhard Gotz- hein (University of Kaiserslautern, D), Gerard Holzmann (AT&T Bell Labs, USA), Jean-Pierre Hubaux (EPF Lausanne, CH), Toshihiko Kato (KDD, J), Jan Kroon (PTT Research, NL), Luigi Logrippo (University of Ottawa, CDN), Nancy Lynch (MIT, USA), Lynn Marshall (BNR, CDN), Jan de Meer (GMD Fokus, D), Elie Najm (ENST, F), Linda Ness (Bellcore, USA), Ken Parker (Telecom Research Laboratory, AUS), Bjorn Pehrson (SICS, S), Claude Petitpierre (EPF Lausanne, CH), Juan Quemada (DIT ETSIT UPM, E), Harry Rudin (IBM Research, CH), Deepinder Sidhu (University of Maryland, USA), Richard Tenney (University of Massachusetts, USA), Ken Tur- ner (University of Stirling, UK), Umit Uyar (CUNY, USA), Son Vuong (University of British Columbia, CDN). Submission policy Solicited are: * Full original research papers and industrial usage reports, 5 copies, up to 16 pages (including bibliography), 12 point, single spaced, including an informative abstract as well as names and affiliations of all authors, and a list of keywords facilitating the assignment of papers to referees. The keyword list from wich authors may choose the keywords for their papers can be obtained by sending a request to the FORTE'94 Organization Committee or by copying the file `keyword.asc' by anonymous ftp as described below. A cover letter naming a contact author (including postal and email address) and indicating the preferred category (research paper or industrial usage report) in which the paper should be considered, is required. The cover letter should also state that the paper has not been presented in any lan- guage at another conference nor is it currently being considered by another conference or by a journal. Authors may propose a list of Program Commit- tee members whom they consider to be particularly qualified to review their submission. Only those papers presented by an author during FORTE'94 will be included in the final proceedings. * Proposals for tool demonstrations (including hard- and software require- ments), poster displays, tutorials and advanced technology seminars. All submissions should be sent to: Stefan Leue, FORTE'94 Organization Committee (address see below). For further information: FORTE'94 Organization Committee, University of Berne, P.O. Box 900, CH-3000 Bern 9, Switzerland Tel.: +41 31 631 ~4994 (Dieter Hogrefe), ~4430 (Stefan Leue), ~3965 (Fax), Email: forte94@iam.unibe.ch. To obtain additional information (Postscript copy of the Call for Papers, key- word list, etc.) please login via ftp on host `siam.unibe.ch' as user `anony- mous' and give your email address as password, then get the appropriate file from directory `forte94' (for particular filenames see file `README'). --------------------- Expression of Interest in FORTE'94 ---------------------- If you are interested in FORTE'94, please return the following information to the Conference Organization Chairperson (preferably by email to forte94@iam. unibe.ch): Name (including title): ....................................................... Affiliation: .................................................................. Address: ...................................................................... Tel: .................. Fax: ................. Email: ......................... o I would like to receive further information about FORTE'94 by MAIL or ELEC- TRONIC MAIL (please indicate), please put me on your mailing lists. o I intend to submit to FORTE'94 a research paper / an industrial usage report / a proposition for a tool demonstration / a proposition for a poster display (please indicate category), entitled: ................................................................... ............................................................................. provisional author list / presented by: ..................................... o I would be interested in offering a tutorial / an advanced technology seminar entitled: ................................................................... ------------------------------------------------------------------------------ Message 13; Postmarked Tue Jan 11 12:21:51 1994 From: Pier ten Kate Subject: CFP: RTD'94 ******************************************************************************* PLEASE FORWARD COPIES TO PEOPLE THAT MIGHT BE INTERESTED ******************************************************************************* RRRRRRRRR TTTTTTTTTTTTTTTT DDDDDDDDD ''' 9999 444 444 RRRRRRRRRR TTTTTTTTTTTTTTTT DDDDDDDDDD '' 999999999 444 444 RR RRR TTT DDD DDDD ' 999 999 444 444 RR RRR TTT DDD DDD 999 999 444 444 RRRRRRRRR TTT DDD DDD 999 999 444444444444 RRRRRRRR TTT DDD DDD 99999999 4444444444444 RR RRR TTT DDD DDD 999 444 RR RRR TTT DDD DDDD 999 444 RR RRR TTT DDDDDDDDDD 999 999 444 RR RRR TTT DDDDDDDDD 99999 444 ******************************************************************************* E-mail correspondence: rtd94@nikhef.nl Information through anonymous ftp: /pub/rtd94 at ftp.nikhef.nl Information through World Wide Web(WWW):file://ftp.nikhef.nl/pub/rtd94/info.html ******************************************************************************* RTD'94 ESONE's INTERNATIONAL CONFERENCE ON REAL TIME DATA WITH EMPHASIS ON DISTRIBUTED FRONT-END PROCESSING INSTITUTE for NUCLEAR RESEARCH - JINR - DUBNA, RUSSIA 27 JUNE - 1 JULY 1994 ******************************************************************************* FIRST CIRCULAR Updated 11 January 1994 ******************************************************************************* ANNOUNCEMENT AND CALL FOR PAPERS The International Conference on Real Time Data is a biennial meeting, bringing together engineers and scientists active in developments and applications of computer hardware and software for (laboratory) measurement systems. It offers a forum to present and discuss the state of the art of all aspects of real time data handling. The series of Real Time Data conferences is organized under auspices of ESONE (Committee for European Studies On Norms for Electronics). This committee is committed to stimulate in particular the cooperation between groups formerly separated by political barriers. The next conference, RTD'94, which emphasizes the challenges of distributed front-end processing of real time data, is organized by the Department of Computer Techniques and Automation (LCTA) of the Joint Institute for Nuclear Research (JINR) in Dubna, near Moscow, Russia. TOPICS BEING ADDRESSED INCLUDE * On-line control of laboratory systems * Control Systems for experiments * Software methodology and tools for real time applications * Object-oriented programming & Data bases * Simulation and modeling for real time systems * Advanced hardware for triggering, filtering and distributed processing * Data acquisition for complex measurement systems * Front-end computer architectures * Transmission and processing of large data volumes * Bus and network systems for distributed data processing * Parallel and multiprocessor based systems * CAE for real time applications. JINR The Joint Institute for Nuclear Research (JINR) is an international research center, located at the quiet and pleasing town of Dubna, 130 km North of Moscow on picturesque wooded banks of the great Russian river Wolga. Dubna has a comfortable summer climate (temperatures 20 - 30 degrees Celcius). It can be reached by direct railway (in about 2 hours) from Moscow. ESONE The Committee for European Studies On Norms for Electronics (ESONE) is a non-profit organization of 58 European research institutes plus affiliated organizations. ESONE member laboratories come from 15 European countries. The aims of ESONE are to formulate, recommend and promulgate practices among its member laboratories, especially in areas where suitable international or regional standards do not exist, for application in the design and utilization of electronic equipment and modular computing systems. ORGANIZING COMMITTEE: Rudolf Pose (JINR/Dubna) (Chairman) Pier U. ten Kate (ESONE/NIKHEF/Amsterdam) (Vice-Chairman) Tatyana S. Donskova (JINR/Dubna) (Conference Secretary) Vadim M. Kotov (JINR/Dubna) (Scientific Secretary) Ed W.A. Lingeman (EPS/Amsterdam) (Treasurer) Phil Ponting (ESONE/CERN/Geneva) Roman Trechcinski (IPJ/Swierk/Warsaw) Alexei Romanov (JINR/Dubna) INTERNATIONAL PROGRAM COMMITTEE H. A. Beasley Jr. (IEEE) J. Biri (KFKI/Budapest) A. Bogaerts (CERN/Geneva) A. Borgers (Univ. Utrecht) F. Cesaroni (INFN/Rome) J. Charuba (IPJ/Warsaw) P. Clout (Vista C.S.Inc) Ph. Farthouat (CERN/GENEVA) D. Gustavson (SLAC/Stanford) V. Kotov (JINR/Dubna) M. Livny (UW/Madison) W. Lourens (Univ. Utrecht) J. Lukacs (KFKI/Budapest) G. McPherson (RAL/Rutherford) H. Mueller (CERN/Geneva) K.D. Mueller (KFA/Juelich) M. Nadachowski (IWS/Warsaw) D. Notz (DESY/Hamburg) Ph. Ponting (CERN/Geneva) D.R. Quarrie (LBL/Berkeley) R. Pose (JINR/Dubna, chairman) R. Rausch (CERN/GENEVA) W. von Rueden (CERN/Geneva) W. Schoeps (PSI/Villingen) T. B. Skaali (Univ. Oslo) G. Stefanini (CERN/GENEVA) A. Sytin (IHEP/Protvino) H. Verweij (CERN/Geneva) CONFERENCE LANGUAGE The conference language will be English. A simultaneous translation to the Russian language will be provided. CONTRIBUTED PAPERS The organizers of RTD'94 call for papers on the above mentioned topics. Submitted papers will be subject to selection for oral or poster presentation. Camera-ready (summaries of) contributions, of one page up to six pages, can be submitted (preferentially by E-mail in LaTeX format, see guidelines below). CONFERENCE BOOK A Conference Handbook will be available at the conference. It will contain abstracts of invited talks and (summaries of) accepted contributions. ACCOMMODATION AND CONFERENCE FEE (package deal) An "All-in arrangement" which includes the conference fee, full-board accommodation in one of the two hotels of JINR, local transportation, meals, coffee, tea, refreshments during conference days and the social program, is made at a price of US$ 500.-. Advance payment before 1 May 1994 of a minimum amount of US$ 100.- is required. When the whole fee is transferred at once before 1 May '94, the fee is reduced to US$ 450.-. The remaining amount is expected to be paid before 1 June '94. Any unpaid amount has to be settled at the registration at JINR, Dubna. In case of cancellation before 13 June 1994, refunding will be possible with subtraction of administrative costs. Special fee arrangements are foreseen for participants coming from member states of the Joint Institute JINR. These arrangements will be made by the Local Conference Secretariat at Dubna. METHODS OF PAYMENT Payments should be made in US$ by means of one of the following methods: Transfer to JINR account No. 17008787, RTD94, Vneshekonom Bank, Dubna Russia. IMPORTANT DATES Submission of contributions dead line: 4 February 1994 Notification on the acceptance of contributions for oral or poster presentation: 1 May 1994 Reduced fee dead line: 1 May 1994 Advance payment dead line: 1 June 1994 Second (and last) circular (before): 1 June 1994 Opening of the conference: 27 June 1994 CONFERENCE PROGRAM The conference will include: * Invited Review Talks (45 minutes) * Invited Topical Talks (30 minutes) * Selected Contributed Talks (15 minutes) * Poster Presentations. All talks will include discussion time. SUPPORTING ORGANIZATIONS Support has already been committed by: - CERN, Geneva, Switzerland, - Department of Computer Topics in Physics of the University of Utrecht, The Netherlands, - Esone, Geneva, Switzerland, - EPS Interdivisional Group on Computational Physics, Switzerland - Europhysics Foundation, Amsterdam, The Netherlands, - IEEE Standards Department, USA - National Institute for Nuclear and High Energy Physics (NIKHEF), The Netherlands. - Polish Camac Committee, Warsaw, Poland. A number of other institutions and companies are considering to co-sponsor the conference. REGISTRATION Registration can be accomplished using the registration questionnaire at the end of this circular, with strong preference to be sent by E-mail. This reduces errors and allows the information to be processed automatically. The E-mail version of this circular can be obtained through anonymous ftp or requested through E-mail. Formal registration is made upon reception of the advance payment. Because of limitation of the number of participants, early registration is recommended. CORRESPONDENCE E-mail (international conference address): rtd94@nikhef.nl This address has to be used for ALL E-mail correspondence. Messages will be forwarded to the organizers concerned. All other correspondence can be addressed to: NIKHEF International Conference Secretariat RTD'94 attn. P.U. ten Kate or E.W.A. Lingeman P.O.Box 4395 NL - 1009 AJ Amsterdam Fax: + 31 20 592 2165 Telex: 11538 iko nl or to the JOINT INSTITUTE FOR NUCLEAR RESEARCH - JINR International Department Local Conference Secretariat RTD'94 attn. Mrs. T.S. Donskova Dubna, Moscow Region 141980, Russia. Fax Local Conference Secretariat: + 7 095 975 2381 Telex: 911621 dubna su Direct E-mail address of the Local Conference Secretary: donskova@ypr.jinr.dubna.su GENERAL INFORMATION The most recent general information on the conference (including updates of this circular) can be obtained as follows: - via World Wide Web using "www file://ftp.nikhef.nl/pub/rtd94/info.html" - by anonymous ftp from directory /pub/rtd94 at node ftp.nikhef.nl - through E-mail request to rtd94@nikhef.nl The second and last circular, which will contain the conference program and detailed information on transportation and accommodation, will be issued by E-mail during the second half of May 1994 to registered participants only. TRAVEL ARRANGEMENTS Arrangements will be made with major flight operators. More information through anonymous ftp and E-mail. VISAS To get entry visas in due time, participants should inform the Conference Secretariat (preferably) by E-mail (see registration questionnaire). The JINR directorate will send participants an official message with which one can apply for the visas. Note that the visas must be valid for Moscow and Dubna. GUIDELINES FOR AUTHORS OF CONTRIBUTED PAPERS AND POSTERS The conference handbook will contain abstracts of invited talks and (summaries of) contributed papers and posters. At least one author of a submitted manuscript must be participant of the conference. Authors are required to send a LaTeX version or two original camera-ready copies of their contribution before 1 April 1994 to both the International address in Amsterdam and the Dubna address of the Local Organizing Committee. The contributions should be in English. The text must be confined to an area of width 160 mm, and height 240 mm. It should have single line spacing and 12-point lettering. In case of typed documents, quality white bond paper of A4 size (210mm x 297mm) should be used. ------------------------------- cut here -------------------------------------- RTD'94 REGISTRATION QUESTIONNAIRE ESONE's INTERNATIONAL CONFERENCE ON REAL TIME DATA, to be held at JINR in Dubna, Russia, 27 June - 1 July 1994. This E-mail questionnaire can be obtained through World Wide Web file://ftp.nikhef.nl/pub/rtd94/info.html anonymous ftp in /pub/rtd94 at ftp.nikhef.nl E-mail request to rtd94@nikhef.nl FOR AUTOMATIC PROCESSING, IF POSSIBLE, PLEASE USE E-MAIL FOR REGISTRATION - PLEASE FILL-OUT THE FORM BY ADDING YOUR INFORMATION BEHIND THE ":" - PLEASE DO NOT MODIFY OR DELETE ANY ITEMS BELOW - SUBMIT THE FILLED-OUT FORM TO rtd94@nikhef.nl Please register me for Real Time Data '94. My registration will become formal upon the reception of my advance payment. Family name: First name(s) and further initials: Title (Prof/Dr/..): Planned arrival date: Planned departure date: Organization: To be reached at (University/Institute/Company): Address: City: Postal/Zip code: State: Country: Phone: Fax: Telex: E-mail: I intend to submit a paper/poster (yes/no): Preliminary Title: PAYMENT: The all-in fee (including full board accommodation) amounts to US$ 500 (reduced to US$ 450 when paid before 1 May '94). Advance payment before 1 May 1994 of a minimum amount of US$ 100.- is required. The remaining amount is expected before 1 June '94. In case of cancellation before 13 June '94, refunding is possible with administration costs subtracted. Expected amount and date of transfer of advance payment: Expected amount and date of transfer of the remaining amount: I suggest to include the following colleagues of mine in the mailing list (repeat as often as needed): Name: Electronic mail: I wish to make the following remark(s) concerning the conference: ------------------------------------------------------------------------------- VISAS Information required for participants who need entry visas: Personal address (street/city/state/postal code): Place/country and date of birth: Nationality: Passport (number/date): ------------------------------------------------------------------------------ Message 14; Postmarked Wed Jan 19 21:11:08 1994 Subject: CFP: Workshop on Architectures for Real-Time Applications (ISCA94) From: Parameswaran Ramanathan CALL FOR PARTICIPATION in WORKSHOP ON ARCHITECTURES FOR REAL-TIME APPLICATIONS April 17 1994 Westin Hotel, Chicago, Illinois Scope ----- High performance and low cost of commercial microprocessors make them attractive for use in real-time systems. However, some of the architectural features in these processors pose certain unique problems for real-time applications. Solutions to such problems require collaboration between researchers and practitioners in the areas of real-time system and computer architecture. The purpose of this workshop is to provide a forum to discuss the impact of the architectural features commonly available in commercial microprocessors on real-time systems and to identify solutions that alleviate the problems due to these architectural features. The workshop will be held in conjunction with the 1994 International Symposium on Computer Architecture in Chicago, Illinois. The format of the workshop will be a keynote address, short paper presentations, and panel discussions. Topics of interest to the workshop includes * Impact of architectural features such as memory hierarchies, pipelining, and multiple functional units on real-time applications * Special architectural support needed for real-time applications e.g., interrupt handling and predictable memory access. * Architectural support for real-time communication * Fault-tolerant architectures * Non-intrusive monitoring * Distributed architectures Workshop Organizers ------------------- Parmesh Ramanathan, University of Wisconsin--Madison Kang Shin, University of Michigan, Ann Arbor Submissions ----------- Please submit five copies of your position paper by February 15, 1994 to: Parmesh Ramanathan, WARTA Department of Electrical and Computer Engineering University of Wisconsin--Madison 1415 Johnson Drive Madison, WI 53706--1691. Submissions should not exceed 2500 words (or about 10 double spaced pages). Please include email address, fax number, and a contact address in your submission. Authors will be notified of their acceptance by March 15, 1994. Selected papers will be considered for publication in either SIGARCH Newsletter or a special issue of IEEE Parallel and Distributed Systems Magazine. Proposals for panel discussions and/or a special session on a topic of interest to both real-time and computer architecture communities will also be considered. Submit such proposals to the above address by email (parmesh@ece.wisc.edu). ------------------------------------------------------------------------------ Message 15; Postmarked Fri Jan 21 07:23:35 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: [ysryu@june.snu.ac.kr: ] Return-Path: Date: Fri, 21 Jan 94 15:17:00+120 From: ysryu@june.snu.ac.kr (Ryu YeonSeung) To: Bestavros@cs.bu.edu Dear Azer Bestavros. I want to receive news letters from IEEE-CS TC-RTS. would you help me? Thanks in advance. YeonSeung Ryu (ysryu@june.snu.ac.kr) Postmarked Mon Jan 24 16:24:09 1994 From: mm@cs.ucsd.edu (Multimedia Project) Sender: best@cs.bu.edu (Azer Bestavros) Subject: CFP: Special issue of COMPUTER COMMUNICATIONS =========================================================================== CALL FOR PAPERS COMPUTER COMMUNICATIONS: SPECIAL ISSUE ON MULTIMEDIA STORAGE AND DATABASES =========================================================================== It is widely recognized that the success of a multimedia computer system is dependent of the ability to integrate diverse technical components encompassing data communications, data compression, data storage and user interfaces. For example, current video-on-demand (VOD) deployments for broadcast entertainment provide only the most basic of interactive features due to system complexity. Future multimedia systems must support true-VOD interaction though a tighter coupling between communications and storage architectures. This special issue for Computer Communications will focus on the storage and database aspects of multimedia systems and their relationship to other system components. To this end we seek original research results on all aspects of databases, storage and access for multimedia data. Topics include, but are not limited to: o physical organizations supporting continuous media - delay and bandwith optimization - multimedia data synchronization o logical organizations for multimedia data - indexing - data representations - content-based retrieval - random access - query languages for multimedia - metadata management o video-on-demand architectures - multimedia data servers - RAID for video - data distribution for large multimedia databases - network abstractions for data access and retrieval IMPORTANT DATES: Submissions due: April 1, 1994 Author notification: June 30, 1994 Publishing date: December 1994 AUTHOR INFORMATION: Authors are requested to submit six copies (in English) of their manuscript (maximum of 25 pages including figures, minimum of 4 lines/inch, and minimum of 11pt font) to the guest editor. Submissions should include a separate title page including the author name(s), affiliation(s), and address(es) with email. The body of the manuscript should be preceded by an abstract of less than 250 words, and up to five keywords for indexing. Original papers, not published elsewhere or not simultaneously submitted for publication elsewhere, will be considered. Papers previously appearing in conference proceedings will be considered if stated as such and have significant revision. Submit papers to the guest editor: Prof. T.D.C. Little Department of Electrical, Computer and Systems Engineering Boston University 44 Cummington Street Boston, MA 02215 USA (617) 353-9877, (617) 353-6440 fax tdcl@flash.bu.edu Postmarked Mon Feb 7 10:19:30 1994 From: Michael.Hinchey@cl.cam.ac.uk Subject: ZUM'94 Program Call for Participation ZUM'94 8th Z User Meeting Tutorials: 27 - 28 June, 1994 Main meeting: 29 - 30 June, 1994 Educational Issues: 1 July, 1994 St. John's College University of Cambridge England Organized by the Z User Group in association with BCS FACS Sponsored by BT, Logica Cambridge Limited & Praxis Supported by the ESPRIT ProCoS-WG Working Group (8694) Programme committee: Rosalind Barden, Logica, Cambridge Jonathan Bowen, Oxford Univ. Elspeth Cusack, BT Neville Dean, Anglia Polytechnic Univ. David Duce, Rutherford Appleton Lab. Anthony Hall, Praxis Brian Hepworth, British Aerospace Howard Haughton, Lloyd's Register Mike Hinchey, Univ. of Cambridge Darrell Ince, Open Univ. Jonathan Jacky, Univ. of Washington, USA Peter Lupton, IBM Hursley John McDermid, Univ. of York Sylvio Meira, Univ. of Pernambuco, Brazil John Nicholls, Oxford Univ. Gordon Rose, Univ. of Queensland, Australia Chris Sennett, DRA Malvern David Till, City Univ. Sam Valentine, Univ. of Brighton Jim Woodcock, Oxford Univ. John Wordsworth, IBM Hursley ZUM'94, the 8th Z User Meeting, is to be held at St. John's College, University of Cambridge, on 29th and 30th June 1994, preceded by two days of tutorials covering introductory Z, object-oriented Z specification, B, the B-method and B-toolkit, project management with formal methods, and real-time system development. An Educational Issues session on 1st July provides a forum for educators and others to discuss issues relating to the teaching of formal methods, in general, and Z, in particular. The meeting will also include tool demonstrations and displays by publishers. A small display of computing memorabilia is also planned. PROVISIONAL PROGRAMME Wednesday 29th June 1994 09:00 Registration and coffee 10:30 Welcome 10:30 Opening remarks -- Jonathan Bowen, Oxford Univ., UK Conference Chair 10:35 INVITED SPEAKER "Fermenting and Distilling" -- Robert Worden, Logica Cambridge Limited, UK 11:00 Applications Chair: Anthony Hall 11:00 INVITED SPEAKER Z and Defence Standards (provisional title) -- Dr. Jim Woodcock, Oxford Univ., UK 11:45 "Formal Specification of Telephone Features" -- Peter Mataga & Pamela Zave, USA 12:15 "A tale of two paradigms: Formal Methods & Software Testing" -- David Carrington & Philip Stocks, Australia 12:45 Lunch 14:00 Education and Z Standards Chair: Neville Dean 14:00 INVITED SPEAKER "Integrating Formal Methods into a Professional Master of Software Engineering Program" -- Prof. David Garlan, Carnegie-Mellon Univ., USA 14:45 Standards Panel Session -- chaired by John Nicholls, Oxford Univ., UK 15:30 Tea 16:15 Object-Orientation I Chair: Elspeth Cusack 16:15 "An Object-Oriented Development Framework for Z" -- Graeme Smith, Australia 16:40 "Z for Managed Objects" -- Clazien Wezeman & Tony Judge, UK 17:05 "Specifying and Interpreting Class Hierarchies in Z" -- Anthony Hall, UK 17:30 End of Sessions 19:00 AGM of the Z User Group 19:30 Drinks 20:00 Conference Dinner in the 16th century Dining Hall of St. John's College. AFTER-DINNER SPEAKER Professor Maurice V. Wilkes, FRS, Olivetti Research Ltd., and Professor Emeritus of the University of Cambridge, on the occasion of the 45th anniversary of the EDSAC meeting (first European computer conference) hosted by him in Cambridge, June 1949. Thursday 30th June 1994 08:00 Breakfast 09:15 Semantics Chair: Jonathan Bowen 09:15 INVITED SPEAKER "Z and HOL" -- Dr. Mike Gordon, Univ. of Cambridge, UK 10:00 "Z and Natural Semantics" -- Peter Baumann, Switzerland 10:25 "Towards Correct Executable Semantics for Z" -- Peter Breuer & Jonathan Bowen, Spain/UK 10:50 Coffee 11:30 Methods Chair: Sam Valentine 11:30 "Towards a Z Method: Axiomatic Specification in Z" -- Jon Hall & John McDermid, UK 11:55 "Software Quality Assurance using the SAZ Method" -- Keith Mander, Fiona Polack & Mark Whinston, UK 12:20 "Animation of Object-Z Specifications with a Set-Oriented Prototyping Language" -- Wilhelm Hasselbring, Germany 12:45 Lunch 14:00 Concurrency Chair: Mike Hinchey 14:00 INVITED SPEAKER "TLZ" -- Dr. Leslie Lamport, Digital Systems Research Center, USA 14:45 "Visualising Concurrent Z Specifications" -- Andy Evans, UK 15:10 "Specifying Real-Time Systems with Z and the Duration Calculus" -- Marcin Engel, Poland 15:35 Tea 16:15 Object-Orientation II Chair: Rosalind Barden 16:15 "An Object-oriented Data Model Supporting Multi-Methods, Multiple Inheritance and Static Type Checking: A Specification in Z" -- Daniel K. C. Chan, UK 16:40 "Producing Z Specifications from Object-oriented Analysis" -- Jonathan Hammond, UK 17:05 Closing remarks and best paper vote -- Jonathan Bowen & Anthony Hall 19:00 Dinner General enquiries about the meeting may be addressed to: Jonathan Bowen Conference Chair, ZUM'94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK. Tel: +44-865-283512 (direct), 283521 (secretary) Fax: +44-865-273839 or 273819 Email: Jonathan.Bowen@comlab.ox.ac.uk TUTORIALS The main sessions of ZUM'94 are to be preceded by two days of tutorials covering introductory Z, object-oriented Z specification, B, the B-method and B-toolkit, project management with formal methods, and real-time system development. You are welcome to attend the tutorials even if you're not attending the main ZUM'94 sessions. Please note that places cannot be guaranteed for bookings received after June 1st. Limited accommodation is available at St. John's College on a first-come first-served basis for those wishing to avail of this (see "RATES AND BOOKING" below). Provisional Tutorial Timetable Monday 27th June 1994 Morning: Tutorial A : "Formal Methods for MIS: The B-Method & B-Toolkit" -- John Wordsworth, IBM UK Laboratories, Ltd. Afternoon: Tutorial B : "Formal Development in B: The application of B to a Patient Data Monitoring System" -- Howard Haughton & Kevin Lano Lloyd's Register Full Day: Tutorial C : "Constructing Predictable, Dependable Real-Time Systems" -- Alexander D. Stoyenko, New Jersey Institute of Technology Tuesday 28th June 1994 Morning: Tutorial D : "An Introduction to Z" -- John Wordsworth, IBM UK Laboratories, Ltd. Afternoon: Tutorial E : "Setting up a Formal Methods Project" -- John Nicholls, Oxford University PRG Full Day: Tutorial F : "Specifying Object-Oriented Systems in Z" -- Anthony Hall, Praxis Further details of tutorials and other local arrangements (including organization of tool demonstrations and displays by publishers) are available from: Mike Hinchey Tutorial Chair, ZUM'94 University of Cambridge Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK. Tel: +44-223-334419 (direct), 334600 (laboratory) Fax: +44-223-334678 Email: Mike.Hinchey@cl.cam.ac.uk EDUCATIONAL ISSUES SESSION Friday 1st July 1994 09:15 - 11:00 Presentation of papers on teaching Formal Methods (Details to be confirmed) 11:00 - 11:30 Coffee 11:30 - 12:30 Discussion "Teaching Formal Methods - the Way Forward" Chair: Neville Dean, Anglia Polytechnic Univ., UK 12:30 Lunch For further details contact: Neville Dean Educational Issues, ZUG'94 Anglia Polytechnic University Cambridge CB4 4ES, UK. Tel: +44-223-63271 Fax: +44-223-352979 Email: cdean@va.anglia.ac.uk RATES AND BOOKING Main Sessions: ------------- A conference package is available, including entry to both days of the main session, overnight accommodation in St. John's College on the night of 29th June, breakfast and dinner on June 30th, lunches, morning coffee and afternoon tea on both days, the conference banquet on June 29th, entry to tool demonstrations and displays, and a copy of the published proceedings (Springer-Verlag Workshops in Computing) which will be available at the Conference. This complete package costs 200 pounds (190 pounds to members of BCS-FACS). Please note that accommodation in St. John's College is offered on a first-come first-served basis. The package without accommodation on 29th June costs 175 pounds (165 pounds to BCS-FACS members). Limited accommodation will be available at St. John's College on the nights of 27th, 28th and 30th June, at a rate of 40 pounds per person per night, for those attending tutorials and/or the education session. Partners are welcome to attend the Conference banquet at an additional charge of 50 pounds per head. Places at the banquet are allocated on a first-come first-served basis. Rates for Tutorials: ------------------- Tutorials A, D or E (half-day) : 65 pounds each 40 pounds each (academic rate) Tutorial B : 65 pounds Tutorial C or F (full-day) : 120 pounds each Tutorials A & B (full-day) : 120 pounds 105 pounds (academic rate) Tutorials D & E (full-day) : 120 pounds 80 pounds (academic rate) Half-day tutorials include refreshments and handouts. Full-day tutorials include morning and afternoon refreshments, handouts and a buffet lunch. Education Session: ----------------- Attendance at the Education Session on Friday 1st July costs 25 pounds, and includes morning coffee and lunch. Booking: ------- Booking forms for all ZUM'94 activities and responses to registration queries are available from: Debi Kearnery Logica Cambridge Limited Betjeman House, 104 Hills Road, Cambridge CB2 1LQ, UK. Tel: +44-223-66343 Fax: +44-223-322315 Email: debik@logcam.co.uk VENUE ZUM'94 takes place in the university city of Cambridge. The University is the second oldest English-speaking university, having been founded in the early 13th century. The University started as a number of monastic houses built where the first bridge spanned the River Cam. The Hospital of St. John, an Augustinian monastery stood on the present site of St. John's College certainly by the beginning of the 13th century. Hugh of Balsham, Bishop of Ely, tried to introduce scholars to the hospital in an attempt to establish it as the first "college". Disagreements between the monks and academics caused the bishop to abandon the idea, and move the academics to what is now Peterhouse, Cambridge's first college, believed by many to be the model for Porterhouse in Tom Sharp's novel. By the 16th century, the Hospital of St. John had fallen into decay. St. John Fisher, then Bishop of Rochester, and later Chancellor of the University, persuaded Lady Margaret Beaufort (mother of King Henry VII and grandmother of Henry VIII) to fund the building of "The College of St. John the Evangelist". Two years after her death, Fisher obtained permission from Henry VIII, the Pope, and the Bishop of Ely to use Lady Margaret's benefaction to build a new college. Work on the college began on 9th April, 1511. In area, St. John's College is the largest college of the University; in terms of numbers, it is second in size to Trinity College. The buildings of the college vary greatly, from the Tudor Great Gate built in 1516, to the magnificent ``Gothick'' (Neo-Gothic) 1820s New Court on the left-bank of the Cam, linked to the college buildings on the right bank via the world-famous Bridge of Sighs. The college's "new" chapel was built between 1866 and 1869; the Fisher Building, where most of the conference sessions will be held, was built in 1987, while the new library was opened in January 1994. The University now has 31 colleges in all, and a total of 14,500 students. The City of Cambridge (having been granted an Honorary City Charter by the present Queen) is a thriving market town and one of the major cities of East Anglia. It claims to be England's second biggest tourist attraction (after London), its population increasing by up to 400% during the summer months. It is a city of culture and great beauty; please take time to explore it and its environs. Cambridge can be easily reached by train from London (trains depart Liverpool Street and Kings Cross stations every 20 minutes) and other major UK cities, or by coach from Heathrow, Gatwick, Luton and Stanstead airports (coaches depart approximately every hour). The city is also easily accessed via road, although traffic is heavy. Parking in the city is very scarce and public car parks are expensive (up to 12 pounds per day) and busy. A car is not really required as most places of interest are within walking distance. A few places such as the city of Ely, or the American Cemetery in Madingley are accessible by train and/or bus at reasonable rates. For those arriving by car, parking spaces are available at the rear of St. John's College (off Queen's Road) at 5 pounds per day. Please book a parking space when booking for the meeting; as before, spaces are allocated on a first-come first-served basis. Postmarked Thu Feb 17 10:58:59 1994 From: heitmeye@itd.nrl.navy.mil (Connie Heitmeyer) Subject: WRTP'94 (REAL TIME PROGRAMMING) ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** __________________________________________________________________ | | | 19th IFAC/IFIP Workshop on | | | | REAL TIME PROGRAMMING | | | | WRTP'94 | | | | Isle of Reichenau, Lake Constance, Germany, 22--24 June 1994 | | | | | | ANNOUNCEMENT AND PROGRAMME | |________________________________________________________________| SPONSOR International Federation of Automatic Control (IFAC), Technical Committee on Computers, Working Group on Real Time Programming CO-SPONSOR International Federation of Information Processing (IFIP), Working Group 5.4 on Industrial Software Quality and Certification INTERNATIONAL PROGRAMME COMMITTEE (IPC) Chair: W.A. Halang FernUniversitaet, Faculty of Electrical Engineering D-58084 Hagen, Germany Tel.: +49-2331-987-372 Fax: +49-2331-987-375 E-mail: wolfgang.halang@fernuni-hagen.de Members: S. Bologna, I M. Colnaric, SLO W. Ehrenberger, D C. Heitmeyer, USA Ph. Laplante, USA H. Lawson, S K. Man, HK L. Motus, Estonia J. de la Puente, E M. Rodd, GB W. Schaufelberger, CH H. Schweinzer, A L. Simoncini, I J. Skubich, F J. Szlanko, H T. Szmuc, PL H. Wedde, D (Panel chair) NATIONAL ORGANISING COMMITTEE (NOC) Chair: K. Mangold, ATM Computer GmbH, Konstanz Members: R. Henn H. Rzehak Th. Tempelmeier H. Weber KEYNOTE SPEAKER A.D. Stoyenko, USA PARTICIPATION Attendance will be limited to approx. 60 active workers in the field. Participants are requested to register as soon as possible. Registrations are considered on a first-come-first-served basis. LOCATION The Reichenau is an island in Lake Constance, the latter being shared by Austria, Germany and Switzerland. The island can easily be reached by frequent boat services from Konstanz, which is also the closest major train station. The most conveniently located and nearest international airport is Zurich. There are frequent train departures from the station located in the airport to Konstanz. LANGUAGE English will be the working language of the workshop and will be used for the proceedings, the presentations and discussions. No simultaneous translation will be provided. CORRESPONDENCE All correspondence should be addressed to the IPC chairman. Electronic mail should be used whenever possible. ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 PROGRAMME Session 1: DISTRIBUTED SYSTEMS ------------------------------ 1. An Architecture of a MAP Stack for Real Time Applications K. Vijayananda, G. Berthet, and R. Prasad 2. Spatio-Temporal Constraints in Fieldbus: Requirements and Current Solutions J.-D. Decotignie and P. Raja 3. Transport Protocol for Real-time Multimedia Communication J.M. Ng and N.T.C. Yu 4. An Environment for Distributed Prototyping of Real Time Systems A. Alonso, J.C. Duenas, G. Leon, and J.A. de la Puente Session 2: SCHEDULING --------------------- 1. Least-Space-Time-First Scheduling Algorithm: A Policy for Non-Simple Real-Time Tasks in Multiple Processor Systems B.-C. Cheng and A.D. Stoyenko 2. A Schedulability Algorithm for Data Flow, Hard Real Time Distributed Programs R. Davoli and L.-A. Giachini 3. Integrating Best Effort and Fixed Priority Scheduling N.C. Audsley, A. Burns, R.I. Davis, and A.J. Wellings 4. Configuration of Real-Time Applications A.-M. Deplanche and D. Creusot Session 3: VERIFICATION AND VALIDATION -------------------------------------- 1. Two Proof Methods for the GRAFCET Language P. Le Parc, B. Queguineur, and L. Marce' 2. Comparing RTL and FNLOG-Timing Properties in Real-Time Systems A. Sowmya 3. Hybrid Systems Modelling and Validating Using GRAFCET and State-Charts; The Cruise Control Application Case D. Razafindramary, R. Boissier, B. Dima, and T. Soriano 4. Towards Recursive Block Diagrams P. Caspi Session 4: SOFTWARE DEVELOPMENT ------------------------------- 1. Mapping PEARL's High-Level Real Time Constructs to a C Run-Time Library under Real Time UNIX R. Belschner, C.E. Pereira, and P. Schlatter 2. Visual Methods in Real-Time Programming M.G. Hinchey 3. A Distributed Task-Oriented Real-Time Programming System G. Schrott 4. Concepts for a Real-Time Structured Database Query Language (RT-SQL) P.J. Fortier Session 5: OPERATING SYSTEMS ---------------------------- 1. MMOSS: Soft Real-Time Operating System Support in a Multimedia Communication Subsystem C. Fan 2. BED: A Multithreaded Kernel for Embedded Systems P. Burgess, M.J. Livesey, and C. Allison 3. On Real-Time Operating Systems: How to Compare Performance? M. Maechtel 4. An Architecture Supporting Real-Time Programming and Implementations S. Mostert Session 6: CONCEPTS AND ARCHITECTURES ------------------------------------- 1. Conceptual Design of an Architecture for Hard Real Time Computing H.-P. Meske 2. Synchronized UTC for Distributed Real-Time Systems U. Schmid 3. Data Acquisition for Real-Time Process Control Systems M.D. van der Laan 4. Task-Configuration of a Pearl-Based Programmable Controller for Process-Automation G. Thiele, H.J. Beestermoeller, L. Renner, M. Dorno, D. Popovic ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 REGISTRATION FORM Please send this form before 1 March 1994 Name: ______________________________________ First name: ________________ Position: _______________________________________________________________ Organisation: ___________________________________________________________ Address: ________________________________________________________________ ________________________________________________________________ ________________________________________________________________ Postal Code: ______________City: ________________________________________ Country: ________________________________________________________________ Fax: __________________________ Phone: _____________________________ E-mail: ________________________________________________________________ I shall come : ___ alone ___ with ___ accompanying person(s) I want to share a double room with: _____________________________________ Registration fee: DM 500 in a single room DM 400 sharing a double room DM 300 for conference, lunches, and social programme only The registration fee includes lodging and full board for 2 days, conference, preprints, and social programme. Students and participants from Central and Eastern European and from developing countries may apply for a modest discount. Please book early, because the capacity of the conference hotel is limited and other hotels are slightly more expensive. Please send your remittance in form of a crossed cheque (may be a Eurocheque) in German marks only to: Prof. W. A. Halang, Fernuniversitaet, D-58084 Hagen, Germany Date: __________ ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** ------------------------------------------------------------------------------ Message 16; Postmarked Fri Feb 18 10:44:40 1994 From: Parmesh Ramanathan Subject: Worskhop on Architectures for Real-time Applications CALL FOR PARTICIPATION in WORKSHOP ON ARCHITECTURES FOR REAL-TIME APPLICATIONS April 17 1994 Westin Hotel, Chicago, Illinois Scope ----- High performance and low cost of commercial microprocessors make them attractive for use in real-time systems. However, some of the architectural features in these processors pose certain unique problems for real-time applications. Solutions to such problems require collaboration between researchers and practitioners in the areas of real-time system and computer architecture. The purpose of this workshop is to provide a forum to discuss the impact of the architectural features commonly available in commercial microprocessors on real-time systems and to identify solutions that alleviate the problems due to these architectural features. The workshop will be held in conjunction with the 1994 International Symposium on Computer Architecture in Chicago, Illinois. The format of the workshop will be a keynote address, short paper presentations, and panel discussions. Topics of interest to the workshop includes * Impact of architectural features such as memory hierarchies, pipelining, and multiple functional units on real-time applications * Special architectural support needed for real-time applications e.g., interrupt handling and predictable memory access. * Architectural support for real-time communication * Fault-tolerant architectures * Non-intrusive monitoring * Distributed architectures Workshop Organizers ------------------- Parmesh Ramanathan, University of Wisconsin--Madison Kang Shin, University of Michigan, Ann Arbor Submissions ----------- Please submit five copies of your position paper by February 28, 1994 to: Parmesh Ramanathan, WARTA Department of Electrical and Computer Engineering University of Wisconsin--Madison 1415 Johnson Drive Madison, WI 53706--1691. Submissions should not exceed 2500 words (or about 10 double spaced pages). Please include email address, fax number, and a contact address in your submission. Authors will be notified of their acceptance by March 15, 1994. Selected papers will be considered for publication in either SIGARCH Newsletter or a special issue of IEEE Parallel and Distributed Systems Magazine. Proposals for panel discussions and/or a special session on a topic of interest to both real-time and computer architecture communities will also be considered. Submit such proposals to the above address by email (parmesh@ece.wisc.edu). ------------------------------------------------------------------------------ Message 17; Postmarked Fri Feb 18 13:18:06 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: CFP: 13th Symposium on Reliable Distributed Systems (SRDS-13) CALL FOR PAPERS 13th Symposium on Reliable Distributed Systems Oct. 25 (Tues), 1994 - Oct. 27 (Thurs), 1994 Dana Point, California SPONSORS: IEEE Computer Society TC on Distributed Processing IEEE Computer Society TC on Fault-Tolerant Computing IFIP WG 10.4 on Dependable Computing THEME: The theme of the symposium is reliability of distributed and parallel systems, including distributed applications, distributed operating systems, and distributed databases. Papers are sought that address the reliability, availability, security, and performance aspects of distributed and parallel systems. Papers that deal with experimental results, testbeds, development, and data from operational systems are of particular interest. TOPICS OF INTEREST: The following topics, as they relate to distributed and parallel systems, are of interest to the Symposium: - System-Level and Software Fault Tolerance - Fault-Tolerance Formalism - Database Systems - Operating Systems - Security - Experimental Systems with High Reliability Mechanisms - Object-Oriented Systems - Transaction Processing Systems - Performance and Reliability Modeling - Programming Language Support for Reliable Computing - Real-Time Fault-Tolerance PAPER SUBMISSIONS: Papers must be written in English and printed using at least 11-point type and 1-1/2 line spacing. They should be no more than 20 pages in manuscript, including figures. Authors are requested to submit five copies of their manuscript by March 15, 1994 to: Prof. Richard D. Schlichting Department of Computer Science Gould-Simpson Building The University of Arizona Tucson, AZ 85721, USA +1-602-621-4324 rick@cs.arizona.edu Authors will be notified by June 1, 1994. Final camera-ready copies are due July 9, 1994. AWARDS: The Wing Toy Best Student Paper Award, carrying a monetary award, will be given to the best student paper accepted for the Symposium. A paper is eligible for the award only if (1) it will be presented at the Symposium by a student co-author, and (2) the research it presents is essentially the work of the student co-authors and the involvement of the non-student co-authors was restricted to advising the student co-authors. The detailed Award rules will be provided to the authors of the accepted papers. TUTORIALS: Persons interested in teaching a half-day or full-day tutorial on topics related to the theme of the symposium are encouraged to submit a proposal with a brief syllabus by March 15, 1994 to: Dr. Devesh Bhatt Honeywell Systems & Research Center 3660 Technology Drive MN65-2100 Minneapolis, MN 55418, USA +1-612-951-7316 bhatt@src.honeywell.com ===================================================================== SYMPOSIUM CO-CHAIRS: Kane Kim University of California, Irvine Algirdas Avizienis University of California, Los Angeles PROGRAM COMMITTEE CHAIR: Richard D. Schlichting University of Arizona PROGRAM COMMITTEE: A. Abouelnaga (TRW) F. Bastani (Univ. of Houston) B. Bhargava (Purdue Univ.) R. Bianchini (Carnegie-Mellon Univ.) F. Cristian (Univ. of California, San Diego) M. Dal Cin (Univ. of Erlangen) S. Davidson (Univ. of Pennsylvania) J. Bechta Dugan (Univ. of Virginia) K. Fuchs (Univ. of Illinois) M. Hecht (SoHaR, Inc.) F. Jahanian (Univ. of Michigan) S. Jajodia (George Mason Univ.) D. Johnson (Carnegie-Mellon Univ.) T. Kikuno (Osaka Univ.) J. Kim (Texas A&M Univ.) E. Nett (GMD) C. Pu (Oregon Graduate Institute) K. Ramamrithan (Univ. of Massachusetts) W. Sanders (Univ. of Arizona) L. Simoncini (Univ. of Pisa) D. Taylor (Univ. of Waterloo) P. Verissimo (INESC) TUTORIALS CO-CHAIRS: Devesh Bhatt Honeywell Systems and Research Center Gary Craig Syracuse University FINANCE CHAIR: I-Ling Yen Michigan State University LOCAL ARRANGEMENTS CO-CHAIRS: Douglas Blough University of California, Irvine Kwei-Jay Lin University of California, Irvine PUBLICITY CO-CHAIRS: Chandra Kintala AT&T Bell Labs Tom Lawrence Rome Labs Raif Yanney TRW REGISTRATION CHAIR: Luiz Bacellar University of California, Irvine AWARDS CO-CHAIRS: Leszek Lilien AT&T Bell Labs Arthur Toy NCR TC LIAISON: Bharat Bhargava Purdue University ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------