A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Observationally cooperative multithreading
2011
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11
Preserved Fulltext
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]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Solar Physics
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2007 pre-print arXiv:0710.1433v1 fatcat:rivlh2v46vgbpnjt4knks7pm3i
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 IEEE 25th Computer Security Foundations Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the International Astronomical Union
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Living Reviews in Solar Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 14th International Conference on Modularity - MODULARITY 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2014
Astronomy and Astrophysics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
RESONANT ABSORPTION OF TRANSVERSE OSCILLATIONS AND ASSOCIATED HEATING IN A SOLAR PROMINENCE. II. NUMERICAL ASPECTS
2015
Astrophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Ur/Web
2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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