Filters








596,211 Hits in 3.4 sec

MPI-Interoperable Generalized Active Messages

Xin Zhao, Pavan Balaji, William Gropp, Rajeev Thakur
2013 2013 International Conference on Parallel and Distributed Systems  
In an environment where multiple origin processes simultaneously trigger AMs on the same target process, or where the same origin process triggers multiple AMs on the same target process, can the MPI implementation  ...  However, when the user allows for AM concurrency, each origin can take advantage of the fact that the window data is shared across processes and compute directly at the origin process itself.  ... 
doi:10.1109/icpads.2013.38 dblp:conf/icpads/ZhaoBGT13 fatcat:7jqdtyh6uvdjxpaw4kms5srwcq

Uncertainty Problem in Dynamic Slicing of Concurrent Programs

Jingde Cheng
2009 2009 International Conference on Embedded Software and Systems  
programs, in particular, dynamic slicing of concurrent programs.  ...  , and shows a new research direction for dynamic slicing of concurrent programs.  ...  Therefore, we have a fundamental question: Where is the right way for dynamic slicing of concurrent programs? The question, "Where is the right way?"  ... 
doi:10.1109/icess.2009.79 dblp:conf/icess/Cheng09 fatcat:wciwwy4dpfe4lkvtcbmrusziwa

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions

Andrea Corradini
2013 Electronic Communications of the EASST  
original definitions and intuitions.  ...  A rich concurrent semantics has been developed along the years for graph transformation systems, often generalizing in non-trivial ways concepts and results fist introduced for Petri nets.  ...  Bibliography Invited Talk: On the Concurrent Semantics of Transformation Systems with NACs derivations where each rule is applied as early as possible. / 2 Volume 58 (2013) Proc. GTVMT 2013  ... 
doi:10.14279/tuj.eceasst.58.837 dblp:journals/eceasst/Corradini13 fatcat:zvudzypxkjhpbox5nq3gi3icrq

Page 73 of Ohio State Law Journal Vol. 5, Issue 1 [page]

1938 Ohio State Law Journal  
IV, Sec. 2 abridge due process in requiring a concurrence of six judges before the Court can reverse the order?  ...  IV The Supreme Court of Ohio has concurrent original juris- diction in quo warranto, mandamus, habeas corpus, prohibition and procedendo.”  ... 

Applications of Concurrent Access Patterns in Web Usage Mining [chapter]

Jing Lu, Malcolm Keech, Cuiqing Wang
2013 Lecture Notes in Computer Science  
The focus of attention here is on concurrent access patterns (CAP), where an overarching framework illuminates the methodology for web access patterns post-processing.  ...  This paper builds on the original data mining and modelling research which has proposed the discovery of novel structural relation patterns, applying the approach in web usage mining.  ...  The results are shown with meaning this time, where original codes are transposed into the corresponding page category.  ... 
doi:10.1007/978-3-642-40131-2_30 fatcat:5s432vbkrvgzpfzcfujj2mvunu

Concurrent processes set E. coli cell division [article]

Gabriele Micali, Jacopo Grilli, Matteo Osella, Marco Cosentino Lagomarsino
2018 biorxiv/medrxiv   pre-print
Instead, the data agree with a model where two concurrent processes (setting replication initiation and inter-division time) set cell division on competing time scales.  ...  During each cell cycle, division is set by the slowest process (an "AND" gate).  ...  Second, competition between concurrent processes should also affect measurable patterns for the interdivision cycle, where abundant data are available.  ... 
doi:10.1101/301671 fatcat:cuupc3rwjrfnri2arcnibtxeay

CMS event processing multi-core efficiency status

C D Jones
2017 Journal of Physics, Conference Series  
This new framework utilizes Intel's Thread Building Block library to manage concurrency via a task based processing model.  ...  Work done in 2016 now allows multiple threads to be used while processing one event.  ...  This is shown in figure 7 , where seven different configurations are used but all configurations are constrained to have (number of processes) * (number of threads/process) = 12.  ... 
doi:10.1088/1742-6596/898/4/042008 fatcat:y2rw22r2rjbh3l2az6kiixtzfi

Concurrent processes set E. coli cell division

Gabriele Micali, Jacopo Grilli, Matteo Osella, Marco Cosentino Lagomarsino
2018 Science Advances  
Instead, the data agree with a model where two concurrent processes (setting replication initiation and interdivision time) set cell division on competing time scales.  ...  During each cell cycle, division is set by the slowest process (an "AND" gate).  ...  Second, competition between concurrent processes should also affect measurable patterns for the interdivision cycle, where abundant data are available.  ... 
doi:10.1126/sciadv.aau3324 fatcat:3azqckimunfdxb25em7u2lwp6m

Data Alignment for Data Fusion in Wireless Multimedia Sensor Networks Based on M2M

Jose Roberto Perez Cruz
2012 KSII Transactions on Internet and Information Systems  
This collection has the general causal structure: n n R n R n R R Q Q Q Q ES        1 2 1 1 2 1  where each superindex i R refers to the set of identifiers of the processes that originated the  ...  Initially, we have two local-streams, c X and d Y . c X is a local-stream originated by a process c p , while d Y is a local-stream originated by a process d p ; and c X precedes d Y or cX co-occurs with  ... 
doi:10.3837/tiis.2012.01.013 fatcat:ksvmzufvqfdx3pc4nnbxwryenq

Towards Modelling Actor-Based Concurrency in Term Rewriting

Adrián Palacios, Germán Vidal, Marc Herbstritt
2015 International Conference on Rewriting Techniques and Applications  
Each process has a (local) mailbox where incoming messages are stored, which is not shared with the other processes.  ...  In this model, a program consists of a pool of processes -the actors, each one identified by a unique process identifier-that interact by exchanging messages in an asynchronous manner.  ...  original function sum.  ... 
doi:10.4230/oasics.wpte.2015.19 dblp:conf/rta/PalaciosV15 fatcat:jclwubzaszg3pnqtjg35jpnnge

Removing concurrency for rapid functional verification

Stephen Longfield, Rajit Manohar
2014 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)  
Alhough the methods to transform between the sequential specification and concurrent implementation have been well-studied, there are still substantial difficulties in verifying that the concurrent implementation  ...  VLSI systems are commonly specified using sequential executable functional specifications, but implemented in a highly concurrent manner.  ...  the sets of variables that made up the original processes.  ... 
doi:10.1109/iccad.2014.7001371 dblp:conf/iccad/LongfieldM14 fatcat:jxymwmb7vbarzajfm47auxbiti

POD - A Tool For Process Discovery Using Partial Orders and Independence Information

Hernán Ponce de León, César Rodríguez, Josep Carmona
2015 International Conference on Business Process Management  
We believe requiring independence/concurrency information is very natural in many scenarios, e.g., when there is some knowledge of the underlying process.  ...  However, there are situations where more knowledge can be provided to the discovery algorithm, thus alleviating the discovery challenge.  ...  However Petri-net-based process analysis is not widespread in industrial practice, where automata-based formalism are often instead preferred.  ... 
dblp:conf/bpm/LeonRC15 fatcat:3jco7f36unemxhycih4ucvlswi

Mechanisms of synesthesia: cognitive and physiological constraints

Peter G. Grossenbacher, Christopher T. Lovelace
2001 Trends in Cognitive Sciences  
Where does synesthetic induction originate? We define synesthetic induction as the process of neural communication that presumably underlies synesthesia.  ...  Whatever its route, this origination stemming from the inducer representation constitutes only part of the entire process of synesthetic induction. How is the concurrent representation activated?  ... 
doi:10.1016/s1364-6613(00)01571-0 pmid:11164734 fatcat:7o6wcxikebez7axnnbs2ebkbf4

Subcortical Modulation of High-Frequency (Gamma Band) Oscillating Potentials in Auditory Cortex

Barbara Brett, Daniel S. Barth
1997 Journal of Neurophysiology  
Where does synesthetic induction originate? We define synesthetic induction as the process of neural communication that presumably underlies synesthesia.  ...  Whatever its route, this origination stemming from the inducer representation constitutes only part of the entire process of synesthetic induction. How is the concurrent representation activated?  ... 
doi:10.1152/jn.1997.78.2.573 pmid:9307095 fatcat:pxekqbysgjh3fcvc4po3hw5csu

Stochastic analysis of the mean interference for the RTS/CTS mechanism

Yi Zhong, Wenyi Zhang, Martin Haenggi
2014 2014 IEEE International Conference on Communications (ICC)  
Exact formulas for the intensity of the concurrent transmitter processes and the mean interference are established.  ...  The effect of RTS/CTS is treated as a thinning procedure for a spatially point process that models the potential transceivers in a WLAN, and the resulting concurrent transmitter processes are described  ...  Figure 4 displays the mean interference of the type I and II concurrent transmitter processes as a function of the intensity of the original PPP λ p .  ... 
doi:10.1109/icc.2014.6883616 dblp:conf/icc/ZhongZH14 fatcat:hxrn77vviva2zawz366oibfrrq
« Previous Showing results 1 — 15 out of 596,211 results