ARTÍCULO
TITULO

A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)

Jeffrey J. P. Tsai    
Bing Li    

Resumen

s-

Palabras claves

 Artículos similares

       
 
Anaïs Luisa Habermann, Moritz Georg Kolb, Philipp Maas, Hagen Kellermann, Carsten Rischmüller, Fabian Peter and Arne Seitz    
Hybrid-Electric Propulsion (HEP) could be part of the solution to decrease emissions associated with regional commercial aviation. This study presents results for the aircraft level fuel reduction potential of a regional turboprop concept with an HEP arc... ver más
Revista: Aerospace

 
Saeed Musaad Altalhi, Fathy Elbouraey Eassa, Abdullah Saad Al-Malaise Al-Ghamdi, Sanaa Abdullah Sharaf, Ahmed Mohammed Alghamdi, Khalid Ali Almarhabi and Maher Ali Khemakhem    
As the development of high-performance computing (HPC) is growing, exascale computing is on the horizon. Therefore, it is imperative to develop parallel systems, such as graphics processing units (GPUs) and programming models, that can effectively utilis... ver más
Revista: Applied Sciences

 
Martin Varga, Ivan Virgala, Michal Kelemen, L?ubica Miková, Zdenko Bobovský, Peter Jan Sincak and Tomá? Merva    
The outcomes of this research can be implemented in the design of fast and easily tunable low-level controllers of redundant pneumatic parallel robots. This control algorithm allows for online stiffness changes of the robot, providing safe manipulation w... ver más
Revista: Applied Sciences

 
Long Chen, Diju Gao and Qimeng Xue    
Reducing energy consumption and carbon emissions from ships is a major concern. The development of hybrid technologies offers a new direction for the rational distribution of energy. Therefore, this paper establishes a torque model for internal combustio... ver más

 
Jiannong Fang    
To enforce the conservation of mass principle, a pressure Poisson equation arises in the numerical solution of incompressible fluid flow using the pressure-based segregated algorithms such as projection methods. For unsteady flows, the pressure Poisson e... ver más
Revista: Algorithms