kaiser@westend.cs.columbia.edu (Gail Kaiser) (03/17/89)
CALL FOR PAPERS AND REFEREES
HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES - 23
Extended Transaction Models
KAILUA-KONA, HAWAII - 2-5 JANUARY 1990
The Software Track of HICSS-23 will contain a minitrack on
Extended Transaction Models consisting of three paper
sessions and a forum, conducted in a one-day workshop-like
setting. The classical transaction model is based on
failure atomicity for crash recovery and serializability for
concurrency control, but these properties are too weak for
some applications and too strong for others. Thus, we use
the term ``transaction'' loosely to encompass facilities
that support some subset of fault tolerance, controlled
concurrent access to data, commitment of a consistent set of
changes, user-control over commit and abort, and nested
activities over a wide range of traditional and new
application areas, including but not limited to financial
services, airline reservations, medical informatics,
knowledge-based systems, CAD/CAM systems, software
development environments and real-time systems.
Extended transaction models might be based on the semantics
of abstract data types, objects, tools, etc., might
incorporate transient and/or persistent versions, might
involve locking, validation or other kinds of protocols,
might be centralized or decentralized, might support short
or long-duration activities, might apply at varying
granularities, might be closely coupled with scheduling
policies and performance concerns, or might mix and match
several fault tolerance or concurrency control policies.
Participation is invited from researchers and developers in
programming languages, operating systems, database systems,
software engineering, office automation and other areas
concerned with devising and applying extended transaction
models for advanced applications.
Papers may be theoretical, conceptual, tutorial or
descriptive in nature. Those papers selected for
presentation will appear in the Conference Proceedings,
which is published by the IEEE Computer Society. HICSS-23
is sponsored by the University of Hawaii in cooperation with
the ACM, the Computer Society, and the Pacific Research
Institute for Information Systems and Management (PRIISM).
Submissions are solicited in:
o Formal and informal extended transaction models.
o Implementation techniques for new models.
o Evaluation of classical and extended models for new
application areas.
o Performance studies comparing transaction models.
o Design of new languages and systems that support a
new transaction model.
o Practical experiences with languages and systems
based on extended transaction models.
o Novel applications for transaction models.
INSTRUCTIONS FOR SUBMITTING PAPERS
Manuscripts should be 22-26 typewritten, double-spaced pages
in length. Do not send submissions that are significantly
shorter or longer than this. Papers must not have been
previously presented or published, nor currently submitted
for journal publication. Each manuscript will be reviewed
by four referees. Manuscripts should have a title page that
includes the title of the paper, full name of its author(s),
affiliation(s), complete physical and electronic
address(es), telephone number(s) and a 300-word abstract of
the paper.
DEADLINES
o A 300-word abstract is due by 15 April 1989.
o Feedback to author concerning abstract by 1 May 1989.
o Six copies of the manuscript are due by 5 June 1989.
o Notification of accepted papers by 31 August 1989.
o Accepted manuscripts, camera-ready, are due by 1 October 1989.
SEND SUBMISSIONS AND QUESTIONS TO
Prof. Gail E. Kaiser
Columbia University
450 Computer Science Building
New York, NY 10027
(212) 854-3856
e-mail: kaiser@columbia.eduac@k.gp.cs.cmu.edu (Alan Chung) (04/07/89)
[See also <848@mcmi.UUCP> of 03/17/89 -mod]
CALL FOR PAPERS
HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES
HICSS23
Kailua-Kona, HAWAII - 2-5 January 1990
The architecture track will contain a minitrack on
PERFORMANCE EVALUATION AND MODELING
The role of performance models is to predict potential bottlenecks
during the design process, and thus reduce development risks and
design effort. Once a system is built and under test, models can also
facilitate characterization of its behavior. It would be ideal if
models could predict and characterize all potential bottlenecks, but
is is usually satisfactory in practice to obtain only realistic bounds
on performance.
The issue of performance evaluation is extremely critical in
distributed and parallel systems. Modern parallel systems are designed
to achieve two main goals: high performance and increased
availability. Both goals can be achieved via parallel use of system
resources, but one should be aware that the use of parallelism
increases system complexity. While abstractions simplify design-time
complexity, they can be a major source of run-time performance
bottlenecks. These bottlenecks usually appear in one of four forms:
delays due to contention on common resources, delays due to
synchronization overhead, increased load due to unfavorable parallel
decomposition, and unbalanced load on the resources in the system.
Papers are sought that will cover theoretical and implementational
issues related to performance efficient design of parallel,
distributed, fault tolerant and real-time systems. They may be
theoretical, conceptual, tutorial or descriptive in nature. Those
papers selected for presentation will appear in the conference
Proceedings, which is published by the IEEE Computer Society. HICSS-23
is sponsored by the University of Hawaii in cooperation with the ACM,
the IEEE Computer Society, and the Pacific Research Institute for
Information Systems and Management [PRIISM].
Papers are expected to cover various fields of performance evaluation
including:
- New theoretical performance models.
- Performance of parallel/distributed systems.
- Novel applications in high performance computing.
- Automated tools for performance efficient design.
- Performance monitoring and diagnostics.
- Queuing networks and their solutions.
- Applications of Petri nets.
- Performance of Real-Time systems.
- Approximate solutions.
- Deterministic models.
Instructions for Authors:
Submission should be no longer than 22-26 double-spaced pages
including all text, figures and appendices. They must be original
works and will be submitted to a reviewing process. Each submission
should have a title page which contains a title and names of authors
with their addresses and telephone numbers.
There are the following deadlines for submission process:
A 300-word abstract: April 15, 1989.
Feedback to the author: May 1, 1989.
Six copies of the manuscript: June 5, 1989.
Notification of acceptance: August 31, 1989.
Camera-ready copies of
accepted papers: October 1, 1989.
PLEASE SEND YOUR SUBMISSIONS OR DIRECT YOUR QUESTIONS TO:
Dr. Dalibor F. Vrsalovic
School of Computer Science
Carnegie Mellon University
5000 Forbes Ave. /WeH4104
Pittsburgh, PA 15208.
tel: (412) 268-6426
e-mail: dv@@k.cs.cmu.edu