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. |
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. |
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. |
EURASIPThis 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. |
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. |
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. |
TODAESACM 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. |
ACM Transactions on Embedded Computing SystemsThe 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. |
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. |
Journal of 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. |
Transactions on Computer-Aided DesignMethods, 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. |
Transactions on ComputersThe 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. |
Transactions on Software EngineeringThe 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. |
Transactions on Very Large Scale Integration 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. |
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. |
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. |
Software Tools for Technology TransferThe 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. |
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. |
