DATICS-MUE 2014

  • 29-31 May 2014
  • Zhangjiajie, China

Description

DATICS-MUE 2014 is a Workshop dedicated to topics in areas such as Computer Science, Communication, Information Technology and Software Engineering, including:

  • Computer Science, Software Engineering and Information Technology
    • Model Checking, Equivalence Checking, Compositional Methods, SAT-based Methods and Probabilistic Methods
    • Graph Theory, Formal Methods, Petri-Nets, Process Algebras, BDDs, Automaton Theory and UML
    • Numerical Algorithms
    • Average-Case Analysis and Worst-Case Analysis
    • Computational Biology and Bioinformatics
    • Software Developed to Solve Science
    • Internet and Web Systems
    • Intelligent Systems
    • Agent and Autonomous Systems
    • Real-Time, Hybrid, Embedded and Cyber-Physical Systems
    • Computer and Information Science
    • Scientific Computing and Applications
    • Distributed Systems, Grid Computing and Services Computing
    • Computer Networks and Data Communications
    • Wireless Sensor Networks
    • Design and Programming Methodologies for Network Protocols and Applications
    • Financial Mathematics
    • E-Business Design and Applications
    • Computer Architecture
    • Computer-Aided Design and Manufacturing
    • Computer Graphics, Animation, and Virtual Reality
    • Computer Control and Robotics
    • Computer Modeling and Simulations
    • Computers in Education and Learning Technologies
    • Computer Vision and Pattern Recognition
    • Computer Security and Privacy
  • Circuits, Systems and Communications
    • Processor Design and Embedded Systems
    • Design, Simulation and Test of Digital, Analog, Mixed Mode and RF Circuits and Systems
    • Computer Aided Design and Electronic Design Automation
    • ASIC, VLSI, SoC, FPGA and MPSoC
    • Power Systems and Power Electronic Circuits
    • Circuits and Systems for Communications
    • Control Theory Topics in Circuits and Systems
    • Nonlinear Circuits and Systems
    • Circuits and Systems for Biomedical Applications
    • Signal Processing
    • Circuits and Systems for Cryptography
    • Circuits and Systems for Energy Harvesting
    • Computer Aided Verification
    • Circuits and Systems for Low Power Applications
    • Circuit/Device Modeling and Simulation
    • Computer Aided Interconnect Analysis and Optimization
    • SystemC, SystemVerilog and Transcation Level Modelling
    • Formal Modelling and Analysis of Circuits and Systems
    • Cyber-Physical Systems
    • Self-Correcting/Self-Healing Circuits and Systems
    • Photovoltaic System Design
    • Battery Management Systems

DATICS-MUE 2014 brings together engineers and researchers both from industry and academia in the areas of Analysis, Design and Tools for Integrated Systems and Circuits, including computer scientists and software/hardware engineering researchers.

DATICS - Design, Analysis and Tools for Integrated Circuits and Systems

Past Events

Important

Please, check "DATICS-MUE" official website for possible changes, before making any traveling arrangements

Event Categories

Science: Computer Science, Engineering, Mathematics & Statistics, Physics
Technology: Communication Networks, Information Technology (IT), Internet, Signal Processing, Software & Applications, Software engineering

Other Events with Similar Categories

Other Events with Similar Location or Organizer

Featured Conferences & Exhibitions