33 Hits in 1.2 sec

Observationally cooperative multithreading

Christopher A. Stone, Melissa E. O'Neill, The OCM Team
2011 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11  
Observationally Cooperative Multithreading (OCM) is a new approach to shared-memory parallelism.  ...  Programmers using OCM simply write code as if they were using the cooperative multithreading model (CM) for uniprocessors.  ...  Observationally Cooperative Multithreading (OCM) offers • Simple semantics and syntax, taken from CM; • Parallel execution, taking advantage of modern hardware; • Implementation flexibility, allowing a  ... 
doi:10.1145/2048147.2048208 dblp:conf/oopsla/StoneOT11 fatcat:h74asjx6c5gyvi5x5ykaa4yk6u

Observationally Cooperative Multithreading [article]

Christopher A. Stone, Melissa E. O'Neill, Sonja A. Bohr, Adam M. Cozzette, M. Joe DeBlasio, Julia Matsieva, Stuart A. Pernsteiner, Ari D. Schumer
2015 arXiv   pre-print
Observationally Cooperative Multithreading (OCM) is a new approach to shared-memory parallelism.  ...  Programmers write code using the well-understood cooperative (i.e., nonpreemptive) multithreading model for uniprocessors.  ...  Observationally Cooperative Multithreading We therefore propose a model for parallel computation called Observationally Cooperative Multithreading (OCM).  ... 
arXiv:1502.05094v1 fatcat:poj7ejgatzd7lgrwhcmfnff5pu

The Ly α and Ly β Profiles in Solar Prominences and Prominence Fine Structure

J.-C. Vial, H. Ebadi, A. Ajabshirizadeh
2007 Solar Physics  
We present the first combined Ly and Ly profiles in solar prominences obtained by the SOHO/SUMER instrument and discuss their important spatial variability with respect to predictions from 1D and multithread  ...  SOHO is a mission of international cooperation between ESA and NASA.  ...  They have shown that the Lyman profiles are more reversed when seen along the lines, a behavior recently confirmed observationally by Schmieder et al. (2007) .  ... 
doi:10.1007/s11207-007-9080-9 fatcat:ec2sfivh4rcwdc5upvdqdxr2z4

Multiactive objects and their applications [article]

Ludovic Henrio, Justine Rochas
2017 arXiv   pre-print
We then show how to compile an active object language with cooperative multi-threading into multi-active objects.  ...  Somehow, similarly to cooperative multithreading, efficiency and expressiveness are gained at the expense of some possible incoherency in the object state.  ...  However, the two approaches offer different trade-offs: in cooperative multithreading incoherences can be limited by removing release points, while in multi-threaded scheduling incoherences can be limited  ... 
arXiv:1610.09183v3 fatcat:k2hnwp4mrfagbdyit2e7763bjy

TPR, PPV and ROC based Performance Measurement and Optimization of Human Face Recognition of IoT Enabled Physical Location Monitoring

2019 International journal of recent technology and engineering  
The model is observationally assessed utilizing informational indexes from a business organize.  ...  Nallapaneni Manoj Kumar et al. expounded the conceivable security and protection issues considering the segment cooperation in IoT and concentrates how the Distributed Ledger based Block Chain (DL-BC)  ... 
doi:10.35940/ijrte.b3186.078219 fatcat:wlyr7rp7hjcyhk2xzxl4q2efq4

Secure Information Flow for Concurrent Programs under Total Store Order

Jeffrey A. Vaughan, Todd Millstein
2012 2012 IEEE 25th Computer Security Foundations Symposium  
Modern multicore hardware and multithreaded programming languages expose weak memory models to programmers, which relax the intuitive sequential consistency (SC) memory model in order to support a variety  ...  Observationally deterministic concurrency [14, 20, 24] ensures that all runs of a concurrent program look identical to low observers.  ...  For example, in the following well-typed code sketch a group of cooperating threads are forked to perform some high computation whenever a password check succeeds.  ... 
doi:10.1109/csf.2012.20 dblp:conf/csfw/VaughanM12 fatcat:kqoqrjmmlzfe3jdcznogzd6mei

Implementing deterministic declarative concurrency using sieves

Sam Lindley
2007 Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07  
Thanks to Andrew Cook, Colin Riley and Verena Achenbach, for providing the preliminary performance figures, and to Ezra Cooper and Jeremy Yallop for helpful feedback.  ...  For these benchmarks, multithreaded sieves lead to roughly a two times speedup over single-threaded sieves. The FFT results are more interesting.  ...  In the future it would be interesting to formalise the sieve block partitioning algorithm in the context of CoreSieve, and prove that the parallel output code is observationally equivalent to the semantics  ... 
doi:10.1145/1248648.1248657 dblp:conf/popl/Lindley07 fatcat:ykw34gpttzaxbprkmar6xbjyvm

Coronal waves and oscillations

Valery M. Nakariakov
2006 Proceedings of the International Astronomical Union  
These properties are in much better agreement with coronal observations that imply multithreaded loop structure.  ...  The figure also includes theoretically calculated dependences for kink (solid) and sausage (dashed) modes with the parameters (from Cooper et al., 2003) .  ... 
doi:10.1017/s174392130600250x fatcat:33c2wfz5gjhzlke346qelblzsi

Coronal Waves and Oscillations

Valery M. Nakariakov, Erwin Verwichte
2005 Living Reviews in Solar Physics  
These properties are in much better agreement with coronal observations that imply multithreaded loop structure.  ...  The figure also includes theoretically calculated dependences for kink (solid) and sausage (dashed) modes with the parameters (from Cooper et al., 2003) .  ... 
doi:10.12942/lrsp-2005-3 fatcat:h7b5rfnvsrdpdpg5ixbqzulaua

Panini: a concurrent programming model for solving pervasive and oblivious interference

Mehdi Bagherzadeh, Hridesh Rajan
2015 Proceedings of the 14th International Conference on Modularity - MODULARITY 2015  
Similarly, cooperative reasoning [3, 5] and observationally cooperative multithreading [9] limit interleaving points to yield expressions.  ...  Interference Pervasive Oblivious atomicity, transactional memory, cooperability, AME actors, active objects rely-guarantee, Owicki-Gries Atomicity, transactional memory, cooperability and automatic mutual  ... 
doi:10.1145/2724525.2724568 dblp:conf/aosd/BagherzadehR15 fatcat:ruwyg4jy4bfsfkmgrvpt7wkqi4

Standing sausage modes in coronal loops with plasma flow

Bo Li, Shao-Xia Chen, Li-Dong Xia, Hui Yu
2014 Astronomy and Astrophysics  
By seeing loops as being monolithic, we neglect the possible effects of them being multithreaded or involving other forms of structuring.  ...  In this sense, observationally distinguishing between the two profiles is crucial for establishing P max as a seismological tool for this purpose.  ... 
doi:10.1051/0004-6361/201323352 fatcat:uyajlfeijvgonlgar3a3k3jkl4


P. Antolin, T. J. Okamoto, B. De Pontieu, H. Uitenbroek, T. Van Doorsselaere, T. Yokoyama
2015 Astrophysical Journal  
This work was (partly) carried out on the Solar Data Analysis System, operated by the Astronomy Data Center in cooperation with the Hinode Science Center of the National Astronomical Observatory of Japan  ...  This is because of the fast damping of the quasimode, which also holds for an inhomogeneous multithreaded loop (Terradas et al. 2008c; Pascoe et al. 2011) .  ...  The results are also observationally robust, being to a large extent independent of the optical thickness of the material and the LOS angle (except in the completely optically thick case and very shallow  ... 
doi:10.1088/0004-637x/809/1/72 fatcat:2jlcnxqf45gaxhi2ta3rzgsuhm


Adam Chlipala
2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15  
The concurrency model [36] is cooperative multithreading, on both client and server.  ...  Such code may spawn as many clientside threads as is convenient, and the threads obey a cooperative multithreading semantics, where one thread runs at a time, and we only switch threads during well-defined  ... 
doi:10.1145/2676726.2677004 dblp:conf/popl/Chlipala15 fatcat:c5auxtistjhqfg5jvbjm2gdg7q

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2006 Electronical Notes in Theoretical Computer Science  
The difference between active objects and multithreading is subtle, and, it could be argued, mostly conceptual, since active objects can be mimicked using multithreading.  ...  Active objects vs. multithreading Creol's concurrency concept based on active objects can be contrasted with the one of Java or C # where the notion of concurrency is that of multithreading.  ... 
doi:10.1016/j.entcs.2005.12.069 fatcat:chb5rxirp5afld7emzxe6pdlim

The $-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems

Eugene Eberbach
2007 Theoretical Computer Science  
Interpreters can run on shared memory architectures (using multithreading) or on distributed computers/robots/agents.  ...  For multiple agents search can be cooperative, competitive, or random.  ... 
doi:10.1016/j.tcs.2007.04.012 fatcat:norwklj7nfa6pmxajbf52diyk4
« Previous Showing results 1 — 15 out of 33 results