Subject: IEEE-CS TC-RTS Newsletter for Mon Jan 17, 1994 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Kevin Jeffay (70 lines) CFP - Computer Communications: Special Issue on Multimedia Comput.. 3 2. alex@vulcan.njit.edu (Alexander D. Stoyenko) (95 lines) CFP: Second IEEE Workshop on Real-Time Applications................ 73 3. Karsten Schwan (37 lines) Position Available: Georgia Tech:.................................. 168 4. leue@iamsun.unibe.ch (Stefan Leue) (141 lines) FORTE'94 - Call for Papers......................................... 204 5. sanjoy@uvm-gen.EMBA.UVM.EDU (118 lines) Endowed Chair Position............................................. 346 6. Ted Baker (64 lines) IRTAW-VII - CALL FOR PAPERS........................................ 464 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Dec 10 10:06:51 1993 From: Kevin Jeffay Subject: CFP - Computer Communications: Special Issue on Multimedia Computing =========================================================================== 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 2; 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 3; Postmarked Wed Dec 15 10:37:40 1993 From: Karsten Schwan Subject: 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 4; 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 5; 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. ---------------------------------------------------------------------------- ADDITIONAL INFORMATION ON THE COMPUTER SCIENCE PROGRAM AT THE UNIVERSITY OF VERMONT There are five tenure stream faculty in the Computer Science program at the University of Vermont, four of whom have been hired in the last two years. In addition, three members of the Mathematics faculty hold secondary appointments in Computer Science. The Dorothean Chair position offers a unique opportunity to the right candidate to act as mentor to the new CS faculty, and to play a leadership role in a vibrant research atmosphere. There are also two permanent lecturers, and one temporary lecturer slot, associated with the CS program. The lecturers share the teaching load, particularly with regard to the service courses offered by the Computer Science program. TENURE STREAM FACULTY: Sanjoy Baruah, PhD (University of Texas, 1993). Scheduling theory, real-time systems, analysis and design of algorithms, distributed and parallel algorithms, theoretical computer science. Steven Hegner, PhD (University of Massachusetts, 1977). Artificial intelligence, theory of relational databases, computational linguistics, mathematical systems theory. Gara Pruesse, PhD (University of Toronto, 1993). Algorithmic graph theory, combinatorics, scheduling theory, distributed systems, theoretical computer science. Guo-Liang Xue, PhD (University of Minnesota, 1991). Design and analysis of algorithms for combinatorial and global optimization, application of global optimization and parallel computing techniques to molecular conformation and protein folding, scalable algorithms for parameter estimation problems. Yuanyuan Yang, PhD (Johns Hopkins University, 1992). Computer communication networks, parallel/distributed computing, design and analysis of algorithms, computer architecture, and fault tolerant computing. SECONDARY APPOINTMENTS IN CS: Dan Archdeacon, PhD (The Ohio State University, 1980). Graph theory, combinatorics, combinatorial algorithms, and computer architecture. Jeff Dinitz, PhD (The Ohio State University, 1980). Combinatorial design theory, coding theory, graph theory, design and implementation of combinatorial search algorithms. Daniel Zwick, PhD (University of Oregon, 1980). Approximation theory, algorithms for constrained approximation and optimization, mathematics of computation, applications to coordinate metrology. ------------------------------------------------------------------------------ Message 6; Postmarked Mon Jan 3 10:59:00 1994 From: Ted Baker Subject: IRTAW-VII - CALL FOR PAPERS IRTAW-VII - CALL FOR PAPERS Seventh International Real-Time Ada Issues Workshop 10-14 October, 1994 Oglebay, Wheeling, West Virginia, USA General co-chairs: Anthony Gargaro, Computer Sciences Corporation Andy Wellings, University of York Programme chair: Theodore Baker, Florida State University Local arrangements: Joyce Tokar, Tartan Inc. After a two year hiatus, the next IRTAW is scheduled for October, 1994. The workshop will follow the regimen of past workshops starting Monday evening and closing on Friday at mid- day. The workshop, unlike the last three workshops, will return to less-restrictive topics now that the revised Ada standard is close to approval. Position papers are invited relevant towards increasing Ada's capability in developing systems over a wide-range of architectures where the reliability, safety, and security of the computing model depends upon predictable performance under a variety of timing constraints. In particular, position papers addressing the following topics are especially welcomed: Advances in real-time Ada runtime systems Comparison of Ada with other languages for real-time programming Concurrent objected-oriented programming for real-time applications Developing a real-time programming curriculum for academia/industry Implementation/performance of Ada bindings to real-time standards Implementation/performance of Ada real-time features and Annex Issues remaining from previous IRTAWs Reliable/reusable programming paradigms for real-time applications Transitioning Ada towards high-performance and distributed computing Attendance at the workshop will be restricted to 40 participants on the basis of a preliminary position paper. Position papers should not exceed 5 pages (1,000 words) and must be received by 30 January 1994 (in unformatted ASCII electronic form). Authors of selected position papers for the workshop proceedings will be notified by 30 March 1994 with final position papers due 30 May 1994. Please send position papers to: Theodore Baker (Internet: baker@alpha.cs.fsu.edu) There will be a registration fee of $750.00 to attend the workshop. This fee will include accommodation, meals, recreational activities, and, if it can be arranged, transportation to and from the Pittsburgh International Airport. It is expected that the workshop proceedings will be published in a special edition of a professional journal or newsletter (e.g., ACM SIGAda Ada Letters, Ada User). Programme Committee: Andy Goforth, John Barnes, Alan Burns, John Goodenough, Doug Locke, Mike Kamrad, Richard Volz ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------