David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra,
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of a functional programming language, yet it handles many non-functional aspects effectively, including spawning of concurrent threads, time-outs and mutable state. We first describe the original concurrency combinators of the process calculus. Next we describe a small functional programming language that forms the core ...
Tópico(s): Distributed and Parallel Computing Systems
2009 - Springer Science+Business Media | Lecture notes in computer science
Yongjian Chen, Jianjiang Li, Shengyuan Wang, Dingxing Wang,
This paper introduces a translation and optimization framework for OpenMP, based on the classification of OpenMP translation types. And an open source OpenMP compiler, which implements this framework is also introduced as a high performance research platform for Linux/IA-64. Different from other open source OpenMP compilation system, this compiler has the following characteristics: First, it’s integrated into the backend optimization compiler that mainly exploits Instruction Level Parallelism. This ...
Tópico(s): Cloud Computing and Resource Management
2004 - Springer Science+Business Media | Lecture notes in computer science
Alireza Mahmoudan, Parviz Samadof, Ravinder Kumar, Mohamad Jalili, Alibek Issakhov,
Tópico(s): Sustainability and Ecological Systems Analysis
2021 - Springer Science+Business Media | Journal of Thermal Analysis and Calorimetry
Roberto Bruni, Hernán Melgratti, Emilio Tuosto,
Cook and Misra’s Orc is an elegant language for orchestrating distributed services, able to cover e.g. van der Aalst’s workflow patterns. We aim to understand the key novel features of Orc by comparing it with variations of Petri nets. The comparison shows that Orc hides powerful mechanisms for name handling (creation and passing) and for atomic distributed termination. Petri nets with static topology can encode Orc under severe restrictions while the full language (up to a more realistic cancellation ...
Tópico(s): Service-Oriented Architecture and Web Services
2006 - Springer Science+Business Media | Lecture notes in computer science
P. van Bommel, Stijn Hoppenbrouwers, Henderik A. Proper, Th.P. van der Weide,
Formalization of architecture principles by means of ORM and Object Role Calculus (ORC) is explored. After a discussion on reasons for formalizing such principles, and of the perceived relationship between principles and (business) rules, two exploratory example formalizations are presented and discussed. They concern architecture principles taken from The Open Group’s Architecture Framework (TOGAF). It is argued that when using ORM and ORC for formal modelling of architecture principles, the underlying ...
Tópico(s): Service-Oriented Architecture and Web Services
2006 - Springer Science+Business Media | Lecture notes in computer science
S. Han, Jong-Beom Seo, Bum-Seog Choi,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2014 - Springer Science+Business Media | Journal of Mechanical Science and Technology
Seyed Amin Bagherzadeh, Behrooz Ruhani, Mohammad Mostafa Namar, Rezvan Alamian, Sara Rostami,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2019 - Springer Science+Business Media | Journal of Thermal Analysis and Calorimetry
Hye Rim Kim, Jaehong Lee, Tong Seop Kim,
Tópico(s): Carbon Dioxide Capture Technologies
2020 - Springer Science+Business Media | Journal of Mechanical Science and Technology
Muhammad Imran, Byung‐Sik Park, Hyouck-Ju Kim, Dong‐Hyun Lee, Muhammad Usman,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2015 - Springer Science+Business Media | Journal of Mechanical Science and Technology
The design of optimal organic Rankine cycle (ORC) systems requires the simultaneous identification of the optimal cycle architecture, operating conditions and working fluid, whilst accounting for the effect of these parameters on expander performance. In this paper, a novel method for predicting the design-point efficiency of a radial turbine is developed, which can predict the achievable efficiency based only on the thermodynamic conditions. This model is integrated into an optimisation framework ...
Tópico(s): Advanced Thermodynamic Systems and Engines
2019 - Frontiers Media | Frontiers in Energy Research
Alireza Mahmoudan, Parviz Samadof, Milad Sadeghzadeh, Mohamad Jalili, Mohsen Sharifpur, Ravinder Kumar,
Tópico(s): Adsorption and Cooling Systems
2020 - Springer Science+Business Media | Journal of Thermal Analysis and Calorimetry
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2021 - Springer Science+Business Media | Journal of The Institution of Engineers (India) Series C
Qin Li, Huibiao Zhu, Jifeng He,
Orc language is a concurrency calculus proposed to study the orchestration patterns in wide area computing. Its special properties such as high concurrency and asynchronism makes it a brilliant subject to study the distributed service oriented systems. This paper proposes a denotational semantical model for Orc language. Every Orc program is formalized to a predicate. Healthiness conditions are provided to make the program domain corresponding to a specific subset of predicate domain. This model ...
Tópico(s): Semantic Web and Ontologies
2010 - Springer Science+Business Media | Lecture notes in computer science
Milad Nouri, Mohammad Mostafa Namar, Omid Jahanian,
Tópico(s): Integrated Energy Systems Optimization
2018 - Springer Science+Business Media | Journal of Thermal Analysis and Calorimetry
Naian Wang, Xiaojin Sun, Diangui Huang,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2019 - Springer Science+Business Media | Journal of Thermal Science
Jian Song, Ping Loo, Jaime Teo, Christos N. Markides,
The suitability of organic Rankine cycle (ORC) technology for the conversion of low- and medium-grade heat sources to useful power has established this as a promising option in geothermal power-generation applications. Despite extensive research in this field, most of which has focused on parametric analyses and thermodynamic performance evaluations, there is still a lack of understanding concerning the comparative performance of different plant configurations from both thermodynamic and economic ...
Tópico(s): Advanced Thermodynamic Systems and Engines
2020 - Frontiers Media | Frontiers in Energy Research
Wei Gao, Mingyu Yao, Yong Chen, Hongzhi Li, Yifan Zhang, Lei Zhang,
Tópico(s): Advanced Thermodynamic Systems and Engines
2019 - Springer Science+Business Media | Journal of Thermal Science
A L Stewart, Joaquim Gabarró, M. Clint, Terence Harmer, Peter Kilpatrick, R. H. Perrott,
In this paper a model of grid computation that supports both heterogeneity and dynamicity is presented. The model presupposes that user sites contain software components awaiting execution on the grid. User sites and grid sites interact by means of managers which control dynamic behaviour. The orchestration language ORC [9,10] offers an abstract means of specifying operations for resource acquisition and execution monitoring while allowing for the possibility of non-responsive hardware. It is demonstrated ...
Tópico(s): Advanced Software Engineering Methodologies
2006 - Springer Science+Business Media | Lecture notes in computer science
Saeed Faghih, A. Pourshaghaghy,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2022 - Springer Science+Business Media | Journal of Thermal Analysis and Calorimetry
Wenxiang Ye, Changxin Liu, Jianhao Liu, Huibin Wang, Shuojia Yang, Xinxiang Pan,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2021 - Springer Science+Business Media | Arabian Journal for Science and Engineering
R.K. Pavan Kumar, Naresh Kumar,
Tópico(s): Data Quality and Management
2016 - Springer Science+Business Media | CSI Transactions on ICT
Tópico(s): Solar Thermal and Photovoltaic Systems
2023 - Springer Science+Business Media | Euro-Mediterranean Journal for Environmental Integration
Wen-Hui Han, Xinlin Ren, Hangyu Lin, Yanwei Fu, Xiangyang Xue,
This paper studies the recognition of oracle character, the earliest known hieroglyphs in China. Essentially, oracle character recognition suffers from the problem of data limitation and imbalance. Recognizing the oracle characters of extremely limited samples, naturally, should be taken as the few-shot learning task. Different from the standard few-shot learning setting, our model has only access to large-scale unlabeled source Chinese characters and few labeled oracle characters. In such a setting, ...
Tópico(s): Advanced Image and Video Retrieval Techniques
2021 - Springer Science+Business Media | Lecture notes in computer science
P. Vanaei, Bahram Jalili, Morteza Hosseinzadeh, P. Jalili,
Tópico(s): Solar Thermal and Photovoltaic Systems
2023 - Springer Science+Business Media | Journal of the Brazilian Society of Mechanical Sciences and Engineering
Joseph Litrel, Donna Post Guillen, Michael G. McKellar,
Tópico(s): Advanced Thermodynamic Systems and Engines
2018 - Springer Science+Business Media | JOM
A. Tooli, M. Fallah, A.H. Mosaffa,
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2023 - Springer Science+Business Media | Journal of the Brazilian Society of Mechanical Sciences and Engineering
Nasir Hayat, Muhammad Tahir Ameen, Muhammad Kashif Tariq, Syed Nadeem Abbas Shah, Ahmad Naveed,
Tópico(s): Solar Thermal and Photovoltaic Systems
2017 - Springer Science+Business Media | Heat and Mass Transfer
Produção Nacional
Vitor Rodrigues Seifert, Yuri M. Barbosa, Júlio Augusto Mendes da Silva, Ednildo Andrade Torres,
The search for more efficient processes to save resources and avoid further environmental damages is mandatory in the current society. Increase in power and efficiency of already existing power plants play important role in the transition to more efficient cycles. This work compares two different thermal arrangements that can be fitted in already existing Rankine cycle power plants to improve their power and efficiency. These arrangements are possible when fuel sulfur concentration is reduced to ...
Tópico(s): Advanced Thermodynamics and Statistical Mechanics
2017 - Springer Science+Business Media | Journal of the Brazilian Society of Mechanical Sciences and Engineering
Tópico(s): Online Learning and Analytics
2015 - Belltown Media | Linux journal
Zhen You, Jinyun Xue, Qimin Hu, Hong Yi,
Concurrency is ubiquitous today. Orc provides four powerful combinators (parallel combinator, sequential combinator, pruning combinator and otherwise combinator), used to structured concurrent programming in a simple and hierarchical manner. In order to extend concurrent mechanism in our abstract sequential programming language, called Apla, we have already done some research about Orc. The paper takes a step towards this goal by presenting formal semantics of Orc based on TLA $$^+$$ language. Compared ...
Tópico(s): Computability, Logic, AI Algorithms
2015 - Springer Science+Business Media | Lecture notes in computer science