Relevant bibliographies by topics / Control-flow dependencies

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Control-flow dependencies'

Author: Grafiati
Published: 4 June 2021
Last updated: 9 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Control-flow dependencies.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Control-flow dependencies"

1

KHALAF, RANIA, OLIVER KOPP, and FRANK LEYMANN. "MAINTAINING DATA DEPENDENCIES ACROSS BPEL PROCESS FRAGMENTS." International Journal of Cooperative Information Systems 17, no. 03 (2008): 259–82. http://dx.doi.org/10.1142/s0218843008001828.

Full text
Abstract:
Continuous process improvement (CPI) may require a BPEL process to be split amongst different participants. In this paper, we enable splitting standard BPEL — without requiring any new middleware for the case of flat flows. The solution also supports splitting loops and scopes that have compensation and/or fault handlers. When splitting loops and scopes, we extend existing Web services standards and frameworks in a standard compliant manner in order to support the resulting split control (not data) between the fragments. Data dependencies, however, are handled directly using BPEL constructs pl
APA, Harvard, Vancouver, ISO, and other styles
2

Potter, T., M. Vaden, J. Yound, and N. Ullah. "Resolution of data and control-flow dependencies in the PowerPC 601." IEEE Micro 14, no. 5 (1994): 18. http://dx.doi.org/10.1109/mm.1994.363070.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Vasilev, Vladimir, and Alexander Legalov. "Control flow graphs optimization in intermediate representations of the functional dataflow parallel programming language." Science Bulletin of the Novosibirsk State Technical University, no. 4 (December 18, 2020): 37–46. http://dx.doi.org/10.17212/1814-1196-2020-4-37-46.

Full text
Abstract:
Functional dataflow programming languages are intended for the development of architecture-independent parallel programs and support the control of computations based on data availability. Due to the fact that at present parallel computing systems are very widespread, and their programming in imperative languages is associated with portability problems, the development of architecturally independent parallel programming tools is an urgent task. When such a program is translated, intermediate representations are formed as the information graph and the corresponding control graph. During program
APA, Harvard, Vancouver, ISO, and other styles
4

Zhu, Xinwei, Jan Recker, Guobin Zhu, and Flávia Maria Santoro. "Exploring location-dependency in process modeling." Business Process Management Journal 20, no. 6 (2014): 794–815. http://dx.doi.org/10.1108/bpmj-06-2013-0066.

Full text
Abstract:
Purpose – Context-awareness has emerged as an important principle in the design of flexible business processes. The goal of the research is to develop an approach to extend context-aware business process modeling toward location-awareness. The purpose of this paper is to identify and conceptualize location-dependencies in process modeling. Design/methodology/approach – This paper uses a pattern-based approach to identify location-dependency in process models. The authors design specifications for these patterns. The authors present illustrative examples and evaluate the identified patterns thr
APA, Harvard, Vancouver, ISO, and other styles
5

Bagutdinov, R. A., and D. V. Bezhuashvili. "Developing a unified centralized transport flow control system." Transport Technician: Education and Practice 2, no. 1 (2021): 71–77. http://dx.doi.org/10.46684/2687-1033.2021.1.71-77.

Full text
Abstract:
Currently, there is an increase in information for data mining in transport systems, the main reason is the increase in the number of heterogeneous sources. The relevance of the topic lies in the need to collect, process, aggregate, and model large volumes of unstructured information that cannot be effectively processed by traditional methods. With the increasing flow of vehicles, its diversity, there is a need to optimize the processes of transportation and logistics, increase the system safety of road traffic. The creation of an information knowledge base will help to solve a number of impor
APA, Harvard, Vancouver, ISO, and other styles
6

Nazarov, Serdar, Muhammetberdi Rakhimov, and Gurbanyaz Khekimov. "Linearization of the Navier-Stokes equations." E3S Web of Conferences 216 (2020): 01060. http://dx.doi.org/10.1051/e3sconf/202021601060.

Full text
Abstract:
This paper studies mathematical models of the heat transfer process of a viscous incompressible fluid. Optimal control methods are used to solve the problem of optimal modeling. Questions of linearization of the Navier-Stokes equation for a plane fluid flow are considered. The optimal modes (optimal functional dependencies) of the pump and heating device are found depending on the fluid flow rate.
APA, Harvard, Vancouver, ISO, and other styles
7

Ali, Ihtisham, and Susmit Bagchi. "A Comparative Study and Algorithmic Analysis of Workflow Decomposition in Distributed Systems." International Journal of Grid and High Performance Computing 11, no. 1 (2019): 71–100. http://dx.doi.org/10.4018/ijghpc.2019010105.

Full text
Abstract:
Workflow is an essential mechanism for the automation of processes in distributed transactional systems, including mobile distributed systems. The workflow modeling enables the composition of process activities along with respective conditions, data flow and control flow dependencies. The workflow partitioning methods are used to create sub-partitions by grouping processes on the basis of activities, data flow and control flow dependencies. Mobile distributed systems consisting of heterogeneous computing devices require optimal workflow decomposition. In general, the workflow partitioning is a
APA, Harvard, Vancouver, ISO, and other styles
8

Khoshavi, Navid, Hamid Zarandi, and Mohammad Maghsoudloo. "Two control-flow error recovery methods for multithreaded programs running on multi-core processors." Facta universitatis - series: Electronics and Energetics 28, no. 3 (2015): 309–23. http://dx.doi.org/10.2298/fuee1503309k.

Full text
Abstract:
This paper presents two control-flow error recovery techniques, CFE Recovery using Data-flow graph Consideration and CFE Recovery using Macro block-level Check pointing. These techniques are proposed with regards to thread interactions in the programs. These techniques try to moderate the high memory and performance overheads of conventional control-flow checking techniques. The proposed recovery techniques are composed of two phases of control-flow error detection and recovery. These phases are designed by means of inserting additional instructions into program at compile time considering dep
APA, Harvard, Vancouver, ISO, and other styles
9

Milik, Adam, Marcin Kubica, and Dariusz Kania. "Reconfigurable Logic Controller—Direct FPGA Synthesis Approach." Applied Sciences 11, no. 18 (2021): 8515. http://dx.doi.org/10.3390/app11188515.

Full text
Abstract:
Programmable logic controllers are commonly used in automation systems. Continuously growing demands result in the growth of control program complexity. The classic approach, based on programmatic serial-cyclic execution, results in an unacceptable extension of response time. To overcome long response time massive parallel program execution is proposed. It utilize direct in hardware program implementation in field programmable devices. The paper brings a formal method of representing control programs using flow graphs and enabling single cycle computations. The developed method accepts ladder
APA, Harvard, Vancouver, ISO, and other styles
10

Carter, Mark, Hesham Rakha, and Michel Van Aerde. "Variability of traffic-flow measures across freeway lanes." Canadian Journal of Civil Engineering 26, no. 3 (1999): 270–81. http://dx.doi.org/10.1139/l98-065.

Full text
Abstract:
On most freeways, a number of factors interact to produce lane-to-lane variations in speed and volume which are both site and volume dependent. The following paper explores and statistically verifies these variations using detector data and a combination of complementary techniques based on data collected for 30 days at 27 detector stations in May 1994 along the Queen Elizabeth Way freeway near Toronto, Ontario. The analysis indicates that considerable volume dependencies exist at each site, and that these dependencies are site specific. In addition to their independent variations, speed and f
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Control-flow dependencies"

1

Pogulis, Jakob. "Generation of dynamic control-dependence graphs for binary programs." Thesis, Linköpings universitet, Databas och informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110247.

Full text
Abstract:
Dynamic analysis of binary files is an area of computer science that has many purposes. It is useful when it comes to debugging software in a development environment and the developer needs to know which statements affected the value of a specific variable. But it is also useful when analyzing a software for potential vulnerabilities, where data controlled by a malicious user could potentially result in the software executing adverse commands or executing malicious code. In this thesis a tool has been developed to perform dynamic analysis of x86 binaries in order to generate dynamic control-de
APA, Harvard, Vancouver, ISO, and other styles
2

Khemuka, Atul Ravi. "Workflow Modeling Using Finite Automata." [Tampa, Fla.] : University of South Florida, 2003. http://purl.fcla.edu/fcla/etd/SFE0000172.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Stanier, James. "Removing and restoring control flow with the Value State Dependence Graph." Thesis, University of Sussex, 2012. http://sro.sussex.ac.uk/id/eprint/7576/.

Full text
Abstract:
This thesis studies the practicality of compiling with only data flow information. Specifically, we focus on the challenges that arise when using the Value State Dependence Graph (VSDG) as an intermediate representation (IR). We perform a detailed survey of IRs in the literature in order to discover trends over time, and we classify them by their features in a taxonomy. We see how the VSDG fits into the IR landscape, and look at the divide between academia and the 'real world' in terms of compiler technology. Since most data flow IRs cannot be constructed for irreducible programs, we perform a
APA, Harvard, Vancouver, ISO, and other styles
4

Hammer, Christian. "Information flow control for Java a comprehensive approach based on path conditions in dependence graphs." Karlsruhe Univ-Verl. Karlsruhe, 2009. http://d-nb.info/996983112/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hammer, Christian [Verfasser], and G. [Akademischer Betreuer] Snelting. "Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs / Christian Hammer ; Betreuer: G. Snelting." Karlsruhe : KIT Scientific Publishing, 2009. http://d-nb.info/1185493255/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Graf, Jürgen [Verfasser], and G. [Akademischer Betreuer] Snelting. "Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages / Jürgen Graf ; Betreuer: G. Snelting." Karlsruhe : KIT-Bibliothek, 2016. http://d-nb.info/1129258866/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

CASTRO, ALFREDO J. A. de. "Análise experimental de velocidade crítica em elemento combustível tipo placa plana para reatores nucleares de pesquisa." reponame:Repositório Institucional do IPEN, 2017. http://repositorio.ipen.br:8080/xmlui/handle/123456789/28022.

Full text
Abstract:
Submitted by Pedro Silva Filho (pfsilva@ipen.br) on 2017-11-17T17:27:31Z No. of bitstreams: 0<br>Made available in DSpace on 2017-11-17T17:27:31Z (GMT). No. of bitstreams: 0<br>Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)<br>Os elementos de combustível de um reator nuclear de pesquisa tipo MTR (\"Material Testing Reactor\") são, em sua grande maioria, formados por placas de combustível revestidas com alumínio contendo no cerne silicileto de urânio (U3Si2) disperso em matriz de alumínio. Essas placas possuem espessura da ordem de milímetros e comprimentos muito maiores
APA, Harvard, Vancouver, ISO, and other styles
8

Ball, Thomas. "The use of control-flow and control dependence in software tools." 1993. http://catalog.hathitrust.org/api/volumes/oclc/31050039.html.

Full text
Abstract:
Thesis (Ph. D.)--University of Wisconsin--Madison, 1993.<br>Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 201-206).
APA, Harvard, Vancouver, ISO, and other styles
9

Mohamed, ATEF. "Software Architecture-Based Failure Prediction." Thesis, 2012. http://hdl.handle.net/1974/7538.

Full text
Abstract:
Depending on the role of software in everyday life, the cost of a software failure can sometimes be unaffordable. During system execution, errors may occur in system components and failures may be manifested due to these errors. These errors differ with respect to their effects on system behavior and consequent failure manifestation manners. Predicting failures before their manifestation is important to assure system resilience. It helps avoid the cost of failures and enables systems to perform corrective actions prior to failure occurrences. However, effective runtime error detection and fail
APA, Harvard, Vancouver, ISO, and other styles
10

Cunha, Francisco José Marcelino e. "Optimizing Service Orchestration in OutSystems." Master's thesis, 2019. http://hdl.handle.net/10362/92284.

Full text
Abstract:
The growing demand for continuous development and deployment is causing many to steer away from the traditional monolithic architectural style and opt instead for Service- Oriented Architectures (SOAs). Adopting an architecture that is based on loosely-coupled services leads to enhanced modularity and flexibility, further translated into a philosophy of iterative, evolutionary development. The benefits of this development pattern were also made available in the OutSystems low-code platform, with the introduction of services as a new development building-block. Moreover, the independence
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Control-flow dependencies"

1

Hammer, Christian. Information flow control for java: A comprehensive approach based on path conditions in dependence graphs. Univ.-Verl., 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Control-flow dependencies"

1

Chalupa, Marek, David Klas̆ka, Jan Strejček, and Lukás̆ Tomovic̆. "Fast Computation of Strong Control Dependencies." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_41.

Full text
Abstract:
AbstractWe introduce new algorithms for computing non-termination sensitive control dependence (NTSCD) and decisive order dependence (DOD). These relations on vertices of a control flow graph have many applications including program slicing and compiler optimizations. Our algorithms are asymptotically faster than the current algorithms. We also show that the original algorithms for computing NTSCD and DOD may produce incorrect results. We implemented the new as well as fixed versions of the original algorithms for the computation of NTSCD and DOD. Experimental evaluation shows that our algorithms dramatically outperform the original ones.
APA, Harvard, Vancouver, ISO, and other styles
2

Hong, Hyoung Seok, and Hasan Ural. "Dependence Testing: Extending Data Flow Testing with Control Dependence." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11430230_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ish-Shalom, Oren, Shachar Itzhaky, Noam Rinetzky, and Sharon Shoham. "Run-time Complexity Bounds Using Squeezers." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_12.

Full text
Abstract:
AbstractDetermining upper bounds on the time complexity of a program is a fundamental problem with a variety of applications, such as performance debugging, resource certification, and compile-time optimizations. Automated techniques for cost analysis excel at bounding the resource complexity of programs that use integer values and linear arithmetic. Unfortunately, they fall short when execution traces become more involved, esp. when data dependencies may affect the termination conditions of loops. In such cases, state-of-the-art analyzers have shown to produce loose bounds, or even no bound at all.We propose a novel technique that generalizes the common notion of recurrence relations based on ranking functions. Existing methods usually unfold one loop iteration, and examine the resulting relations between variables. These relations assist in establishing a recurrence that bounds the number of loop iterations. We propose a different approach, where we derive recurrences by comparing whole traces with whole traces of a lower rank, avoiding the need to analyze the complexity of intermediate states. We offer a set of global properties, defined with respect to whole traces, that facilitate such a comparison, and show that these properties can be checked efficiently using a handful of local conditions. To this end, we adapt state squeezers, an induction mechanism previously used for verifying safety properties. We demonstrate that this technique encompasses the reasoning power of bounded unfolding, and more. We present some seemingly innocuous, yet intricate, examples where previous tools based on cost relations and control flow analysis fail to solve, and that our squeezer-powered approach succeeds.
APA, Harvard, Vancouver, ISO, and other styles
4

Beckert, Bernhard, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning. "Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control." In Formal Methods and Software Engineering. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ali, Ihtisham, and Susmit Bagchi. "A Comparative Study and Algorithmic Analysis of Workflow Decomposition in Distributed Systems." In Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing. IGI Global, 2021. http://dx.doi.org/10.4018/978-1-7998-5339-8.ch112.

Full text
Abstract:
Workflow is an essential mechanism for the automation of processes in distributed transactional systems, including mobile distributed systems. The workflow modeling enables the composition of process activities along with respective conditions, data flow and control flow dependencies. The workflow partitioning methods are used to create sub-partitions by grouping processes on the basis of activities, data flow and control flow dependencies. Mobile distributed systems consisting of heterogeneous computing devices require optimal workflow decomposition. In general, the workflow partitioning is a NP-complete problem. This article presents a comparative study and detailed analysis of workflow decomposition techniques based on graphs, petri nets and topological methods. A complete taxonomy of the basic decomposition techniques is presented. A detailed qualitative and quantitative analysis of these decomposition techniques are explained. The comparative analysis presented in this article provides an insight to inherent algorithmic complexities of respective decomposition approaches. The qualitative parametric analysis would help in determining the suitability of workflow applicability in different computing environments involving static and dynamic nodes. Furthermore, the authors have presented a novel framework for workflow decomposition based on multiple parametric parameters for mobile distributed systems.
APA, Harvard, Vancouver, ISO, and other styles
6

Nakamur, Masahide, Hiroshi Igaki, Takahiro Kimura, and Kenichi Matsumoto. "Identifying Services in Procedural Programs for Migrating Legacy System to Service Oriented Architecture." In Implementation and Integration of Information Systems in the Service Sector. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-2649-2.ch015.

Full text
Abstract:
In order to support legacy migration to the service-oriented architecture (SOA), this paper presents a pragmatic method that derives candidates of services from procedural programs. In the SOA, every service is supposed to be a process (procedure) with (1) open interface, (2) self-containedness, and (3) coarse granularity for business. Such services are identified from the source code and its data flow diagram (DFD), by analyzing data and control dependencies among processes. Specifically, first the DFD must be obtained with reverse-engineering techniques. For each layer of the DFD, every data flow is classified into three categories. Using the data category and control among procedures, four types of dependency are categorized. Finally, six rules are applied that aggregate mutually dependent processes and extract them as a service. A case study with a liquor shop inventory control system extracts service candidates with various granularities.
APA, Harvard, Vancouver, ISO, and other styles
7

Mehta, Shikha, and Parmeet Kaur. "Scheduling Data Intensive Scientific Workflows in Cloud Environment Using Nature Inspired Algorithms." In Nature-Inspired Algorithms for Big Data Frameworks. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-5852-1.ch008.

Full text
Abstract:
Workflows are a commonly used model to describe applications consisting of computational tasks with data or control flow dependencies. They are used in domains of bioinformatics, astronomy, physics, etc., for data-driven scientific applications. Execution of data-intensive workflow applications in a reasonable amount of time demands a high-performance computing environment. Cloud computing is a way of purchasing computing resources on demand through virtualization technologies. It provides the infrastructure to build and run workflow applications, which is called ‘Infrastructure as a Service.' However, it is necessary to schedule workflows on cloud in a way that reduces the cost of leasing resources. Scheduling tasks on resources is a NP hard problem and using meta-heuristic algorithms is an obvious choice for the same. This chapter presents application of nature-inspired algorithms: particle swarm optimization, shuffled frog leaping algorithm and grey wolf optimization algorithm to the workflow scheduling problem on the cloud. Simulation results prove the efficacy of the suggested algorithms.
APA, Harvard, Vancouver, ISO, and other styles
8

Lajoinie, Stephane Bourliataux, Josep Lluis del Olmo Arriaga, and Frederic Dosquet. "How digital strategy increases overtourism the case of Barcelona." In Sustainable and Collaborative Tourism in a Digital World. Goodfellow Publishers, 2021. http://dx.doi.org/10.23912/9781911635765-4856.

Full text
Abstract:
The term ‘overtourism’ made the headlines in 2017 to denote the antithesis of a fair, well-planned form of tourism. An overtourism destination is a destination perceived as the victim of uncontrolled flows of tourists. Some authors have contributed to analysing the first stages of this perception. Boissevain (1996) published ‘Coping with tourists: European reactions to mass tourism’, in which he analysed how a massive flow of tourists in Malta generated negative side effects and a total dependence on touristic economy. Tyler et al. (1998) offered one of the first analyses of ways to control tourism flow from a sustainable point of view. Bosselman et al. (1999) published a pioneering analysis on the relationships between hosts and tourists. The paper discusses the risks and benefits of growth in tourism and the need for long-term management to avoid overexploitation of tourist destinations. These research projects laid the foundations for reflection on sustainable tourism and were the starting point for studying the risks of overtourism. Fyall and Garrod (1998) discussed the impacts of overtourism on heritage sites. On the one hand, the phenomenon contributes to a short-term economic boost; on the other hand, it impacts negatively on the way of life of local communities.
APA, Harvard, Vancouver, ISO, and other styles
9

Ortloff, Charles R. "Environmental and Climate Perspectives on New World, Old World, and South-East Asian Societies’ Achievements in the Hydraulic Sciences." In Water Engineering in the Ancient World. Oxford University Press, 2009. http://dx.doi.org/10.1093/oso/9780199239092.003.0008.

Full text
Abstract:
The foregoing chapters detail the many technical innovations in water supply, distribution, and management for several Old World, New World, and South- East Asian societies. For most of the New World’s societies, basic water resource problems evolved around securing their agricultural base given the unique environmental and water resource conditions prevalent in their locations. Diverse New World societies occupying different environment niches from dry coastal margins to wet highlands, often subject to vastly different average temperatures, crop types, and water variation cycles, were shown to devise different approaches to the development of their agricultural bases. While rainfall runoff from mountain watersheds sourced the many rivers of coastal Peruvian valleys and provided the basis for canal irrigation, excessive rainfall and cold in Andean highland locations allowed groundwater-based farming using raised Welds that had thermodynamic advantages based on conservation of the sun’s heat to prevent root crop destruction during freezing nights. The presence of varying climate cycles (excessive rainfall and drought) was seen to influence modifications in coastal canal systems. Alterations in canal size and placement to accommodate reduced-water supplies were evident in intravalley coastal systems where modifications were relatively straightforward in sandy environments. Intervalley water transfers through massive canal systems were a further characteristic of a flexible response to maintain the water resource base and this often involved the transfer of river water from one valley to another depending on agricultural, economic, and political priorities. With increased need for more agricultural lands to meet population demands, increasingly lower slope canals were surveyed to include further downslope lands. Here technical innovation was a key factor in providing surveying expertise to maintain low-slope contour canals. While such canals are found at very early Formative and Preceramic sites, surveying techniques became more refined in time to permit greater use of land areas reachable by low-slope canals. Here both Old and New World societies share their dependence on surveying technology to meet water transfer demands. While Roman surveying favoured the most direct aqueduct routing necessitating long, linear aqueduct structures interspersed with siphons and multitier aqueducts structures where appropriate, New World surveying was different in that canal designs following landscape contours were prevalent and, in some cases, optimized to produce specific and/or maximum flow rate designs. Specific measures to create hydraulic control structures to defend against El Niño destruction are evident in the New World archaeological record indicating an active, innovative engineering response to climate and weather-induced disasters, probably based on the memory of prior destructive events.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Control-flow dependencies"

1

Yasumatsu, Shohei, Narumi Nanri, Yu Yoshitake, Koichi Nakaso, and Jun Fukai. "Internal Flows in Microscopic Polymer Solution Droplets Evaporating on Flat Surfaces." In 2010 14th International Heat Transfer Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/ihtc14-23178.

Full text
Abstract:
To control the formation process of polymer thin films from polymer solution droplets using inkjet printings, internal flows of the droplets on substrates are studied. In our previous study [1], internal flow of polymer solution droplets receding on a lyophobic surface was experimentally visualized. It was found that the direction of the circulation flow in the droplet depended on the solvent and the initial solute concentration. In particular, the flow direction of polystyrene-anisole solution was reversed as the initial solute concentration increased. In this study, to clarify this reason, t
APA, Harvard, Vancouver, ISO, and other styles
2

Edler von Koch, Tobias J. K., and Bjorn Franke. "Variability of data dependences and control flow." In 2014 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, 2014. http://dx.doi.org/10.1109/ispass.2014.6844482.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Holanda, Henrique J. A., Carla K. de M. Marques, Francisca Aparecida P. Pinto, and Yann-Gae¨l Guéhéneuc. "BPEL4PEOPLE Anti-Patterns: Discovering Authorization Constraint Anti-Patterns in Web Services." In III Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/washes.2018.3474.

Full text
Abstract:
Despite the abundance of analysis techniques to discover antipatterns in BPEL, there is hardly any support for authorization constraint errors in web services orchestrated by BPEL4People. Most techniques simply abstract from people (human user interactions), while people dependencies can be the source of all kinds of errors. This paper focuses on the discovery authorization constraint anti-patterns in web services orchestrated by BPEL4People. We present an analysis approach that is expressed in terms of rule card, the wellknown, stable, adaptable, and effective model-checking techniques can be
APA, Harvard, Vancouver, ISO, and other styles
4

Yu, Bing, Haoteng Yin, and Zhanxing Zhu. "Spatio-Temporal Graph Convolutional Networks: A Deep Learning Framework for Traffic Forecasting." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/505.

Full text
Abstract:
Timely accurate traffic forecast is crucial for urban traffic control and guidance. Due to the high nonlinearity and complexity of traffic flow, traditional methods cannot satisfy the requirements of mid-and-long term prediction tasks and often neglect spatial and temporal dependencies. In this paper, we propose a novel deep learning framework, Spatio-Temporal Graph Convolutional Networks (STGCN), to tackle the time series prediction problem in traffic domain. Instead of applying regular convolutional and recurrent units, we formulate the problem on graphs and build the model with complete con
APA, Harvard, Vancouver, ISO, and other styles
5

Lee, Andrew C. S., and Paul E. Sojka. "Hybrid Pressure-Swirl/Twin-Fluid Atomizer for Emission Controls." In ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-13360.

Full text
Abstract:
An experimental study was conducted to characterize the performance of a hybrid atomizer used in emission control devices. Characterization included drop size distribution, measured using a forward light-scattering instrument, the air flow field (axial and radial velocities), measured using 2-D PIV, and turbulence characteristics of the air flow field, measured using LDA. The air flow field showed characteristics common to turbulent free round jets beyond approximately 8 exit orifice diameters from the atomizer exit plane. The centerline velocity increased with an increase in mass flow rate, w
APA, Harvard, Vancouver, ISO, and other styles
6

Indumathi, C. P., and N. Vinothini. "Enhancing fault localization using control and data flow dependence structures." In 2018 2nd International Conference on Inventive Systems and Control (ICISC). IEEE, 2018. http://dx.doi.org/10.1109/icisc.2018.8399014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ferrari, Jerome, and Zachary Leutwyler. "Fluid Flow Force Measurement Under Various Cavitation State on a Globe Valve Model." In ASME 2008 Pressure Vessels and Piping Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/pvp2008-61238.

Full text
Abstract:
Proper actuator sizing and valve-stem guide selection requires accurate knowledge of the thrust requirements for linear valves. For globe valves, the flow-induced forces acting on the disc can be a substantial part of the total required thrust that the actuator is required to overcome. The flow-induced forces acting on the globe valve disc are decomposed into the rejection (or axial) force and the transverse (or side load) force. The axial force acts along the disc stem axis and the transverse force acts perpendicular to the disc stem axis. The axial force generally lends itself to simple anal
APA, Harvard, Vancouver, ISO, and other styles
8

Burian, Ondrej, and Vaclav Dostal. "Experimental Investigation of an Application of Two-Phase Flow Differential Pressure Measurement in Vertical Square Channel." In 2016 24th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/icone24-60684.

Full text
Abstract:
The experimental work described in this paper deals with an experimental research of two-phase flow focused on the study of thermal hydraulics of steam generating facilities for NPPs, like BWR reactors and steam generators. The results of this research can be used for development of new methods for the control and measurement of the operating parameters of these facilities at normal and abnormal operational conditions. Moreover the results are also applicable for a development of a method for a determination of two-phase flow regimes by pressure fluctuation analysis. The main idea of those met
APA, Harvard, Vancouver, ISO, and other styles
9

Bao, Tao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, and Dongyan Xu. "Strict control dependence and its effect on dynamic information flow analyses." In the 19th international symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1831708.1831711.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sinha, Saurabh, Mary Jean Harrold, and Gregg Rothermel. "System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow." In the 21st international conference. ACM Press, 1999. http://dx.doi.org/10.1145/302405.302675.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography