scholarly journals Hardware-software interaction for run-time power optimization: A case study of embedded Linux on multicore smartphones

2015 ◽  
Author(s):  
Anup Das ◽  
Matthew J. Walker ◽  
Andreas Hansson ◽  
Bashir M. Al-Hashimi ◽  
Geoff V. Merrett
Keyword(s):  
Power Optimization ◽  
Embedded Linux ◽  
Run Time

Power Optimization for Adaptive Wind Turbine: Case Study on Islanded and Grid Connected

2014 ◽  
Vol 9 (4) ◽  
pp. 835 ◽  
Author(s):  
Soedibyo Soedibyo ◽  
Ribka Stephani ◽  
Aprilely Ajeng Fitriana ◽  
Ratih Mar’atus Sholihah ◽  
Primaditya Sulistijono
Keyword(s):  
Wind Turbine ◽  
Power Optimization

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

scholarly journals Run-time evaluation of architectures: A case study of diversification in IoT

2020 ◽  
Vol 159 ◽  
pp. 110428 ◽  
Author(s):  
Dalia Sobhy ◽  
Leandro Minku ◽  
Rami Bahsoon ◽  
Tao Chen ◽  
Rick Kazman
Keyword(s):  
Run Time ◽  
Time Evaluation

Integrated Path from Run-Time Measurements to Design Decisions: Case Study in Performance Analysis

2010 ◽  
Author(s):  
Marko Jaakola ◽  
Juho Eskeli ◽  
Markku Pollari ◽  
Teemu Kanstren ◽  
Jukka Kaariainen ◽  
...  
Keyword(s):  
Performance Analysis ◽  
Design Decisions ◽  
Run Time

Optimal Composition of Services for Intelligent Systems Using TOPSIS

2021 ◽  
Vol 11 (3) ◽  
pp. 49-64
Author(s):  
Ashish Seth ◽  
Kirti Seth
Keyword(s):  
Intelligent Systems ◽  
Service Oriented Architecture ◽  
Optimum Composition ◽  
Enterprise System ◽  
Optimal Composition ◽  
Crucial Aspect ◽  
Service Oriented ◽  
Run Time ◽  
Main Components

Service-oriented architecture is a widely accepted service used for supporting consolidation and integration functions under an enterprise system which are complex in nature but with an intelligent framework which helps in integrating the services in an optimistic and dynamic manner for getting the task done. For any service-oriented architecture-based application, its services are the main components, as it requires service compositions for answering various requests. There exist many possible service compositions for completing a task. To find an optimum composition from those dynamically present during run time is another crucial aspect for the success of this architecture. The present research elaborated a novel idea for optimal composition of services in SOA or any other service-based system. This paper covers a case study along with the outcomes of the experiment which indicates the efficiency and validity of the proposed technique.

Sign in / Sign up

Export Citation Format

Share Document