Science of Computer ProgrammingScience of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design. |
Journal of Computer SecurityThis journal presents research and development results of lasting significance in the theory, design, implementation, analysis, and application of secure computer systems and networks. |
IEEE Transactions on Computer-Aided Design (TCAD)Methods, algorithms, and human-machine interfaces for physical and logical design, including: planning, synthesis, partitioning, modeling, simulation, layout, verification, testing, and documentation of integrated-circuit and systems designs of all complexities. Practical applications of aids resulting in producible analog, digital, optical, or microwave integrated circuits areemphasized. |
IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsMethods, algorithms, and human-machine interfaces for physical and logical design, including: planning, synthesis, partitioning, modeling, simulation, layout, verification, testing, and documentation of integrated-circuit and systems designs of all complexities. Practical applications of aids resulting in producible analog, digital, optical, or microwave integrated circuits areemphasized. |
IEEE Transactions on Computers (TC)The IEEE Transactions on Computers is a monthly publication with a wide distribution to researchers, developers, technical managers, and educators in the computer field. It publishes papers, brief contributions, and comments on research in areas of current interest to the readers. |
European Journal of ControlThe European Union Control Association has among its objectives to promote the development of the discipline. Apart from the European Control Conferences, the European Journal of Control is the association’s main channel for the dissemination of important contributions in the field. |
International Journal on the Design Automation for Embedded SystemsDesign Automation for Embedded Systems is a multidisciplinary journal which addresses the systematic design of embedded systems, focusing primarily on tools, methodologies and architectures for embedded systems, including HW/SW co-design, simulation and modeling approaches, synthesis techniques, architectures and design exploration, among others. |
ACM Transactions on Design Automation of Electronic SystemsACM Transactions on Design Automation of Electronic Systems (TODAES) is a new CAD publication emphasizing a computer science/engineering orientation. TODAES contains a varied array of article formats, including research papers, tutorial and survey papers, as well as short technical notes. Let this new reference tool be your pulse to the rapidly changing field of design technology of electronic systems. |
Embedded ComputingThe Journal of Embedded Computing covers all aspects of the embedded computing. Topics of interest include, but are not limited to: Embedded Hardware Support, Embedded Software, Embedded System Architecture, Hardware/Software Co-design, Real-time Systems, Power and Energy-aware Computing, Sensor Networks, Testing and Verification, Application-specific Processors and Devices, Industrial Practices and Benchmark Suites and Embedded Computing Education. |
EURASIP Journal on Embedded SystemsThis international journal on theory, method and practice of embedded systems, used in designing homogeneous and heterogeneous embedded systems that combine data-driven and control-driven behaviors. |
International Journal on Formal Methods in System DesignThe focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. |
IEEE Transactions on Industrial InformaticsThe IEEE Transactions on Industrial Informatics publishes papers on all aspects of real-time and embedded systems, Cyber-Physical Systems, wireless embedded systems, embedded networks. Application areas of particular interest include automotive, train, aircraft, office and residential building, energy management, industrial automation, environment monitoring, etc - to cover: design, maintenance, fault tolerance & dependability, networks, infrastructure, safety and security. |
Journal of Parallel and Distributed ComputingThis international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have particular interests in parallel processing and/or distributed computing. |
Journal on Real Time SystemsPapers concentrate on real-time computing principles and applications, which may be research papers, invited papers, project reports and case studies, standards and corresponding proposals for general discussion, and a partitioned tutorial on real-time systems as a continuing series. |
ACM Transactions on Sensor Networks (TOSN)The ACM Transactions on Sensor Networks (TOSN) publishes high-quality papers reporting significant results in the research and applications of distributed, wireless or wireline sensor and actuator networks. |
IEEE Transactions on Software Engineering (TSE)The IEEE Transactions on Software Engineering is an archival journal published monthly. We are interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. |
International Journal on Software Tools for Technology Transfer (STTT)The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. It is particularly intended to offer a tool-oriented link between academic research and industrial practice. |
IEEE Transactions on Very Large Scale Integration (VLSI) SystemsIncludes all major aspects of the design and implementation of VLSI/ULSI and microelectronic systems. Topics of special interest include: systems specifications, design and partitioning, high performance computing and communication systems, neural networks, wafer-scale integration and multichip module systems and their applications. |
ACM TECSThe design of embedded computing systems, both the software and hardware, increasingly relies on sophisticated algorithms, analytical models, and methodologies. ACM Transactions on Embedded Computing Systems (TECS) aims to present the leading work relating to the analysis, design, behavior, and experience with embedded computing systems. |
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009
