for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2383 journals)
    - CHEMICAL ENGINEERING (204 journals)
    - CIVIL ENGINEERING (199 journals)
    - ELECTRICAL ENGINEERING (109 journals)
    - ENGINEERING (1248 journals)
    - ENGINEERING MECHANICS AND MATERIALS (396 journals)
    - HYDRAULIC ENGINEERING (56 journals)
    - INDUSTRIAL ENGINEERING (74 journals)
    - MECHANICAL ENGINEERING (97 journals)

ENGINEERING (1248 journals)            First | 1 2 3 4 5 6 7 | Last

Showing 401 - 600 of 1205 Journals sorted alphabetically
IEEE Transactions on Vehicular Technology     Hybrid Journal   (Followers: 4)
IEEE Vehicular Technology Magazine     Full-text available via subscription   (Followers: 7)
IEEE/ACM Transactions on Computational Biology and Bioinformatics     Hybrid Journal   (Followers: 16)
IERI Procedia     Open Access   (Followers: 1)
IET Circuits, Devices & Systems     Hybrid Journal   (Followers: 18)
IET Generation, Transmission & Distribution     Hybrid Journal   (Followers: 3)
IET Image Processing     Hybrid Journal   (Followers: 18)
IET Micro and Nano Letters     Hybrid Journal   (Followers: 6)
IET Microwaves, Antennas & Propagation     Hybrid Journal   (Followers: 31)
IET Optoelectronics     Hybrid Journal   (Followers: 1)
IET Radar, Sonar & Navigation     Hybrid Journal   (Followers: 30)
IET Renewable Power Generation     Hybrid Journal   (Followers: 11)
IET Science, Measurement & Technology     Hybrid Journal   (Followers: 2)
IET Signal Processing     Hybrid Journal   (Followers: 19)
IETE Journal of Research     Open Access   (Followers: 10)
IETE Technical Review     Open Access   (Followers: 13)
IIE Transactions     Hybrid Journal   (Followers: 1)
IIUM Engineering Journal     Open Access  
Implementation Science     Open Access   (Followers: 16)
Indian Journal of Biotechnology (IJBT)     Open Access   (Followers: 2)
Indonesian Journal of Science and Technology     Open Access  
Industrial Data     Open Access   (Followers: 1)
Industrie et Technologies     Full-text available via subscription   (Followers: 17)
Informatik-Spektrum     Hybrid Journal   (Followers: 2)
Inge-Cuc     Open Access  
Ingeniare : Revista Chilena de Ingenieria     Open Access   (Followers: 1)
Ingenieria     Open Access   (Followers: 1)
Ingeniería     Open Access   (Followers: 1)
Ingenieria de Recursos Naturales y del Ambiente     Open Access  
Ingeniería Energética     Open Access  
Ingenieria Industrial. Actualidad y Nuevas Tendencias     Open Access  
Ingeniería Investigación y Desarrollo     Open Access   (Followers: 2)
Ingeniería solidaria     Open Access   (Followers: 1)
Ingenieria y Ciencia     Open Access   (Followers: 1)
Ingeniería y Desarrollo     Open Access  
Ingenieria y Universidad     Open Access   (Followers: 1)
Ingeniería, Investigación y Tecnología     Open Access   (Followers: 1)
Ingenierías USBMed     Open Access  
Ingenio Magno     Open Access   (Followers: 1)
Ingenium : Revista de la Facultad de Ingeniería     Open Access  
Ingenius : Revista de Ciencia y Tecnología     Open Access  
Innovare : Revista de ciencia y tecnología     Open Access  
Instrumentation Science & Technology     Hybrid Journal   (Followers: 6)
Integration, the VLSI Journal     Hybrid Journal   (Followers: 5)
Intelligent Control and Automation     Open Access   (Followers: 6)
Intelligent Transportation Systems Magazine, IEEE     Full-text available via subscription   (Followers: 12)
Interface Science and Technology     Full-text available via subscription  
Intermetallics     Hybrid Journal   (Followers: 23)
International Archives of Science and Technology     Open Access  
International Communications in Heat and Mass Transfer     Hybrid Journal   (Followers: 20)
International conference KNOWLEDGE-BASED ORGANIZATION     Open Access  
International Heat Treatment and Surface Engineering     Hybrid Journal   (Followers: 4)
International Journal for Numerical Methods in Engineering     Hybrid Journal   (Followers: 30)
International Journal for Numerical Methods in Fluids     Hybrid Journal   (Followers: 19)
International Journal for Simulation and Multidisciplinary Design Optimization     Open Access   (Followers: 4)
International Journal for the History of Engineering & Technology     Hybrid Journal   (Followers: 7)
International Journal of Abrasive Technology     Hybrid Journal   (Followers: 2)
International Journal of Adaptive Control and Signal Processing     Hybrid Journal   (Followers: 4)
International Journal of Adhesion and Adhesives     Hybrid Journal   (Followers: 18)
International Journal of Advanced Engineering Research and Science IJAERS     Open Access   (Followers: 8)
International Journal of Advanced engineering, Management and Science     Open Access   (Followers: 2)
International Journal of Advanced Research in Engineering     Open Access  
International Journal of Advancements in Technology     Open Access   (Followers: 1)
International Journal of Advances in Applied Sciences     Open Access   (Followers: 4)
International Journal of Advances in Engineering Sciences     Open Access   (Followers: 2)
International Journal of Advances in Engineering Sciences and Applied Mathematics     Hybrid Journal   (Followers: 1)
International Journal of Advances in Engineering, Science and Technology     Open Access   (Followers: 3)
International Journal of Aerodynamics     Hybrid Journal   (Followers: 24)
International Journal of Air-Conditioning and Refrigeration     Hybrid Journal   (Followers: 12)
International Journal of Antennas and Propagation     Open Access   (Followers: 11)
International Journal of Applied Ceramic Technology     Hybrid Journal   (Followers: 8)
International Journal of Architectural Computing     Full-text available via subscription   (Followers: 5)
International Journal of Automation and Control Engineering     Open Access   (Followers: 4)
International Journal of Automotive Technology and Management     Hybrid Journal   (Followers: 6)
International Journal of Autonomic Computing     Hybrid Journal   (Followers: 1)
International Journal of Autonomous and Adaptive Communications Systems     Hybrid Journal   (Followers: 3)
International Journal of Basic and Applied Sciences     Open Access   (Followers: 4)
International Journal of Bifurcation and Chaos     Hybrid Journal   (Followers: 3)
International Journal of Biomedical and Clinical Engineering     Full-text available via subscription   (Followers: 4)
International Journal of Biomedical Imaging     Open Access   (Followers: 3)
International Journal of Cast Metals Research     Hybrid Journal  
International Journal of Circuit Theory and Applications     Hybrid Journal   (Followers: 1)
International Journal of Coal Science & Technology     Open Access   (Followers: 1)
International Journal of Collaborative Engineering     Hybrid Journal  
International Journal of Communication Systems     Hybrid Journal   (Followers: 1)
International Journal of Complexity in Applied Science and Technology     Hybrid Journal  
International Journal of Computer Aided Engineering and Technology     Hybrid Journal   (Followers: 2)
International Journal of Computer Applications in Technology     Hybrid Journal   (Followers: 2)
International Journal of Control Science and Engineering     Open Access   (Followers: 6)
International Journal of Control, Automation and Systems     Hybrid Journal   (Followers: 11)
International Journal of Corrosion     Open Access   (Followers: 10)
International Journal of Crashworthiness     Hybrid Journal   (Followers: 9)
International Journal of Design Engineering     Hybrid Journal   (Followers: 12)
International Journal of Digital Multimedia Broadcasting     Open Access   (Followers: 5)
International Journal of Digital Signals and Smart Systems     Hybrid Journal  
International Journal of Education and Management Engineering     Open Access   (Followers: 2)
International Journal of Education Economics and Development     Hybrid Journal   (Followers: 5)
International Journal of Embedded Systems     Hybrid Journal   (Followers: 5)
International Journal of Energy Optimization and Engineering     Hybrid Journal   (Followers: 5)
International Journal of Engine Research     Hybrid Journal   (Followers: 2)
International Journal of Engineering & Technology     Open Access   (Followers: 5)
International Journal of Engineering and Future Technology     Open Access  
International Journal of Engineering and Manufacturing     Open Access   (Followers: 1)
International Journal of Engineering and Technologies     Open Access   (Followers: 1)
International Journal of Engineering Business Management     Open Access   (Followers: 2)
International Journal of Engineering Education     Full-text available via subscription   (Followers: 5)
International Journal of Engineering Management and Economics     Hybrid Journal   (Followers: 4)
International Journal of Engineering Mathematics     Open Access   (Followers: 5)
International Journal of Engineering Pedagogy     Open Access  
International Journal of Engineering Practical Research     Open Access  
International Journal of Engineering Research in Africa     Full-text available via subscription   (Followers: 3)
International Journal of Engineering Science     Hybrid Journal   (Followers: 5)
International Journal of Engineering Systems Modelling and Simulation     Hybrid Journal   (Followers: 9)
International Journal of Engineering, Science and Technology     Open Access  
International Journal of Engineering, Social Justice, and Peace     Open Access   (Followers: 4)
International Journal of Environmental Engineering     Hybrid Journal   (Followers: 5)
International Journal of Experimental Design and Process Optimisation     Hybrid Journal   (Followers: 5)
International Journal of Fatigue     Hybrid Journal   (Followers: 38)
International Journal of Foresight and Innovation Policy     Hybrid Journal   (Followers: 5)
International Journal of Fracture     Hybrid Journal   (Followers: 13)
International Journal of Geo-Engineering     Open Access   (Followers: 3)
International Journal of Geotechnical Engineering     Hybrid Journal   (Followers: 6)
International Journal of Grid and Utility Computing     Hybrid Journal  
International Journal of Heat and Fluid Flow     Hybrid Journal   (Followers: 35)
International Journal of Heat and Mass Transfer     Hybrid Journal   (Followers: 232)
International Journal of Heavy Vehicle Systems     Hybrid Journal   (Followers: 7)
International Journal of Imaging Systems and Technology     Hybrid Journal   (Followers: 1)
International Journal of Impact Engineering     Hybrid Journal   (Followers: 9)
International Journal of Information Acquisition     Hybrid Journal   (Followers: 1)
International Journal of Innovation and Applied Studies     Open Access   (Followers: 5)
International Journal of Innovation Science     Hybrid Journal   (Followers: 10)
International Journal of Innovative Technology and Research     Open Access   (Followers: 2)
International Journal of Integrated Engineering     Open Access  
International Journal of Intelligent Engineering Informatics     Hybrid Journal  
International Journal of Intelligent Systems and Applications in Engineering     Open Access   (Followers: 3)
International Journal of Lifecycle Performance Engineering     Hybrid Journal   (Followers: 1)
International Journal of Machine Tools and Manufacture     Hybrid Journal   (Followers: 7)
International Journal of Manufacturing Research     Hybrid Journal   (Followers: 7)
International Journal of Manufacturing Technology and Management     Hybrid Journal   (Followers: 7)
International Journal of Marine Engineering Innovation and Research     Open Access  
International Journal of Materials and Product Technology     Hybrid Journal   (Followers: 3)
International Journal of Mathematical Education in Science and Technology     Hybrid Journal   (Followers: 9)
International Journal of Mathematics in Operational Research     Hybrid Journal   (Followers: 1)
International Journal of Medical Engineering and Informatics     Hybrid Journal   (Followers: 4)
International Journal of Micro Air Vehicles     Full-text available via subscription   (Followers: 9)
International Journal of Microwave and Wireless Technologies     Hybrid Journal   (Followers: 7)
International Journal of Mobile Network Design and Innovation     Hybrid Journal   (Followers: 2)
International Journal of Multiphase Flow     Hybrid Journal   (Followers: 8)
International Journal of Nanomanufacturing     Hybrid Journal  
International Journal of Nanoscience     Hybrid Journal   (Followers: 1)
International Journal of Nanotechnology     Hybrid Journal   (Followers: 7)
International Journal of Nanotechnology and Molecular Computation     Full-text available via subscription   (Followers: 3)
International Journal of Natural Science and Engineering     Open Access  
International Journal of Navigation and Observation     Open Access   (Followers: 20)
International Journal of Network Management     Hybrid Journal   (Followers: 1)
International Journal of Nonlinear Dynamics and Control     Hybrid Journal  
International Journal of Nonlinear Sciences and Numerical Simulation     Hybrid Journal  
International Journal of Numerical Methods for Heat & Fluid Flow     Hybrid Journal   (Followers: 11)
International Journal of Optics     Open Access   (Followers: 7)
International Journal of Organisational Design and Engineering     Hybrid Journal   (Followers: 3)
International Journal of Pattern Recognition and Artificial Intelligence     Hybrid Journal   (Followers: 9)
International Journal of Pavement Engineering     Hybrid Journal   (Followers: 6)
International Journal of Physical Modelling in Geotechnics     Hybrid Journal   (Followers: 5)
International Journal of Plasticity     Hybrid Journal   (Followers: 7)
International Journal of Plastics Technology     Hybrid Journal   (Followers: 2)
International Journal of Polymer Analysis and Characterization     Hybrid Journal   (Followers: 8)
International Journal of Polymer Science     Open Access   (Followers: 24)
International Journal of Precision Engineering and Manufacturing     Hybrid Journal   (Followers: 8)
International Journal of Precision Engineering and Manufacturing-Green Technology     Hybrid Journal   (Followers: 2)
International Journal of Precision Technology     Hybrid Journal   (Followers: 1)
International Journal of Pressure Vessels and Piping     Hybrid Journal   (Followers: 25)
International Journal of Production Economics     Hybrid Journal   (Followers: 14)
International Journal of Quality and Innovation     Hybrid Journal   (Followers: 6)
International Journal of Quality Assurance in Engineering and Technology Education     Full-text available via subscription   (Followers: 2)
International Journal of Quality Engineering and Technology     Hybrid Journal   (Followers: 3)
International Journal of Quantum Information     Hybrid Journal   (Followers: 4)
International Journal of Rapid Manufacturing     Hybrid Journal   (Followers: 3)
International Journal of Recent Contributions from Engineering, Science & IT     Open Access   (Followers: 1)
International Journal of Reliability, Quality and Safety Engineering     Hybrid Journal   (Followers: 15)
International Journal of Renewable Energy Technology     Hybrid Journal   (Followers: 9)
International Journal of Robust and Nonlinear Control     Hybrid Journal   (Followers: 5)
International Journal of Science Engineering and Advance Technology     Open Access   (Followers: 1)
International Journal of Sediment Research     Full-text available via subscription   (Followers: 3)
International Journal of Self-Propagating High-Temperature Synthesis     Hybrid Journal   (Followers: 1)
International Journal of Service Science, Management, Engineering, and Technology     Full-text available via subscription   (Followers: 2)
International Journal of Signal and Imaging Systems Engineering     Hybrid Journal  
International Journal of Six Sigma and Competitive Advantage     Hybrid Journal   (Followers: 2)
International Journal of Social Robotics     Hybrid Journal   (Followers: 3)
International Journal of Software Engineering and Knowledge Engineering     Hybrid Journal   (Followers: 6)
International Journal of Space Science and Engineering     Hybrid Journal   (Followers: 7)
International Journal of Speech Technology     Hybrid Journal   (Followers: 8)
International Journal of Spray and Combustion Dynamics     Hybrid Journal   (Followers: 15)
International Journal of Surface Engineering and Interdisciplinary Materials Science     Full-text available via subscription   (Followers: 1)
International Journal of Surface Science and Engineering     Hybrid Journal   (Followers: 7)
International Journal of Sustainable Engineering     Hybrid Journal   (Followers: 4)
International Journal of Sustainable Lighting     Open Access  
International Journal of Sustainable Manufacturing     Hybrid Journal   (Followers: 4)
International Journal of Systems and Service-Oriented Engineering     Full-text available via subscription  
International Journal of Systems Assurance Engineering and Management     Hybrid Journal  
International Journal of Systems, Control and Communications     Hybrid Journal   (Followers: 3)

  First | 1 2 3 4 5 6 7 | Last

Journal Cover Foundations and Trends® in Electronic Design Automation
  [SJR: 0.153]   [H-I: 10]   [0 followers]  Follow
    
   Full-text available via subscription Subscription journal
   ISSN (Print) 1551-3939 - ISSN (Online) 1551-3947
   Published by Now Publishers Inc Homepage  [30 journals]
  • Contracts for System Design
    • Abstract: Recently, contract-based design has been proposed as an “orthogonal” approachthat complements system design methodologies proposed so far tocope with the complexity of system design. Contract-based design providesa rigorous scaffolding for verification, analysis, abstraction/refinement, andeven synthesis. A number of results have been obtained in this domain buta unified treatment of the topic that can help put contract-based design inperspective was missing. This monograph intends to provide such a treatmentwhere contracts are precisely defined and characterized so that they canbe used in design methodologies with no ambiguity. In particular, this monographidentifies the essence of complex system design using contracts througha mathematical “meta-theory”, where all the properties of the methodologyare derived from a very abstract and generic notion of contract. We show thatthe meta-theory provides deep and illuminating links with existing contractand interface theories, as well as guidelines for designing new theories. Ourstudy encompasses contracts for both software and systems, with emphasison the latter. We illustrate the use of contracts with two examples: requirementengineering for a parking garage management, and the development ofcontracts for timing and scheduling in the context of the AUTOSAR methodologyin use in the automotive sector.Suggested CitationAlbert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger and Kim G. Larsen (2018), "Contracts for System Design", Foundations and Trends® in Electronic Design Automation: Vol. 12: No. 2-3, pp 124-400. http://dx.doi.org/10.1561/1000000053
      PubDate: Wed, 28 Mar 2018 00:00:00 +020
       
  • Non-Boolean Computing with Spintronic Devices
    • Abstract: In addition to the electron’s charge, Spintronics deals with the electron’sspin and magnetic moment for computation or data storage. Certainly,an extremely promising application of spintronic devices is datastorage;the remanence makes the memory non-volatile and instant-on.Moreover, these devices are thermally stable making them suitable forextreme-temperature operations.In this monograph, we leverage spintronic devices for informationprocessing and do not cover data-storage. We explore three non-Boolean computational framework: (1) Energy minimization based optimizer,which we recently published in Nature Nanotechnology [23],(2) Coupled Oscillatory framework [47] and (3) Neuromorphic learningframework. In Energy minimization framework, we harness the innatephysical properties of nanomagnets to directly solve a class of energyminimization problems. Due to the fact that the Hamiltonian of a systemof coupled nanomagnets is quadratic, a wide class of quadraticenergy minimization can be solved much more quickly by the relaxationof a grid of nanomagnets than by a conventional Boolean processor.Another property that researchers have harnessed is achievingradio-frequency ferromagnetic resonance, which can be harnessed in asystem of nano-oscillators to provide solution to dynamical systems.This property is also utilized in neuromorphic frameworks.Suggested CitationKawsher A. Roxy and Sanjukta Bhanja (2018), "Non-Boolean Computing with Spintronic Devices", Foundations and Trends® in Electronic Design Automation: Vol. 12: No. 1, pp 1-123. http://dx.doi.org/10.1561/1000000046
      PubDate: Wed, 17 Jan 2018 00:00:00 +010
       
  • Error-Efficient Computing Systems
    • Abstract: This survey explores the theory and practice of techniques to make computingsystems faster or more energy-efficient by allowing them to make controllederrors. In the same way that systems which only use as much energy as necessaryare referred to as being energy-efficient, you can think of the class ofsystems addressed by this survey as being error-efficient: They only preventas many errors as they need to. The definition of what constitutes an errorvaries across the parts of a system. And the errors which are acceptable dependon the application at hand.In computing systems, making errors, when behaving correctly would betoo expensive, can conserve resources. The resources conserved may be time:By making some errors, systems may be faster. The resource may also beenergy: A system may use less power from its batteries or from the electricalgrid by only avoiding certain errors while tolerating benign errors that areassociated with reduced power consumption. The resource in question may bean even more abstract quantity such as consistency of ordering of the outputsof a system.This survey is for anyone interested in an end-to-end view of one set oftechniques that address the theory and practice of making computing systemsmore efficient by trading errors for improved efficiency.Suggested CitationPhillip Stanley-Marbell and Martin Rinard (2017), "Error-Efficient Computing Systems", Foundations and Trends® in Electronic Design Automation: Vol. 11: No. 4, pp 362-461. http://dx.doi.org/10.1561/1000000049
      PubDate: Mon, 18 Dec 2017 00:00:00 +010
       
  • Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum
           Architecture
    • Abstract: This manuscript is the second in a two part survey and analysis ofthe state of the art in secure processor systems, with a specific focuson remote software attestation and software isolation. The firstpart established the taxonomy and prerequisite concepts relevant toan examination of the state of the art in trusted remote computation:attested software isolation containers (enclaves). This second part extendsPart I’s description of Intel’s Software Guard Extensions (SGX),an available and documented enclave-capable system, with a rigoroussecurity analysis of SGX as a system for trusted remote computation.This part documents the authors’ concerns over the shortcomings ofSGX as a secure system and introduces the MIT Sanctum processordeveloped by the authors: a system designed to offer stronger securityguarantees, lend itself better to analysis and formal verification, andoffer a more straightforward and complete threat model than the Intelsystem, all with an equivalent programming model.This two part work advocates a principled, transparent, and wellscrutinizedapproach to system design, and argues that practical guaranteesof privacy and integrity for remote computation are achievableat a reasonable design cost and performance overhead.Suggested CitationVictor Costan, Ilia Lebedev and Srinivas Devadas (2017), "Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture", Foundations and Trends® in Electronic Design Automation: Vol. 11: No. 3, pp 249-361. http://dx.doi.org/10.1561/1000000052
      PubDate: Thu, 13 Jul 2017 00:00:00 +020
       
  • Secure Processors Part I: Background, Taxonomy for Secure Enclaves and
           Intel SGX Architecture
    • Abstract: This manuscript is the first in a two part survey and analysis of the stateof the art in secure processor systems, with a specific focus on remotesoftware attestation and software isolation. This manuscript first examinesthe relevant concepts in computer architecture and cryptography,and then surveys attack vectors and existing processor systems claimingsecurity for remote computation and/or software isolation. Thiswork examines in detail the modern isolation container (enclave) primitiveas a means to minimize trusted software given practical trustedhardware and reasonable performance overhead. Specifically, this workexamines in detail the programming model and software design considerationsof Intel’s Software Guard Extensions (SGX), as it is anavailable and documented enclave-capable system.Part II of this work is a deep dive into the implementation and securityevaluation of two modern enclave-capable secure processor systems:SGX and MIT’s Sanctum. The complex but insufficient threatmodel employed by SGX motivates Sanctum, which achieves strongersecurity guarantees under software attacks with an equivalent programmingmodel.This work advocates a principled, transparent, and well-scrutinizedapproach to secure system design, and argues that practical guaranteesof privacy and integrity for remote computation are achievable at areasonable design cost and performance overhead.Suggested CitationVictor Costan, Ilia Lebedev and Srinivas Devadas (2017), "Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture", Foundations and Trends® in Electronic Design Automation: Vol. 11: No. 1-2, pp 1-248. http://dx.doi.org/10.1561/1000000051
      PubDate: Thu, 13 Jul 2017 00:00:00 +020
       
  • Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems
           Approach
    • Abstract: As the automotive industry is entering the smart era through advancesin sensing, computation, storage, communication, and actuation technologies,a larger number of more complex control applications withbetter performances are expected to be on board. This requires an implementationplatform with abundant resources, which is undesired inthe cost-sensitive automotive domain. The implementation platform,often embedded in an Electronic Control Unit (ECU) and shared bymultiple applications to save cost, is mainly comprised of a processorfor computation, memory for storing instructions and data, and busfor internal and external communication. Conventionally, automotivecontrol systems are designed using model-based approaches, where thedetails of the implementation platform are ignored. Techniques thatintegrate the characteristics of implementation resources into controlalgorithms design are largely missing. Such a separate design paradigmis too conservative in resources dimensioning and utilization for modernvehicles. This article presents recently developed approaches in automotivecontrol systems design that take implementation resources intoconsideration, aiming to improve the control performances for a givenamount of resources, or equivalently, realize the required control performanceswith fewer resources. While communication resources have beenextensively explored in the literature of networked embedded controlsystems, we will focus on memory and computation resources, whichhave started to receive attention from the academic community andindustry just recently. As Electric Vehicles (EVs) have become a newtrend in the automotive industry, energy resources of EVs, i.e., thebatteries, are also investigated. A number of real-world applicationsvalidate the resource-aware automotive systems design techniques presentedin this article.Suggested CitationWanli Chang and Samarjit Chakraborty (2016), "Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach", Foundations and Trends® in Electronic Design Automation: Vol. 10: No. 4, pp 249-369. http://dx.doi.org/10.1561/1000000045
      PubDate: Thu, 29 Dec 2016 00:00:00 +010
       
  • Fast Uncovering of Graph Communities on a Chip: Toward Scalable Community
           Detection on Multicore and Manycore Platforms
    • Abstract: Graph representations are pervasive in scientific and social computing.They serve as vital tools to model the interplay among differentinteracting entities.In this paper, we visit the problem of community detection, which isone of the most widely used graph operations toward scientific discovery.Community detection refers to the process of identifying tightlyknitsubgroups of vertices in a large graph. These sub-groups (or communities)represent vertices that are tied together through commonstructure or function. Identification of communities could help in understandingthe modular organization of complex networks. However,owing to large data sizes and high computational costs, performingcommunity detection at scale has become increasingly challenging.Here, we present a detailed review and analysis of some of the leadingcomputational methods and implementations developed for executingcommunity detection on modern day multicore and manycorearchitectures. Our goals are to: a) define the problem of community detectionand highlight its scientific significance; b) relate to challengesin parallelizing the operation on modern day architectures; c) providea detailed report and logical organization of the approaches that havebeen designed for various architectures; and d) finally, provide insightsinto the strengths and suitability of different architectures for communitydetection, and a preview into the future trends of the area. It is ourhope that this detailed treatment of community detection on parallelarchitectures can serve as an exemplar study for extending the applicationof modern day multicore and manycore architectures to othercomplex graph applications.Suggested CitationAnanth Kalyanaraman, Mahantesh Halappanavar, Daniel Chavarría-Miranda, Hao Lu, Karthi Duraisamy and Partha Pratim Pande (2016), "Fast Uncovering of Graph Communities on a Chip: Toward Scalable Community Detection on Multicore and Manycore Platforms", Foundations and Trends® in Electronic Design Automation: Vol. 10: No. 3, pp 145-247. http://dx.doi.org/10.1561/1000000044
      PubDate: Fri, 19 Aug 2016 00:00:00 +020
       
  • Smart Connected Buildings Design Automation: Foundations and Trends
    • Abstract: Buildings are the result of a complex integration of multi-physics subsystems. Besides the obvious civil engineering infrastructure, thermal, electrical, mechanical, control, communication and computing subsystems must co-exist and be operated so that the overall operation is smooth and efficient. This is particularly important for commercial buildings but is also very relevant for residential buildings especially apartment buildings. Unfortunately, the design and deployment of these subsystems is rarely synchronized: lighting, security, heating, ventilation and air conditioning systems are often designed independently. However, simply putting together a collection of sub-systems, albeit optimized, has led to the inefficient buildings of today. Worldwide, buildings consume 42% of all electrical power – more than any other asset – and it can be proven that much of this can be reduced if a holistic approach to design, deployment, and operation is taken. Government agencies, academic institutions, building contractors and owners have realized the significant impact of buildings on the global environment, the electrical grid, and the mission of their organizations. However, the economic impact for all constituencies is still difficult to assess. Government regulations can play a fundamental role, as it has been the case for the transportation industry where regulations on emission and fuel consumption have been the single most important factor of innovation in automotive design. We are convinced that by leveraging technology and utilizing a system-level approach to buildings, they will provide comfort, safety and functionality while minimizing energy cost, supporting a robust electric grid and mitigating environmental impact. Realizing this vision requires adding intelligence from the beginning of the design phase, to deployment, from commissioning to operation, all the way to the end of the building’s life cycle. In this issue, we attempt to provide an as-complete-as-possible overview of the activities in the field of smart connected building design automation that attempts to make the vision a reality. The overarching range of such activities includes developing simulation tools for modeling and the design of buildings, and consequently control algorithms proposed to make buildings smarter and more efficient. Furthermore, we will review real-world and large-scale implementation of such control strategies on physical buildings. We then present a formal co-design methodology to design buildings, taking the view that buildings are prime examples of cyber-physical systems where the virtual and physical worlds meet as more traditional products such as thermostats are able to connect online and perform complicated computational tasks to control building temperature effectively. We complete the presentation describing the growing role of buildings in the operation of the smart grid where buildings are not only consumers of energy, but are themselves also providers of services and energy to the grid. The audiences for this monograph are industry professionals and researchers who work in the area of smart buildings, smart cities, and smart grid, with emphasis on energy efficiency, simulation tools, optimal control, and cyber-physical systems for the emerging power markets.Suggested CitationMehdi Maasoumy and Alberto Sangiovanni-Vincentelli (2016), "Smart Connected Buildings Design Automation: Foundations and Trends", Foundations and Trends® in Electronic Design Automation: Vol. 10: No. 1-2, pp 1-143. http://dx.doi.org/10.1561/1000000043
      PubDate: Wed, 09 Mar 2016 00:00:00 +010
       
  • High-Confidence Medical Device Software Development
    • Abstract: The design of bug-free and safe medical device software is challenging, especially in complex implantable devices. This is due to the device’s closed-loop interaction with the patient’s organs, which are stochastic physical environments. The life-critical nature and the lack of existing industry standards to enforce software validation make this an ideal domain for exploring design automation challenges for integrated functional and formal modeling with closed-loop analysis. The primary goal of high-confidence medical device software is to guarantee the device will never drive the patient into an unsafe condition even though we do not have complete understanding of the physiological plant. There are two major differences between modeling physiology and modeling man-made systems: first, physiology is much more complex and less well-understood than man-made systems like cars and airplanes, and spans several scales from the molecular to the entire human body. Secondly, the variability between humans is orders of magnitude larger than that between two cars coming off the assembly line. Using the implantable cardiac pacemaker as an example of closed-loop device, and the heart as the organ to be modeled, we present several of the challenges and early results in model-based device validation. We begin with detailed timed automata model of the pacemaker, based on the specifications and algorithm descriptions from Boston Scientific. For closed-loop evaluation, a real-time Virtual Heart Model (VHM) has been developed to model the electrophysiological operation of the functioning and malfunctioning (i.e., during arrhythmia) hearts. By extracting the timing properties of the heart and pacemaker device, we present a methodology to construct timed-automata models for formal model checking and functional testing of the closed-loop system. The VHM’s capability of generating clinically-relevant response has been validated for a variety of common arrhythmias. Based on a set of requirements, we describe a framework of ion Trees that allows for interactive and physiologically relevant closed-loop model checking and testing for basic pacemaker device operations such as maintaining the heart rate, atrial-ventricle synchrony and complex conditions such as avoiding pacemaker-mediated tachycardia. Through automatic model translation of abstract models to simulation-based testing and code generation for platform-level testing, this model-based design approach ensures the closed-loop safety properties are retained through the design toolchain and facilitates the development of verified software from verified models. This system is a step toward a validation and testing approach for medical cyber-physical systems with the patient-in-the-loop.Suggested CitationZhihao Jiang and Rahul Mangharam (2015), "High-Confidence Medical Device Software Development", Foundations and Trends® in Electronic Design Automation: Vol. 9: No. 4, pp 309-391. http://dx.doi.org/10.1561/1000000040
      PubDate: Thu, 10 Dec 2015 00:00:00 +010
       
  • Utilization Control and Optimization of Real-Time Embedded Systems
    • Abstract: Real-time embedded systems have been widely deployed in mission-critical applications, such as avionics mission computing, highway traffic control, remote patient monitoring, wireless communications, navigation, etc. These applications always require their real-time and embedded components to work in open and unpredictable environments, where workload is volatile and unknown. In order to guarantee the temporal correctness and avoid severe underutilization or overload, it is of vital significance to measure, control, and optimize the processor utilization adaptively. A key challenge in this mission is to meet real-time requirements even when the workload cannot be accurately characterized a priori. Traditional approaches of worst-case analysis may cause underutilization of resources, while Model Predictive Control (MPC) based approaches may suffer severe performance deterioration when large estimation errors exist. To address this challenging problem and provide better system performance, we have developed several important online adaptive optimal control approaches based on advanced control techniques. Our approaches adopt Recursive Least Square (RLS) based model identification and Linear Quadratic (LQ) optimal controllers to guarantee that the systems are neither overloaded, nor underloaded. These proposed approaches, as well as the associated tools, can quickly adapt to volatile workload changes to provide stable system performance. To minimize the impact of modeling errors, we adopt the Adaptive Critic Design (ACD) technique and develop an improved solution that requires little information of the system model. To deal with the discrete task rates, we further propose to utilize the frequency scaling technique to assist the utilization control and optimization. The computational overhead of centralized approaches explodes as the scale of systems increases. To ensure system scalability and global stability, decentralized control and optimization approaches are desired. We leverage an efficient decoupling technique and derive several distributed approaches. These approaches adopt one feedback loop to adjust the task rate, and apply another feedback loop to control the CPU frequency asynchronously. As these two manipulated variables (i.e., the CPU frequency and task rate) contribute to the system performance together with a strong coupling, asynchronous control approaches may not be able to achieve the optimal performance. To handle this coupling, we further develop a synchronous rate and frequency control and optimization approach. This approach jointly and synchronouslyadjusts rate and frequency settings, and achieves enhanced system performance. All the aforementioned approaches are based on certain mathematical models. However, it is sometimes hard to develop an exact model to characterize a real-time embedded system. In order to deal with this issue, we further develop a model-free utilization control and optimizationsolution by applying the fuzzy logic control theory. The application of this theory allows us to achieve the desired performance in a nonlinear dynamic system without a specific system model. The proposed fuzzy utilization control approaches are stable and fast-converging, and achieve smaller tracking errors than model-based approaches.Suggested CitationXue Liu, Xi Chen and Fanxin Kong (2015), "Utilization Control and Optimization of Real-Time Embedded Systems", Foundations and Trends® in Electronic Design Automation: Vol. 9: No. 3, pp 211-307. http://dx.doi.org/10.1561/1000000042
      PubDate: Wed, 23 Sep 2015 00:00:00 +020
       
  • Design, Automation, and Test for Low-Power and Reliable Flexible
           Electronics
    • Abstract: Flexible electronics are emerging as an alternative to conventional Si electronics for large-area low-cost applications such as smart sensors, disposable RFID tags, and solar cells. By utilizing inexpensive manufacturing methods such as ink-jet printing and roll-to-roll imprinting, flexible electronics can be made on low-cost plastic films just like printing newspapers. However, the key elements of flexible electronics, thin-film transistors (TFTs), have slower operating speeds and are less reliable than their Si electronics counterparts. Furthermore, depending on the material property, TFTs are usually mono-type – either p- or n-type – devices. Making air-stable complementary TFT circuits is very challenging or not applicable to most TFT technologies. Existing design methodologies for Si electronics, therefore, cannot be directly applied to flexible electronics. Other inhibiting factors such as high supply voltage, large process variation, and lack of trustworthy device modeling also make designing larger-scale and robust TFT circuits a challenge.The objective of this article is to provide an in-depth overview of flexible electronics from their applications, manufacturing processes, device characteristics, to circuit and system design solutions. We first introduce the low-cost fabrication methods for flexible electronics, including ink-jet printing, screen printing, and gravure printing. The device characteristics and compact modeling of four major types of TFT technologies, including hydrogenated amorphous silicon (a-Si:H) TFT, polymer organic TFT, self-assembly monolayer (SAM) organic TFT, and metal oxide TFT, will be illustrated. We will then give an overview of digital and analog circuit design from basic logic gates to a microprocessor, as well as design automation tools and methods, for designing flexible electronics. In order to accurately predict the time-dependent degradation of TFT circuits, we describe a reliability simulation framework that can predict the TFT circuits’ performance degradation under bias-stress. This framework has been validated using the amorphous-silicon (a-Si) TFT scan driver for TFT-LCD displays. Finally, we will give an overview of flexible thin-film photovoltaics using different materials including amorphous silicon, CdTe, CIGS , and organic solar cells.Suggested CitationTsung-Ching (Jim) Huang, Jiun-Lang Huang and Kwang-Ting (Tim) Cheng (2015), "Design, Automation, and Test for Low-Power and Reliable Flexible Electronics", Foundations and Trends® in Electronic Design Automation: Vol. 9: No. 2, pp 99-210. http://dx.doi.org/10.1561/1000000039
      PubDate: Mon, 19 Jan 2015 00:00:00 +010
       
  • Datacenter Power Management in Smart Grids
    • Abstract: Cloud computing is a new computing paradigm and it is gaining wide popularity due to its benefits including reduced cost, ease of management, and increased reliability. In a cloud computing environment, companies or individuals offload their computing (hardware/software/data) to the cloud, which is supported by the computing infrastructure called datacenters. Datacenters consume large amounts of electricity to operate and bring enormous electricity bills to the operators. Associated carbon emissions from operating datacenters also cause significant negative impact to the environment. In the mean time, a new kind of electrical grid, called the smart grid, is emerging. Smart grids enable two way communications between the power generators and the power consumers. Smart grid technology brings many salient features to help deliver power efficiently and reliably. There are many research efforts addressing either of the two tracks above. Different with them, we consider both and focus on cost-aware datacenter power management in presence of smart grids. We review recent developments on this area in this article. It involves understanding how a smart grid operates, where power goes in datacenters, and most importantly, how to reduce the power cost and/or negative environmental impact when operating datacenters.Suggested CitationXue Liu and Fanxin Kong (2015), "Datacenter Power Management in Smart Grids", Foundations and Trends® in Electronic Design Automation: Vol. 9: No. 1, pp 1-98. http://dx.doi.org/10.1561/1000000038
      PubDate: Mon, 19 Jan 2015 00:00:00 +010
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs
Your IP address: 23.20.240.193
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-