English
Related papers

Related papers: A Software Design through Electrical System for a …

200 papers

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL…

Performance · Computer Science 2007-05-23 Ana-Elena Rugina , Karama Kanoun , Mohamed Kaaniche

Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for…

Programming Languages · Computer Science 2010-07-23 Nuno P. Lopes , Juan A. Navarro , Andrey Rybalchenko , Atul Singh

Since the early days of computers and programs, the process and outcomes of software development has been a minefield plagued with problems and failures, as much as the complexity and complication of software and its development has…

Software Engineering · Computer Science 2020-07-20 Silvio Meira , Vanilson Burégio , Paulo Borba , Vinicius Garcia , Jones Albuquerque , Sergio Soares

Developers usually use diagrams and source code to jointly discuss and plan software architecture changes. With this poster, we present our on-going work on a novel approach that enables developers to collaboratively use software city…

Software Engineering · Computer Science 2024-09-02 Alexander Krause-Glau , Malte Hansen , Wilhelm Hasselbring

Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation…

Software Engineering · Computer Science 2021-06-18 Ramy Shahin

In this article are discussed some problems in developing software related to the management of information flows. We presented the basic stages in their development. We bold a methodology for conceptual modeling and design of information…

Software Engineering · Computer Science 2016-06-09 Radoslva Kraleva , Velin Kralev

With the Internet of Things (IoT) fostering seamless device-to-human and device-to-device interactions, the domain of intelligent lighting systems have evolved beyond simple occupancy and daylight sensing towards autonomous monitoring and…

Signal Processing · Electrical Eng. & Systems 2025-03-20 Peace Obioma , Obinna Agbodike , Jenhui Chen , Lei Wang

The study focuses on the applicability of system identification to identify building and system dynamics for climate control design. The main problem regarding the simulation of the dynamic response of a building using building simulation…

Computational Engineering, Finance, and Science · Computer Science 2012-04-02 A. W. M. , van Schijndel , P. W. M. H. , Steskens

Our entire society is becoming more and more dependent on technology and specifically on software. The integration of e-learning software systems into our day by day life especially in e-learning applications generates modifications upon…

Software Engineering · Computer Science 2014-10-22 Michael Mpasios , Dimitrios Kallergis , Konstantinos Chimos , Theodoros Karvounidis , Christos Douligeris

Design is a fundamental aspect of engineering, enabling the creation of products, systems, and organizations to meet societal and/or business needs. However, the absence of a scientific foundation in design often results in subjective…

Software Engineering · Computer Science 2025-07-15 Aydin Homay

In this study, we explored an approach to automate the review process of software design documents by using LLM. We first analyzed the review methods of design documents and organized 11 review perspectives. Additionally, we analyzed the…

Software Engineering · Computer Science 2025-09-15 Takasaburo Fukuda , Takao Nakagawa , Keisuke Miyazaki , Susumu Tokumoto

This new long version of my 1983 paper suggests the goals you might have for your system -- Simple, Timely, Efficient, Adaptable, Dependable, Yummy (STEADY) -- and techniques for achieving them -- Approximate, Incremental, Divide & Conquer…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-23 Butler Lampson

The design of an automatic visual inspection system is usually performed in two stages. While the first stage consists in selecting the most suitable hardware setup for highlighting most effectively the defects on the surface to be…

Computer Vision and Pattern Recognition · Computer Science 2020-04-21 Maya Aghaei , Matteo Bustreo , Pietro Morerio , Nicolo Carissimi , Alessio Del Bue , Vittorio Murino

Electrical machines are devices that change either mechanical or electrical energy to the other and also can alternate the voltage levels of an alternating current. The need for electrical machines cannot be overemphasized since they are…

Signal Processing · Electrical Eng. & Systems 2018-07-30 Aravind Vaithilingam Chockalingam , Ikujuni Grace Olasehinde , Rozita Teymourzadeh

This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple…

Logic in Computer Science · Computer Science 2017-04-14 Garry Pantelis

Various fields of science and engineering rely on linear algebra for large scale data analysis, modeling and simulation, machine learning, and other applied problems. Linear algebra computations often dominate the execution time of such…

Mathematical Software · Computer Science 2014-08-07 Boyana Norris , Sa-Lin Bernstein , Ramya Nair , Elizabeth Jessup

To create a text with graphic instructions for output pictures into LATEX document, we offer software that allows us to build a picture in WIZIWIG mode and for setting the text with these graphical instructions.

Graphics · Computer Science 2013-04-03 Bezhentcev Roman Vadimovich

This article presents a model for describing the architecture of software-intensive systems, based on the use of multiple, concurrent views. This use of multiple views allows to address separately the concerns of the various stakeholders of…

Software Engineering · Computer Science 2020-06-11 Philippe Kruchten

Veryl, a hardware description language based on SystemVerilog, offers optimized syntax tailored for logic design, ensuring synthesizability and simplifying common constructs. It prioritizes interoperability with SystemVerilog, allowing for…

Hardware Architecture · Computer Science 2024-11-21 Naoya Hatta , Taichi Ishitani , Ryota Shioya

IT power usage is a significant concern. Data center energy consumption is estimated to account for 1% to 1.5% of all energy consumption worldwide. Hardware designers, data center designers, and other members of the IT community have been…

Software Engineering · Computer Science 2023-11-06 Kaushik Dutta , Debra Vandermeer