Results 71 to 80 of about 7,692,516 (152)
Implementing Case Tools in the Inteligent Telecommunication Systems [PDF]
This paper discusses an intelligent and Internet-based Telecommunication System Specification Model (TSSM) using Computer Aided Systems Engineering tools (CASE tools).
Bahador Ghahramani, Azad Azadmanesh
doaj
This paper examines the state-of-the-art in fire suppression technologies based on computer vision applications in the subject areas of computer science and engineering. The study involves a two-stage analysis of publications using keywords.
Valentyna Loboichenko +10 more
doaj +1 more source
TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification
Modern hardware verification of complex circuits relies heavily on the efficiency of formal methods. For complex arithmetic circuits in particular Symbolic Computer Algebra (SCA) engines which represent pseudo-boolean functions using polynomials are crucial.
Kleinekathöfer, Jan +3 more
openaire +2 more sources
Thesis: S.M. in Computer Science and Engineering, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, September, 2020Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (
Wang, Yue(Scientist in electrical engineering and computer science)Massachusetts Institute of Technology.
core
A cloud architecture for home energy management systems: a conceptual model
This paper presents a conceptual and architecture-centric design study for Home Energy Management Systems (HEMS), introducing a cloud-based data and software engineering approach that emphasizes the organization, indexing, processing, and analysis of IoT-
Lucas L. Motta +5 more
doaj +1 more source
This course covers topics on the engineering of computer software and hardware systems: techniques for controlling complexity; strong modularity using client-server design, virtual memory, and threads; networks; atomicity and coordination of parallel ...
Madden, Samuel, Morris, Robert
core
A synchronous communication system for a software-based Byzantine fault tolerant computer [PDF]
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.This electronic version was submitted by the student author.
Sterling, Reuben Marbell
core
Erratum for “Computer Hardware for Civil Engineers” [PDF]
openaire +1 more source
18th CAE Computer Conference [PDF]
[Abstract]: Computer Aided Engineering (CAE), the application of computers in the broadest sense including Computer Aided Design (CAD) and Computer Aided Manufacture (CAM), is expected to affect virtually every aspect of engineering.
Hall, David, Toleman, Mark
core
Load recognition remains not comprehensively explored in Home Energy Management Systems (HEMSs). There are gaps in current approaches to load recognition, such as enhancing appliance identification and increasing the overall performance of the load ...
Thales W. Cabral +4 more
doaj +1 more source

