|
SAC 2006: The ACM Symposium on Applied
Computing (SAC) is a primary forum for applied computer scientists and
application developers from around the world to interact and present
their work. SAC 2006 is sponsored by the ACM Special Interest Group on
Applied Computing (SIGAPP) and is presented in cooperation with other
ACM Special Interest Groups.
CMS Track:
Within the ACM SAC 2006 event, the CMS track focuses on today
and tomorrow methods and software to go farther than the
precision currently available on our computers.
The standard for floating point computation, the IEEE-754
standard, provides about 16 decimal digits precision. When applied to
ill-conditioned problems, numerical software loses significant digits
and may not be able to return the accuracy prescribed by the user.
Such loss of accuracy may have unforeseeable effects, both
quantitative (inaccurate digits) and qualitative (instability,
non-convergence, inexact branching tests).
Computational geometry, number theory, robotics, scientific
computing are examples of classic fields of such need.
How to manage the
need for more accurate and reliable results without suffering from an
impractical over-cost? The CMS track aims to
gather applied computer scientists, computer engineers and
application developers together with researchers on numerical
software quality to exhibit the current state of the art on the need
and the solutions to reach both accuracy, reliability and
performance in software.
CMS Scope focuses accuracy, reliability and
performance in numerical software. We encourage the following two directions.
- Alternatives to provide accuracy, reliability and
performance
- Hardware facilities: fused-multiply and add, long accumulators,...
- Software for an extended precision: multiprecision libraries,
arbitrary or fixed_length expansions,...
- Accurate algorithms: error free transformations, data
structure driven algorithms,...
- Reliable software: guaranteed accuracy, rigorous bounds, interval
arithmetic, formal methods,...
- Applications that need accuracy, reliability and
performance
- Mathematical Software: elementary functions, constant
computations, symbolic computation, number theory,...
- Computational Geometry, Robotics, Scientific Computing,...
Call For Papers:
Submissions to SAC 2006 fall into the following categories.
- Original and unpublished research work
- Reports of innovative computing applications in the sciences, engineering, and business areas
- Reports of successful technology transfer to new problem domains
- Reports of industrial experience and demos of new innovative systems
Authors are invited to submit original papers in all areas of methods,
software, applications or experiments that deal with the CMS themes.
Both academic and applied research papers are welcome.
Do not submit published works nor being currently under
review in any conference or journal. Do not submit the same paper to multiple
tracks. Other SAC 2006 tracks cover closed scientific areas. For more
information please visit SAC 2006 web
page.
Submission:
Every author must register their paper(s) and submit the abstract(s)
before the abstract submission deadline date: extended to September 11, 2005. In
order to register the paper, the author must submit
this
electronic form.
Abstract Submission Guidelines:
Authors must register their intent to submit a paper by submitting an
electronic abstract (in text format) of a maximum length of 200 words
by the due date prior to the actual submission and obtain a paper identification
number. Prior to submitting the abstract, authors will be required to register
as users on the system.
Once an author has submitted an abstract, he/she will receive a
confirmation email with instructions on submitting the paper. The
format of the submitted paper must be PDF or Postscript.
Paper Submission Guidelines:
The paper should not be more than 10 pages long using the ACM
Conference Proceedings LaTeX
templates for SAC 2006.
The author's(s') name(s) and address(es) must not appear in
the body of the submitted paper, and self-references should be in the
third person. This is to facilitate a blind review. All submitted
papers must include the paper identification number on the front page
above the title of the paper.
The acceptance rate at SAC is usually 33 to 36%.
All enquiries and questions should be directed to the CMS
Organizers. Additional details are available at the SAC 2006 web
page.
CMS Organizers:
- Philippe Langlois, University of Perpignan, France. langlois@univ-perp.fr
- Siegfried M. Rump, Technical University Hamburg-Harburg, Germany. rump@tu_harburg.de
Important Due Dates:
- September 11, 2005: Extended dead-line for abstract submission
- September 11, 2005: Extended
dead-line for paper submission
- October 15, 2005: Author notification
- November 5, 2005: Camera-Ready copy
CMS Session Program:
CMS session is scheduled Monday April 24,
2006, 10:30 to noon, Room 3. Talks are 22 minutes long
including questions.
- 10:30-10:52
- Quad and Correctly Rounded Double Precision Math Functions:
Portable and Optimized for Intel Architectures
Alexey Ershov, Intel Corporation, Russia;
Sergey Maidanov, Intel Corporation, Russia;
Andrey Naraikin, Intel Corporation, Russia.
- 10:53-11:15
- Assisted Verification of an Elementary Function Library
Florent de Dinechin, École Normale Supérieure de Lyon, France;
Christoph Lauter, École Normale Supérieure de Lyon, France;
Guillaume Melquiond, École Normale Supérieure de Lyon, France.
- 11:16-11:38
- Provably Faithful Evaluation of Polynomials
Sylvie Boldo, INRIA Futurs, France;
César Muñoz, National Institute of Aerospace, USA.
- 11:39-12:01
- Improving the Compensated Horner Scheme with a Fused Multiply and Add
Nicolas Louvet, DALI-LP2A Laboratory, France;
Stef Graillat, DALI-LP2A Laboratory, France;
Philippe Langlois, University of Perpignan, France.
Connected Tracks:
SAC 2006 hosts the following tracks dedicated to closed scientific
trends.
|
