Senin, 14 November 2011

HCW 2012 - 21st International Heterogeneity in Computing Workshop (in conjunction with IPDPS 2012)

*** Call for Papers ***
HCW 2012 - 21st International Heterogeneity in Computing Workshop
In conjunction with IPDPS 2012, May 21, 2012, Shanghai, China
http://hcw.wsu.edu/

Sponsored by the IEEE Computer Society,
through the Technical Committee on Parallel Processing (TCPP),
and by the U.S. Office of Naval Research (ONR)
---------------------------------------------------------------------------------
Today, most computing systems have elements of heterogeneity. Heterogeneity springs
from the richness of environments where diversity and resource abundance prevail.
Recognizing, capturing, and efficiently exploiting this diversity in an integrated
and coherent manner are key goals of heterogeneous computing.

Heterogeneous computing systems are those with a range of diverse computing
resources that can be on a chip, within a computer, or on a local or geographically
distributed network. The development of heterogeneous multi-core chips and the
pervasive use of networks by all segments of society mean that the number and types
of heterogeneous computing resources are growing rapidly. This growth creates the
need and opportunity for new research to effectively utilize these resources in
innovative and novel ways. For example, cluster computing, grid computing,
peer-to-peer computing, and cloud computing all involve elements of heterogeneity.
The effective implementation of efficient applications in these environments,
however, requires that a host of issues be addressed that simply do not occur in
homogeneous systems.

Whereas many researchers and practitioners that use computers have a peripheral
awareness of heterogeneity in their respective fields, few critically approach
their fields from the heterogeneous perspective. This is not particularly
surprising, because each field has its own unique challenges and imperatives that
propel investigations in search of solutions to pressing problems. Addressing
computing problems from the heterogeneous perspective offers at least three
advantages: (i) the design and development of more advanced high-performance
computing platforms, (ii) insight into new solution approaches, and
(iii) exposure to new research opportunities and relationships among distinct
research areas. HCW encourages the examination of both hardware and software
systems from the perspective of heterogeneity.

With the increasing number of components in heterogeneous parallel and
distributed systems, failure is becoming a critical factor that impacts
application performance. High-performance computing systems, especially those
heading towards exascale, are also becoming increasingly heterogeneous and
hierarchical, expecting to routinely employ heterogeneous multicores,
various accelerators (such as GPUs), deeper memory hierarchies, and heterogeneous
and hierarchical communication networks.
This year, HCW is specifically encouraging (but not limited to) submissions that
explore paradigms, algorithms, and techniques for high performance heterogeneous
computing.

TOPICS
----------------------------------------------------------
Areas or research interest include, but are not limited to, heterogeneity
aspects of:

- Parallel algorithms for heterogeneous and hierarchical systems, including
manycores and hardware accelerators (FPGAs, GPUs, etc.)
- Parallel algorithms for efficient problem solving on heterogeneous platforms
- Performance models and their use in the design of parallel and distributed
algorithms for heterogeneous platforms
- Programming paradigms and tools
- Fault tolerance
- Resource allocation and scheduling
- Computer architectures
- Performance evaluation and management
- High performance computing
- Cluster, Grid and Cloud computing
- Peer-to-peer computing
- Ubiquitous computing
- Application case studies
- Task and communication scheduling
- Task coordination and workflow

IMPORTANT DATES
----------------------------------------------------------
Paper submission: January 7, 2012
Author Notification: February 7, 2012
Camera-ready: February 21, 2012

PAPER SUBMISSIONS
----------------------------------------------------------
Prospective authors are encouraged to visit the HCW 2012 website
(hcw.wsu.edu) for instructions on how to submit their papers.

PUBLICATION
----------------------------------------------------------
The HCW 2012 proceedings will be published through the IEEE Computer
Society Press as part of the IPDPS CD-ROM. The authors of accepted
papers will be also invited to submit extended versions of their
work to a special issue of the Journal of Parallel and Distributed Computing (JPDC)
on Heterogeneity in Parallel and Distributed Computing that is planned for publication
in 2012.

WORKSHOP ORGANIZATION
------------------------------------------------------------

General Chair:
Behrooz Shirazi, Washington State University, U.S.A.

Program Chair:
Alexey Lastovetsky, University College Dublin, Ireland

Steering Committee:
H. J. Siegel, Colorado State University, U.S.A., Chair
John Antonio, University of Oklahoma, U.S.A.
Francine Berman, Rensselaer Polytechnic Institute, U.S.A.
Jack Dongarra, University of Tennessee, U.S.A.
Jerry Potter, Colorado State University, U.S.A.
Viktor K. Prasanna, University of Southern California, U.S.A.
Yves Robert, Ecole Normale Superieure de Lyon, France
Arnold Rosenberg, Colorado State University, Northeastern University, U.S.A.
Vaidy Sunderam, Emory University, U.S.A.

Program Committee:
Shoukat Ali, IBM, Ireland
Francisco Almeida, University of La Laguna, Spain
Rosa Badia, Barcelona Supercomputing Center and CSIC, Spain
Ioana Banicescu, Mississippi State University, U.S.A.
Olivier Beaumont, INRIA, France
Shuvra S. Bhattacharyya, University of Maryland, U.S.A.
George Bosilca, University of Tennessee, U.S.A.
Eddy Caron, ENS-Lyon, France
Domingo Gimenez, University of Murcia, Spain
Alexey Kalinov, Cadence Design Systems, Russia
Tahar Kechadi, University College Dublin, Ireland
Jong-Kook Kim, Korea University, South Korea
Thomas Ludwig, University of Hamburg, Germany
Tony Maciejewski, Colorado State University, U.S.A.
John P. Morrison, University College Cork, Ireland
Dana Petcu, Western University of Timisoara, Romania
Antonio Plaza, University of Extremadura, Spain
Xiao Qin, Auburn University, U.S.A.
Enrique Quintana, University of Jaume I of Castellon, Spain
Ioan Raicu, Northwestern University, U.S.A.
Alistair Rendell, Australian National University, Australia
Gudula Runger, TU Chemnitz, Germany
Vladimir Rychkov, University College Dublin, Ireland
Uwe Schwiegelshohn, University of Dortmund, Germany
Stephen L. Scott, Tennessee Tech University & Oak Ridge National Laboratory, U.S.A.
James T. Smith, DigitalGlobe, U.S.A.
Leonel Sousa, Technical University of Lisbon, Portugal
Stanimire Tomov, University of Tennessee, U.S.A.
Denis Trystram, IMAG, France
Carlos Varela, Rensselaer Polytechnic Institute, U.S.A.
Qin Zheng, A*Star, Singapore

Natural Language Processing and its Applications at The 25th International Conference on Industrial, Engineering & Other Applications of Applied Intel

Special Session: Natural Language Processing and its Applications
The 25th International Conference on Industrial, Engineering &
Other Applications of Applied Intelligent Systems
June 9-12, 2012 Dalian, China
http://ssdut.dlut.edu.cn/iea-aie/webpages/index.htm

The amount of information and knowledge represented in natural languages is vast and increasing rapidly as advances in modern communication significantly improve how human society create, share, and process information. This special session will reflect the recent progress in Natural Language Processing and provide a platform for researchers in this field to exchange ideas and further widen its applications. Session topics include but not limited to the following:

• Information extraction
• Information retrieval
• Biomedical text mining
• Clinical record management
• Text categorization
• Document clustering
• Word sense disambiguation
• Automatic text summarization
• Machine translation
• Parsing and Part-of-speech tagging
• Coreference resolution
• Discourse analysis
• Named entity recognition
• Natural language generation
• Natural language understanding
• Question answering
• Relationship extraction
• Sentiment analysis
• Speech recognition
• Speech segmentation
• Topic segmentation and recognition
• Word segmentation
• Word sense disambiguation
• Speech processing
Important dates
• Paper submission deadline: January 5, 2012
• Notification of acceptance: Feb. 1, 2012
• Camera ready form: Feb. 20, 2012
• Author registration: Feb 1, 2012
• Early registration: Before March 1, 2012
• Late registration: March 1, 2012
• Conference date: June 9-12, 2012

Submission format:

Authors are invited to electronically submit their paper, written in English, of up to 10 single spaced pages, presenting the results of original research or innovative practical applications relevant to the special session. Practical experiences with state-of-the-art AI methodologies are also acceptable when they reflect lessons of unique value to the conference attendees. Shorter works, up to 6 pages, to be presented in 10 minutes, may be submitted as SHORT PAPERS representing work in progress or suggesting possible research directions. Please visit the conference website at http://ssdut.dlut.edu.cn/iea-aie/webpages/index.htm for submission format. All submissions for this special session should be at http://www.easychair.org/conferences/?conf=ieaaie2010. Please indicate that your submission is for this special session in the title of the first page of your submission.
Publications:
Each submission will receive at least two reviews. Accepted papers will be published in the conference proceedings as regular papers by Springer-Verlag (format instructions available at http://www.springer.de/comp/lncs/authors.html) in its “Lecture Notes in Artificial Intelligence” series. Referees will be asked to nominate papers for a Best Paper Award to be announced at the conference. Outstanding papers in the session will be automatically considered for publication in an expanded form in selected international journals, including Applied Intelligence, Soft Computing, Evolutionary Intelligence, Journal of Ambient Intelligence and Humanized Computing.
Session organizers:
Dr. Hisham Al-Mubaid, University of Houston-Clear Lake, hisham@uhcl.edu
Dr. Ping Chen, University of Houston-Downtown, chenp@uhd.edu

1st International Workshop on the Verification and Validation of Model Transformations

VOLT 2012
Co-located with ICST 2012
http://www.model-based-testing.de/volt12
1st Workshop on the Verification and Validation of Model Transformations

Montréal, Québec, Canada
April 21st 2012

*** Call for Papers ***

Model transformation is at the heart of Model-Driven Development (MDD). Many experts have identified the verification of model transformation as one of the grand challenges of the domain. Despite some recent activity in the field, the work on the verification of model transformation remains scattered and a clear perspective on the subject in still not in sight. VOLT 2012 is the first workshop to offer researchers a dedicated forum to present, discuss, classify, integrate, and advance verification techniques of model transformation relevant to industry.

If we generically consider a model transformation as an algorithm describing a set of computations, then testing it or proving some of its properties can be envisaged through model checking or theorem proving. However, a model transformation performs a particular kind of computation where: (1) it operates on models, thus data at a high-level of abstraction rich in semantics and (2) from a pragmatic point of view, often only the initial input and the final output is of interest, glossing away from intermediate steps. These are primary fundamental differences between the verification of model transformation and typical model-based testing or model checking. A particular point of interest for VOLT is that model transformation is used to perform specific computations in the context of MDD, such as model refinement, refactoring, translation, synthesis, simulation, or synchronization. Thus useful verification techniques for model transformation can be specific to these activities.

VOLT’s interest spans both to academic and industrial practices. Part of the workshop is used as a forum for discussing practical applications of model transformation. The goal of the forum is to collect enough industrial case studies so that those problems can be stated at a theoretical level. In order to discuss these and further similar questions, we would like to invite submissions related to the following topics:

- Application of model checking or theorem proving to model transformation: what are the relevant properties to prove?
- Application of testing techniques to model transformation
- Verification of transformations of models expressed in languages defined using MOF or EMF
- Syntactic and semantic preservation of model transformations, particularly when translating models into different languages
- Verification of domain-specific model transformation, in contrast to general-purpose transformations
- Taxonomies of techniques for the verification of model transformation
- Case studies and experience reports
- Tools and automation
- Theoretical considerations

*** Publication ***

Submissions must follow the IEEE double column format. Authors may submit short papers (4 pages) or long papers (8 pages). The two best papers will be published in the Satellite Event Proceedings (LNCS) of the ICST conference.

*** Workshop Format ***

VOLT 2012 is a one-day workshop that is divided into two parts: paper presentations and discussions in working groups. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts ;) on model transformation and their validation & verification.

*** Important Dates ***

Submission: January 30, 2012
Notification to authors: February 25, 2012
Final version: March 10, 2012

*** Organization Committee ***

Levi Lúcio (McGill University, Canada)
Eugene Syriani (University of Alabama, USA)
Stephan Weißleder (Fraunhofer FIRST, Germany)