Search results

Computer Communication Computer Hardware Embedded Systems Embedded Network Systems Events List FMCAD 2022 2022-10-17 → 2022-10-21 Computer Hardware Embedded

Field OECD FOS 2007 Computer And Information Sciences Event Series List FMCAD - Formal Methods in Computer-Aided Design Computer Hardware Embedded Systems

2023 2023-10-23 → 2023-10-27 Computer Hardware Embedded Systems Design FMCAD 2022 2022-10-17 → 2022-10-21 Computer Hardware Embedded Systems Design FMCAD

2022 2022-10-17 → 2022-10-21 Computer Hardware Embedded Systems Design FMCAD 2021 2021-10-19 → 2021-10-22 Computer Hardware Embedded Systems Design FMCAD

2020-04-21 → 2020-04-24 Computer Hardware Embedded Systems Time-Sensitive Systems Real-Time Systems SenSys 2019 2019-11-10 → 2019-11-13 Computer Science Computer Communication

2007 Computer And Information Sciences Event Series List RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium Computer Hardware Embedded

FOS 2007 Mathematics; Computer And Information Sciences Event Series Events List RTAS 2020 2020-04-21 → 2020-04-24 Computer Hardware Embedded Systems Time-Sensitive

and Embedded Technology and Applications Symposium Academic Field Computer Hardware, Embedded Systems, Time-Sensitive Systems Official Website http://ww

2007 Computer And Information Sciences Event Series List SenSys - ACM Conference on Embedded Networked Sensor Systems Computer Networking Computer Communication

Recurrence Period 1 Recurrence Unit year Academic Field Computer Communication, Computer Hardware, Computer Networking, Embedded Network Systems, Embedded Systems

Conference on Embedded Networked Sensor Systems Computer Networking Computer Communication Computer Hardware Embedded Systems Embedded Network Systems Events

scheduled Mode on site City Sydney Country Australia (AU) Academic Field Computer Hardware, Embedded Systems, Time-Sensitive Systems, Real-Time Systems Official

FMCAD 2021 Title Formal Methods in Computer-Aided Design 2021 Ordinal 21 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2021-10-19

FMCAD 2022 Title Formal Methods in Computer-Aided Design 2022 Ordinal 22 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2022-10-17

ApplicationsComputer HardwareComputer Information SciencesComputer NetworkingComputer NetworksComputer PrivacyComputer ReliabilityComputer ScienceComputer Science

FMCAD 2020 Title Formal Methods in Computer-Aided Design 2020 Ordinal 20 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2020-09-21

FMCAD 2010 Title Formal Methods in Computer-Aided Design 2010 Ordinal 10 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2010-10-20

FMCAD 2008 Title Formal Methods in Computer-Aided Design 2008 Ordinal 8 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2008-11-17

FMCAD 2013 Title Formal Methods in Computer-Aided Design 2013 Ordinal 13 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2013-10-20

FMCAD 2017 Title Formal Methods in Computer-Aided Design 2017 Ordinal 17 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2017-10-02

FMCAD 2002 Title Formal Methods in Computer-Aided Design 2002 Ordinal 4 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2002-11-06

FMCAD 1996 Title Formal Methods in Computer-Aided Design 1996 Ordinal 1 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 1996-11-06

FMCAD 2014 Title Formal Methods in Computer-Aided Design 2014 Ordinal 14 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2014-10-21

FMCAD 2018 Title Formal Methods in Computer-Aided Design 2018 Ordinal 18 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2018-10-30

FMCAD 2012 Title Formal Methods in Computer-Aided Design 2012 Ordinal 12 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2012-10-22

FMCAD 2019 Title Formal Methods in Computer-Aided Design 2019 Ordinal 19 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2019-10-22

FMCAD 2006 Title Formal Methods in Computer-Aided Design 2006 Ordinal 6 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2006-11-12

FMCAD 2004 Title Formal Methods in Computer-Aided Design 2004 Ordinal 5 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2004-11-14

FMCAD 2009 Title Formal Methods in Computer-Aided Design 2009 Ordinal 9 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2009-11-15

FMCAD 1998 Title Formal Methods in Computer-Aided Design 1998 Ordinal 2 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 1998-11-04

FMCAD 2007 Title Formal Methods in Computer-Aided Design 2007 Ordinal 7 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2007-11-11

FMCAD 2015 Title Formal Methods in Computer-Aided Design 2015 Ordinal 15 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2015-09-27

FMCAD 2000 Title Formal Methods in Computer-Aided Design 2000 Ordinal 3 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2000-11-01

FMCAD 2016 Title Formal Methods in Computer-Aided Design 2016 Ordinal 16 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2016-10-03

FMCAD 2011 Title Formal Methods in Computer-Aided Design 2011 Ordinal 11 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2011-10-30

FMCAD 2023 Title Formal Methods in Computer-Aided Design 2023 Ordinal 23 Event Series FMCAD - Formal Methods in Computer-Aided Design Start Date 2023-10-23

Conference on Embedded Networked Sensor Systems Computer Networking Computer Communication Computer Hardware Embedded Systems Embedded Network Systems SoftCOM

intelligent vision systems. Recent advances in digital color imaging and computer hardware technology have led to an explosion in the use of color images in a

forum for interdisciplinary systems research, intersecting computer architecture, hardware and emerging technologies, programming languages and compilers

important information carriers. Recent advances in digital imaging and computer hardware technology have led to an explosion in the use of digital images in

intelligent vision systems. Recent advances in digital color imaging and computer hardware technology have led to an explosion in the use of color images in a

ca/iciar11/specialsession-01.php INTRODUCTION Recent advances in imaging and computer hardware technology have led to an explosion in the use of multispectral, hyperspectral

location. Graphics Hardware is a highly visible and respected forum for exchanging experience and knowledge related to computer graphics hardware, software, and

Academic Field Academic Field OECD FOS 2007 Computer And Information Sciences Event Series List AsiaCRYPT - International Conference on the Theory and

2023-08-23 → 2023-08-25 Software Architecture Hardware Architecture HOTI 2021 2021-08-18 → 2021-08-20 Software Architecture Hardware Architecture HOTI 2020 2020-08-19 → 2020-08-21

OECD FOS 2007 Computer And Information Sciences Event Series Events List HOTI 2023 2023-08-23 → 2023-08-25 Software Architecture Hardware Architecture HOTI

United States of America (US) Computer Hardware Embedded Systems Design GPCE 2023 2023-10-22 → 2023-10-27 Portugal (PT) Computer Science Programming SPLASH

2012-08-20 → 2012-08-24 Computer Security Computer Reliability Security ARES 2011 2011-08-22 → 2011-08-26 Computer Security Computer Reliability Security

Microcomputers, Computer Society, Institute of Electrical and Electronics Engineers Events List HOTI 2023 2023-08-23 → 2023-08-25 Software Architecture Hardware Architecture

FOS 2007 Computer And Information Sciences Event Series Events List AsianHOST 2016 2016-12-19 → 2016-12-20 Security Internet Of Things Hardware Security

Assistive Dining Devices Assistive Listening Devices Braille Displays Computer Hardware Ergonomic Devices for Transport Ergonomic Furniture Navigation Devices

memory compute clusters, single shared memory high performance computers, heterogeneous hardware such as GPGPUs, FPGAs have been tested for carrying out large

Academic Field OECD FOS 2007 Computer And Information Sciences Event Series List CHES - Workshop on Cryptographic Hardware and Embedded Systems Cryptography

design modern hardware/software systems. Our goal is to consider new formal and systematic techniques for the design of dependable hardware/software systems

Conference on Cryptographic Hardware and Embedded Systems Ordinal 23 Event Series CHES - Conference on Cryptographic Hardware and Embedded Systems Start

domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design. 4. System-level

2020-10-17 End Date 2020-10-21 Status as scheduled Mode online Academic Field Computer Architecture Official Website https://www.microarch.org/micro53/ Deadlines

FOS 2007 Computer And Information Sciences Event Series Events List AsianHOST 2016 2016-12-19 → 2016-12-20 Security Internet Of Things Hardware Security

2021-08-20 Status as scheduled Mode online Academic Field Software Architecture, Hardware Architecture Official Website https://old.hoti.org/2021/ Submission Link

Series Events List HOTI 2021 2021-08-18 → 2021-08-20 Software Architecture Hardware Architecture

Grand Hyatt Fukuoka City Fukuoka City Country Japan (JP) Academic Field Computer Architecture Official Website https://www.microarch.org/micro51/ Deadlines

Columbus Region Ohio Country United States of America (US) Academic Field Computer Architecture Official Website https://www.microarch.org/micro52/ Deadlines

New York Country United States of America (US) Academic Field Computer Communication, Computer Science, Embedded Network, Embedded Systems, Embedded Network

Interconnection Networks * Hardware support for parallel programming * Hardware support for debugging and program correctness * Hardware support for reliability

journal has an interdisciplinary scope, encompassing research from computer science, computer engineering and telecommunication/communication engineering with

Aachen Region North Rhine-Westphalia Country Germany (DE) Academic Field Computer Architecture Official Website http://www.petrinets2019.de/call-for-papers/

scheduled Mode on site City Leuven Country Belgium (BE) Academic Field Computer Architecture Official Website http://www.asap-conference.org Deadlines

2023-08-23 End Date 2023-08-25 Status as scheduled Mode online Academic Field Hardware Architecture, Software Architecture Official Website https://hoti.org/

Country United States of America (US) Academic Field Software Architecture, Hardware Architecture Official Website https://hoti.org/ Deadlines organization

Region California Country United States of America (US) Academic Field Hardware Architecture, Software Architecture Official Website https://hoti.org/

to: 1.Hardware and Software Design 2.Distributed and Parallel Processing 3.Advance Software Engineering 4.Computer Graphics and Multimedia 5.Computer Communication

multi-disciplinary conference for research that spans the boundaries of hardware, computer architecture, compilers, languages, operating systems, networking

2020-08-19 End Date 2020-08-21 Status as scheduled Mode online Academic Field Hardware Architecture, Software Architecture Official Website https://old.hoti.org/hoti27/

Chicago Region Illinois Country United States of America (US) Academic Field Computer Architecture Official Website http://www.comparch.binghamton.edu/raaw Deadlines

2020-06-24 End Date 2020-06-25 Status as scheduled Mode online Academic Field Computer Architecture Official Website https://lipn.univ-paris13.fr/petrinets2020/#header

casesconference.org C O D E S + I S S S 2008 International Conference on Hardware/Software Codesign and System Synthesis www.codes-isss.org E M S O F T 2008

IEEE Computer Society, Institute of Electrical and Electronics Engineers organization IEEE Technical Community on Scalable Computing, IEEE Computer Society

security Hardware security Secure computer architectures Embedded systems security Methods for detection of malicious or counterfeit hardware Side channels

Electronic Design Automation Computer Arithmetic and Cryptography Interconnection Networks Network Processor Architectures Hardware Virtualization and Architecture

Yorktown Region New York Country United States of America (US) Academic Field Computer Science, Supercomputing Official Website http://pcsostres.ac.upc.edu/i

Event Acronym SAMOS 2008 Title International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation Start Date 2008-07-21 End

of interest for submission include, but are not limited to: Computer architecture and hardware, including multicore and multiprocessor systems, accelerators

and information processing. This integration is between the components (hardware) and the information-driven functions (software), resulting in integrated

tracks as follows: - Hardware -- ISA & processors -- System and network interconnects -- Simulation & emulation -- Early hardware evaluations - Software

Compilers and tools for parallel computer systems * Multicore, multithreaded, superscalar, and VLIW architectures * Compiler/hardware support for hiding memory

program rather than using dedicated hardware, the requirements can not be fulfilled by hardware architects alone: Hardware and software have to work together

tracks as follows: - Hardware -- ISA & processors -- System and network interconnects -- Simulation & emulation -- Early hardware evaluations - Software

2021-03-15 organization Institute of Computer Science, University of Tartu Metrics Organizer Organization Institute of Computer Science, University of Tartu Venue

Deadlines organization IEEE Computer Society, Institute of Electrical and Electronics Engineers Metrics Organizer Organization IEEE Computer Society, Institute

Field Semantic Computing, Computer Science Official Website http://www1.icsi.berkeley.edu/icsc/ Deadlines organization IEEE Computer Society, Institute of

Mode on site City Yokohama Country Japan (JP) Academic Field Computer Security, Computer Reliability Official Website paris.utdallas.edu/ssiri08 Deadlines

trustworthy computing ● Design, implementation and analysis of security hardware ● Security hardware with cryptographic and security functions, physically unclonable

Region CA Country United States of America (US) Academic Field Computer Security, Computer Reliability Official Website http://www.ieee-security.org/TC/SP2008/oakland08

as scheduled Mode on site City Tokyo Country Japan (JP) Academic Field Computer Graphics Official Website http://www.psivt.org Deadlines 2008-09-22 2008-08-19

Mode on site City Lake Como Country Italy (IT) Academic Field Computer Security, Computer Reliability Official Website http://www.cs.ucy.ac.cy/carch/wda08

technical tracks as follows: Hardware ISA & processors System and network interconnects Simulation & emulation Early hardware evaluations Software System

concurrency ● New developments in the theory of concurrency ● Modelling of hardware and biological systems Topics specific to Petri nets ● System design using

processing Tools (IPL): * 3.1 Hardware implementation, * 3.2 Computer architecture and computer aided design, * 3.3 Computer aided diagnosis, * 3.4 Embedded

bandwidth and file access) bottlenecks. The advent of commodity (COTS) hardware platforms has opened up numerous possibilities in massive data gathering

tool and methodology 13. Hardware and Embedded Security: 13.1. Hardware-based security 13.2. Detection and prevention of hardware Trojans 13.3. Side-channel

City Vösendorf Region Lower Austria Country Austria (AT) Academic Field Computer Science, Programming Language Official Website http://cgo.org/cgo2018/

Status as scheduled Mode on site City Rome Country Italy (IT) Academic Field Computer Networking Official Website http://www.ieee-secon.com/2009/ Deadlines 2009-04-13

ACM Conference on Computer Supported Cooperative Work and Social Computing Ordinal 16 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

Washington Region DC Country United States of America (US) Academic Field Computer Architecture Official Website tridentcom.org Deadlines 2008-12-15 2008-10-15

Event Acronym SHIFT 2019 Title Software Hardware Interaction Faults Start Date 2019-10-28 End Date 2019-10-31 Status as scheduled Mode on site City Berlin

Miami Region Florida Country United States of America (US) Academic Field Computer Architecture Official Website http://www.ece.lsu.edu/vaidy/raw Deadlines

Call For Papers March 22-25, 2009 at Seattle, Washington Sponsored by IEEE Computer Society TC-uARCH and ACM SIGMICRO in cooperation with ACM SIGPLAN The International

are emerging research fields that have recently drawn much attention from computer science and information technology as well as from social sciences and

United Kingdom of Great Britain and Northern Ireland (GB) Academic Field Computer Graphics Official Website http://wiamis2009.qmul.net Deadlines 2009-01-16

ACM Conference on Computer Supported Cooperative Work and Social Computing Ordinal 23 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

Region Nevada Country United States of America (US) Academic Field Computer Security, Computer Reliability Official Website http://www.sersc.org/UASS2009 Deadlines

Republic (CZ) Academic Field Artificial Neural Network, Neural Networks, Computer Science Official Website http://www.icann2008.org Deadlines 2008-03-10

) Dynamic optimization, emulation, and object code translation Software/hardware speculation and prediction schemes Low and ultra-low power designs, design

application-oriented contributions within this scope will be considered. Software and hardware demonstrations are highly encouraged. Topics include, but are not limited

Transaction management for peer-to-peer networks * Query evaluation using network hardware * Cross-layer optimization of databases and networks This CfP was obtained

scheduled Mode on site City Kaunas Country Lithuania (LT) Academic Field Computer Architecture Official Website http://edcc.dependability.org Deadlines 2007-09-30

and practitioners in networked media, image processing, machine vision, computer graphics, virtual and augmented environments, and visual communications

Collaborative filtering * Computational biology * Computational intelligence * Computer vision * Constraint processing * Data mining * Decision support systems

2020-10-16 2020-08-19 2020-11-10 organization IEEE Computer Society Metrics Organizer Organization IEEE Computer Society Venue Atlanta, GA, United States of America

ACM Conference on Computer Supported Cooperative Work and Social Computing Ordinal 19 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

Society, Institute of Electrical and Electronics Engineers organization IEEE Computer Society, Institute of Electrical and Electronics Engineers organization

Society, Institute of Electrical and Electronics Engineers organization IEEE Computer Society, Institute of Electrical and Electronics Engineers organization

on Scalable Computing, IEEE Computer Society, Institute of Electrical and Electronics Engineers organization IEEE Computer Society, Institute of Electrical

Evolutionary Systems Evolvable Hardware Expert Systems Fault Diagnosis Fuzzy Systems Genetic Algorithms Genetic Programming Hardware Implementation Hybrid Systems

Conference on Innovation and Technology in Computer Science Education 2022-07-08 CEIG CEIG - Spanish Conference on Computer Graphics 2022-07-05 TAP 2022 TAP -

Accelerators & other Special-Purpose Hardware, Power-Aware/Energy-Efficient Performance: Scalability, Modeling, Evaluation of Hardware & Algorithms, Visualization

IADIS Computer Graphics, Visualization, Computer Vision and Image Processing (CGVCVIP) 2009 conference aims to address the main issues on Computer Graphics

Computational Biology, Computer Vision, Computer Music, E-Business, E-Commerce, Education, Engineering Areas (such as CAD, CAM, Computer Engineering, Civil

Acronym IMCL Title 4th International Conference on Interactive Mobile and Computer Aided Learning Event Series IMCL - Start Date 2009-04-22 End Date 2009-04-24

A7: Context aware Systems * A8: Networking and Communications * A9: Human-Computer Interaction * A10: Multimodal Spoken Language Dialogue Systems * A11: Knowledge

Region VA Country United States of America (US) Academic Field Computer Security, Computer Reliability Official Website http://www.rites.uic.edu/csaw Deadlines

Academic Field Computer Science, Semantic Computing Official Website http://www.ieee-icsc.org Deadlines 2013-05-31 organization IEEE Computer Society, Institute

Title 18th European Conference on Computer-Supported Cooperative Work Event Series ECSCW - European Conference on Computer Supported Cooperative Work Start

2017-03-30 organization Department of Computer Science, University of Cyprus Metrics Organizer Organization Department of Computer Science, University of Cyprus

2020-05-20 Status as scheduled Mode online Academic Field Computer Science, Computer Security, Computer Privacy Official Website https://www.ieee-security.org/TC/SP2020/index

software and hardware model-driven engineering and assessment of safety and security-critical systems and software resilient and fault-tolerant hardware and software

to: Artificial Intelligence and Technology Natural Language Processing Computer Vision Bioinformatics Robotics and Related Fields Expert Systems Multi-agent

City Boston Region MA Country United States of America (US) Academic Field Computer Architecture Official Website http://cgo.org/cgo2008 Deadlines 2007-11-09

ACM Conference on Computer-Supported Cooperative Work and Social Computing Ordinal 22 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

(FI) Academic Field Embedded Systems Official Website http://conferences.computer.org/compsac/2008/workshops/CORCS2008.html Deadlines 2008-04-07 2008-03-01

scheduled Mode on site City Shanghai Country China (CN) Academic Field Computer Science Official Website http://www.bigcomputing.org Deadlines 2017-07-31

Region North Carolina Country United States of America (US) Academic Field Computer Science, Embedded Network Sensor Systems, Embedded Systems, Sensor Systems

to: 1.Hardware and Software Design 2.Distributed and Parallel Processing 3.Advance Software Engineering 4.Computer Graphics and Multimedia 5.Computer Communication

International Conference on Computer-Aided Verification Ordinal 33 Event Series CAV - International Conference on Computer Aided Verification Start Date

IEEE Computer Society, Institute of Electrical and Electronics Engineers organization IEEE Technical Community on Scalable Computing, IEEE Computer Society

and hardware architectures for electronic and embedded systems. The emphasis is on methods, algorithms, and tools related to the use of computers in designing

ACM Conference on Computer-Supported Cooperative Work and Social Computing Ordinal 20 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

ACM Conference on Computer Supported Cooperative Work and Social Computing Ordinal 21 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

Chicago Region Illinois Country United States of America (US) Academic Field Computer Architecture Official Website http://www.crhc.uiuc.edu/~rakeshk/dasCMP

scheduled Mode on site City Prague Country Czech Republic (CZ) Academic Field Computer Architecture Official Website http://arcs2013.fit.cvut.cz Deadlines 2012-10-14

but this new computer architecture will only be successful if languages, systems, and applications can take advantage of parallel hardware. Navigating this

and more popular. Dynamic programming language is a term used broadly in computer science to describe a class of high-level programming languages that execute

Competence Developing Games WS 05 Hardware Defined Programming (HDP) – Adaptive Computing with Reconfigurable Hardware WS 06 Blended Museum: Neue Formen

Systems 6. Hardware/OS Acceleration for Big Data FPGA/CGRA/GPU accelerators for Big Data applications Operating system support and runtimes for hardware accelerators

Systems Hardware/OS Acceleration for Big Data FPGA/CGRA/GPU accelerators for Big Data applications Operating system support and runtimes for hardware accelerators

Republic of Ireland Section, the Chester and North Wales Branch of the British Computer Society (BCS), the Wales North Branch of the Institution of Engineering

ACM Conference on Computer Supported Cooperative Work and Social Computing Ordinal 24 Event Series CSCW - ACM Conference on Computer-Supported Cooperative

Technology City Vienna Region Vienna Country Austria (AT) Academic Field Computer Science, Programming Language, Compiler Construction Official Website https://www

Title 17th European Conference on Computer-Supported Cooperative Work Event Series ECSCW - European Conference on Computer Supported Cooperative Work Start

memory management; interactions with languages, operating systems, and hardware, especially the memory system; memory management related tools; and empirical

performance goals and resource constraints, creating and exploiting new hardware architectures, and scaling up to multicores and distributed systems. LCTES

International Conference on Computer Aided Verification Ordinal 32 Event Series CAV - International Conference on Computer Aided Verification Start Date

including the Circuits and Systems Society, the Com-munications Society, the Computer Society, and the Signal Processing Society. The conference will feature

interfaces - Cognitive systems and applications - Collective intelligence - Computer vision - Data mining - Differential Evolution - Evolutionary data mining

Image Processing L.Video compression &Streaming M. Computer Vision & VR N. Multimedia & Human-computer Interaction O. Statistic Learning & Pattern Recognition

verification techniques for finite and infinite state systems Software and hardware verification Theorem-proving and model-checking System construction and

scheduled Mode on site City Hsinchu Country Taiwan (TW) Academic Field Computer Architecture Official Website http://vlsidat.itri.org.tw/2009 Deadlines

on site City Amsterdam Country Netherlands (NL) Academic Field Computer Security, Computer Reliability Official Website http://syssec-project.eu/wks1 Deadlines

Region Ticino Country Switzerland (CH) Academic Field Operating System, Computer Science Official Website http://www.usenix.org/events/hotos09 Deadlines

Deadlines organization IEEE Computer Society, Institute of Electrical and Electronics Engineers Metrics Organizer Organization IEEE Computer Society, Institute

instructions and LaTeX macros are available on the IEEE Computer Society sites: ftp://pubftp.computer.org/Press/Outgoing/proceedings/ 8.5x11%20-%20Formatting%20files

15th ACM ASIA Conference on Computer and Communications Security Ordinal 15 Event Series AsiaCCS - ACM ASIA Conference on Computer and Communications Security

Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from

scheduled Mode on site City Stockholm Country Sweden (SE) Academic Field Computer Networking Official Website http://ipsn.acm.org/2010 Deadlines 2010-02-19

verification techniques for finite and infinite-state systems; Software and hardware verification; Theorem-proving and model-checking; System construction and

Event Acronym FMCAD 2008 Title Formal Methods in Computer-Aided Design Start Date 2008-11-17 End Date 2008-11-20 Status as scheduled Mode on site City

many interconnection problems which may occur at different levels in the hardware and software design of communicating entities and communication networks

invite high quality submissions on all aspects of evolutionary generation of computer programs featuring new original research. A double-blind review process

Symposium on High-Performance Computer Architecture Event Series HPCA - International Symposium on High-Performance Computer Architecture Start Date 2020-02-22

technologies and applications. ICME is co-sponsored by four IEEE societies (the Computer Society, the Signal Processing Society, the Circuits and Systems Society

restricted to the following topics: Pattern Recognition Image Analysis Computer Vision Multimedia Systems Statistical and Structural Pattern Recognition

design algorithms. Applications: Speech processing, image processing (computer vision, OCR) medical imaging, multimodal interactions, multi-channel processing

to the energy constraints of sensor devices, communication protocols and hardware architectures for wireless sensor networks necessitate an energy-aware

manuscript guidelines (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf or ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct

system architecture B. Real-time systems C. Embedded hardware support D. Embedded software E. Hardware/software co-design F. Testing techniques G. Application-specific

(4) Future Generation Computer Systems - Elsevier (SCI&EI Indexed, Impact Factor: 2.786) Special Issue on Future Generation Computer Systems https://www

technologies, augmented reality, computer vision, multimodal interaction, novel input and sensing technologies, computer supported cooperative work (CSCW)

United Kingdom of Great Britain and Northern Ireland (GB) Academic Field Computer Architecture Official Website http://www.hipeac.net/industry_workshop4cfp

Multimedia Systems and Applications - Cloud-assisted multimedia systems - Human computer interaction based on multimedia - Entertainment, gaming and e-learning

applications in any domain (e.g., scientific computation, video games, computer graphics, multimedia, information retrieval, optimization, text processing

virtualization in commodity hardware and virtualization software, I/O virtualization has received far less attention. However, both personal computers and servers may

Software Project Management Software Evaluation Computer Science and System: Computer Application System hardware and software Design The Internet of things

(4) Future Generation Computer Systems - Elsevier (SCI&EI Indexed, Impact Factor: 2.786) Special Issue on Future Generation Computer Systems https://www

Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the

of the publication venues with very high visibility and impact in both Computer and Communications areas. Prospective authors are invited to submit original

City Kuala Lumpur Region Kuala Lumpur Country Malaysia (MY) Academic Field Computer Science Official Website http://sdiwc.net/conferences/2013/Malaysia4/ Deadlines

workshops and conferences as part of the 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing. Topics of interest include

security * Computer and network forensics * Critical infrastructure security * Data and system integrity * Deployment and management of computer/network security

Transactions on Mathematics, WSEAS Transactions on Computer Science, WSEAS Transactions on Computer Research In Collaboration with the WSEAS IWG (International

safety-related and safety-critical computer systems. Topics include, but are not limited to: Fault-tolerant and resilient hardware and software architectures and

Human Computer Interaction Theme -------------------------------- Human Computer Interaction (HCI) is the study of how people interact with computers and

and interval constraint propagation Fuzzy information processing Fuzzy hardware and architectures Fuzzy optimization and decision making Fuzzy pattern

between applications and underlying platforms (operating systems; databases; hardware), and/or ties together distributed applications, databases or devices.

following technical areas, are invited: - Natural Language Processing - Computer Vision - Bioinformatics - Robotics and Related Fields - Expert Systems

NEUROENGINEERING Brain-machine interfaces Neural prostheses Neuromorphic hardware Embedded neural systems Other topics in neuroengineering BIO-INSPIRED AND

Interfaces for Human-Computer Interaction http://www.ihealthlab.icar.cnr.it/iihci2012 Palermo, Italy - July 4-6, 2012 Human-Computer Interaction (HCI) is

optimization Fuzzy control and robotics Fuzzy information processing Fuzzy hardware and architectures Fuzzy pattern recognition and classification Fuzzy clustering

Robotics Fusion of Sensors Hardware implementations in Neuroscience Software implementations in Neuroscience Brain-Computer Interfaces: design and applications

reliability and resilience, distributed ledger and blockchains, programmable hardware, energy management and green computing as well as cloud, fog, ubiquitous

software-defined networking, security, reliability and resilience, programmable hardware, energy management and green computing as well as cloud, fog, ubiquitous

safety-related and safety-critical computer systems. Topics include, but are not limited to: Fault-tolerant and resilient hardware and software architectures Fault

Event Acronym SafeComp 2020 Title 39th International Conference on Computer Safety, Reliability and Security Event Series Event Series:SafeComp Start Date

with the needs? How should we devise our applications in order to adapt to hardware evolution? How can our systems interact with previously unknown sensor

Overview The eighth OSDI seeks to present innovative, exciting research in computer systems. OSDI brings together professionals from academic and industrial

Theoretical foundations and mechanisms for privacy, security, trust Human computer interface for security functions Vulnerabilities of existing protocols

Characterization) http://www.iiswc.org/ Sponsored by the IEEE Computer Society and the Technical Committee on Computer Architecture Austin, TX October 4-6, 2009 Important

theory and technology from artificial intelligence, cognitive science, and computer science with theory and practice from education and social science. Areas

========================= CALL FOR PAPERS: Computing systems including hardware, software, communication, and networks are growing towards an ever increasing

City Renton Region WA Country United States of America (US) Academic Field Computer Science Official Website https://www.usenix.org/conference/atc19 DOI https://doi

Systems (TACAS) 2020 specification and verification techniques; software and hardware verification; analytical techniques for real-time, hybrid, or stochastic

chaos/neural/fuzzy-logic circuits, high-speed/low-power circuits. Computer-Aided Design (CAD): hardware/software co-design, logic and behavioral synthesis, logic

well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes

networks Agent-based systems Autonomous systems Computer modeling / simulation Computer security / forensics Computer networks Control systems Data mining Digital

scheduled Mode on site City Zhang Jia Jie Country China (CN) Academic Field Computer Networking Official Website http://www.eece.maine.edu/nas Deadlines 2009-05-08

high-reliability and/or low-power computation Reconfigurable/configurable hardware and systems including IP-cores, embedded systems, SoCs and cluster/grid/cloud

ubiquitous computing, 4 G all IP networks. Along with the rapid development of hardware and embedded systems, ad hoc and sensor networks are being further developed

and energy efficiency in computing and promoting environmentally friendly computer technologies and systems. The event aims at bringing together researchers

Systems (TACAS) 2022 specification and verification techniques; software and hardware verification; analytical techniques for real-time, hybrid, or stochastic

cannot be parallelized to take advantage of tens and eventually hundreds of hardware threads. Parallelizing programs is a difficult problem. User specification

software as a service. The high cost of creating and maintaining software and hardware infrastructures for delivering services to businesses has led to a notable

of large problems on grids. Benchmarking: Evaluating performance of grid hardware and middleware. Grid benchmarking. Infrastructure: Implementation and evaluation

and resources, system evaluation Asian language learning, teaching and computer-aided language learning NLP in vertical domains, such as biomedical, chemical

August 1-3, 2017 http://sopac-conference.info/cfp.html Sponsored by The IEEE Computer Society Call for Papers With the continuous proliferation of diverse Internet-based

to create synergies and inspire new collaborations between people from computer science, information science, social science, humanities, and everyone

encompasses virtually all research that lies at the intersection of the computer science and the modeling and simulation fields. Specifically, many research

Uchitel (Argentina) The proceedings will be published in the Lecture Notes in Computer Science (LNCS – Qualis A) series from Springer. Selected high-quality technical

digital circuits at switch and/or at logic level; Hardware accelerators for circuit-level simulation; Hardware accelerators for logic simulation; Distributed

Country United States of America (US) Official Website http://conferences.computer.org/compsac/2009/workshops/BINDIS2009CFP.htm Deadlines 2009-04-30 2009-02-16

Systems (TACAS) 2017 specification and verification techniques; software and hardware verification; analytical techniques for real-time, hybrid, or stochastic

techniques for the specification, development and verification of software and hardware systems. They have shown their great utility for setting up the formal

Taganrog Region Rostov-on-Don Country Russian Federation (RU) Academic Field Computer Security Official Website http://www.sinconf.org Deadlines 2010-06-04 2010-05-11

scheduled Mode on site City Lisbon Country Portugal (PT) Academic Field Computer Science Official Website http://wwwhni.uni-paderborn.de/self-x-in-engineering

Systems (TACAS) 2018 specification and verification techniques; software and hardware verification; analytical techniques for real-time, hybrid, or stochastic

performance feedback control o hardware / software codesign o WCET analysis o compilation for real-time or embedded systems o novel hardware or system architectures

analysis of cryptographic primitives secure implementation and optimization in hardware or software applied aspects of cryptography Submissions must use the Springer

platforms and algorithms Machine learning and deep learning on sensor data New hardware and system design to enable machine learning on sensor data Novel embedded

compression, architectures, distributed data systems, dataspaces, customized hardware) Special data processing (e.g., multilingual text, sequential, stream,

site City Las Vegas Country United States of America (US) Academic Field Computer Science Official Website http://2017.middleware-conference.org/call-fo

theses. We also welcome papers with descriptions of technical, software, hardware and other solutions. We particularly encourage scientific interns and students

physical, and social), engineering, medicine, and humanities problems - Hardware approaches of high performance computing in modeling and simulation IMPORTANT

debugging and verification of FPGA-based applications and systems. Novel hardware/software co-design and high-level synthesis methodologies enabling digital

economic models for clouds Managing cloud services Management of virtualized hardware resources Network-specific mechanisms for optimized cloud access Performance

QoS �?� Reconfigurability �?� Security and encryption �?� Sensor security HARDWARE AND SOFTWARE �?� Battery technology �?� Embedded chip design �?� Operating