[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Fwd: International Workshop: DATICS-ICIS'10 (EI Indexed)



Dear Authors:

=====================================================================
International Workshop: DATICS-ICIS'10
CALL FOR PAPERS
http://digilander.libero.it/systemcfl/datics10-icis
Chengdu, China, June 23-25, 2010
=====================================================================

Aims and Scope of DATICS-ICISí10 Workshop:

DATICS Workshops were initially created by a network of researchers
and engineers both from academia and industry in the areas of Design,
Analysis and Tools for Integrated Circuits and Systems. Recently,
DATICS has been extended to the fields of Communication, Computer
Science, Software Engineering and Information Technology.
The main target of DATICS-ICISí10 is to bring together
software/hardware engineering researchers, computer scientists,
practitioners and people from industry to exchange theories, ideas,
techniques and experiences related to all aspects of DATICS.

Topics of interest include, but are not limited to, the following:

Circuits, Systems and Communications:

† * digital, analog, mixed-signal, VLSI, asynchronous and RF design
† * processor and memory
† * DSP and FPGA/ASIC-based design
† * synthesis and physical design
† * embedded system hardware/software co-design
† * CAD/EDA methodologies and tools
† * statistical timing analysis and low power design methodologies
† * network/system on-a-chip and applications
† * hardware description languages, SystemC and SystemVerilog
† * simulation, verification and test technology
† * semiconductor devices and solid-state circuits
† * fuzzy and neural networks
† * communication signal processing
† * mobile and wireless communications
† * multimedia communications

Computer Science, Software Engineering and Information Technology:

† * equivalence checking, model checking, SAT-based methods,
compositional methods and probabilistic methods
† * graph theory, process algebras, petri-nets, automaton theory, BDDs and UML
† * formal methods
† * distributed, real-time and hybrid systems
† * reversible computing and biocomputing
† * software architecture and design
† * software testing and analysis
† * software dependability, safety and reliability
† * programming languages, tools and environments
† * face detection and recognition
† * database and data mining
† * image and video processing
† * watermarking
† * artificial intelligence
† * average-case analysis and worst-case analysis
† * design and programming methodologies for network protocols and applications
† * coding, cryptography algorithms and security protocols
† * evolutionary computation
† * numerical algorithms

Please note that all accepted papers will be included in IEEE Xplore
and indexed by EI Compendex. After workshop, several special issues of
international journals
†such as IJDATICS will be arranged for selected papers.

For more details about DATICS-ICIS'10, please visit
http://digilander.libero.it/systemcfl/datics10-icis.