The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
The meaning of concurrent programs
[article]
2008
arXiv
pre-print
Preserved Fulltext
The semantics of assignment and mutual exclusion in concurrent and multi-core/multi-processor systems is presented with attention to low level architectural features in an attempt to make the presentation ...
arXiv:0810.1316v1
fatcat:r7wowxgoorfetdk3yowp3ihwr4
What it means for a concurrent program to satisfy a specification
1985
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85
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 2008; you can also visit the original URL.
The file type is application/pdf.
The formal correspondence between an implementation and its specification is examined. ...
Order of preference based on urgency, importance, or merit. [1] * ...
In writing this paper, I was aided by the helpful comments of Brent Hailpern and Fred Schneider and the enthusiastic objections of the members of IFIP Working Group 2.2. ...
doi:10.1145/318593.318616
dblp:conf/popl/Lamport85
fatcat:bbyswqhw2zgnzmg4jp6cga2dcq
Information Sciences and Technologies Bulletin of the ACM Slovakia Analysis and Testing of Concurrent Programs Image Processing for Improved Perception and Interaction Security of Biometric Systems Harnessing Manpower for Creating Semantics A Contribution to Traffic State Estimation by Means of Image Processing Methods
2013
unpublished
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.
All the past issues remain accessible on the web as part of the web portal of the Bulletin. ...
Aim and Scope of the Information Sciences and Technologies Bulletin of the ACM Slovakia ACM Slovakia offers a forum for rapid dissemination of research results in the area of computing/informatics and ...
fatcat:ohkwptlc4je7dh7ibueflwek3u
Discriminative stimulus control and the effects of concurrent operants
1987
Journal of The Experimental Analysis of Behavior
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.
Also examined were the effects of a programmed changeover delay, important in maintaining the independence of concurrent operants. ...
For different groups of pigeons, the alternative key, illuminated with green alone, was programmed with twice, the same, or half the reinforcement frequency of the other key. ...
The concurrent-gradient effects by concurrent schedule and COD conditions are summarized in the group mean data of Figures 6 and 7 . ...
doi:10.1901/jeab.1987.47-213
pmid:3572298
pmcid:PMC1348328
fatcat:pbcuyak5d5ccpk2jpj3x72x3le
Teachers Evaluation of Concurrent and Consecutive Teacher Education Models in South-west, Nigeria
2022
Indonesian Journal on Learning and Advanced Education (IJOLAE)
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 2022; you can also visit the original URL.
The file type is application/pdf.
program. ...
On the improvements needed, teacher educators suggested the inclusion of special education and more subject contents area for students enrolled in the concurrent, and an increase in the number of years ...
Table 3 reveals that teachers who had trained through the concurrent teacher education program rated the subject content of their program at the mean value of 4.01. ...
doi:10.23917/ijolae.v4i2.17599
fatcat:4mqyxbinifgoxjkeag5mnmenye
Concurrent alcohol and opioid use among harm reduction clients
2019
Addictive Behaviours
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 sample was predominantly white (95%), 56% were male and the mean age was 33 years old. ...
Forty-seven percent of the clients had no concurrent use of alcohol and opioids; 20.1% reported concurrent use of alcohol and either heroin or prescription opioids; and 33.4% reported concurrent use of ...
Acknowledgements Research reported in this publication was supported by an award from the National Institute of General Medical Sciences of the National Institutes of Health (T32 GM081741). ...
doi:10.1016/j.addbeh.2019.06.016
pmid:31683186
pmcid:PMC7147822
fatcat:vagxghwmtnee7ichxevkuivc4y
Approximate performance evaluation of parallel processing systems using average concurrency
1989
Systems and Computers in Japan
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 results apparently indicate that this proposed method can reduce the number of states from the exponential increment of power of N to the increment of power of average number of concurrent traffics ...
To avoid both the state space explosion and the calculation complexity, as practical concurrent traffics exist, the average concurrency (AVC) is determined which is the average of the overall concurrent ...
The average concurrency (AVC) of the overall programs C is calculated. ...
doi:10.1002/scj.4690201103
fatcat:5lwumt4uercu3nezalwaf7rlza
Experience with Modular Concurrent Programming
1977
IEEE Transactions on Software 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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper summarizes the initial experience with the programming language Concurrent Pascal in the design of three model operating systems. ...
A Concurrent Pascal program consists of modules called processes, monitors, and classes. ...
To build useful minicomputer operating systems exclusively by means of this abstract programming language. ...
doi:10.1109/tse.1977.229907
fatcat:xa666fwq5rhedkk775qzg26eou
Concurrency for the application programmer
2010
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10
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 2019; you can also visit the original URL.
The file type is application/pdf.
What does this revolution mean for the application programmer, typically removed from the hardware through many layers of middle-ware (often on top of managed run-time environments)? ...
Should application-level concurrency abstractions be fundamentally determinate? Fundamentally declarative? Resilient in the face of node-and network-failure? ...
What does this revolution mean for the application programmer? ...
doi:10.1145/1869542.1869611
dblp:conf/oopsla/SaraswatL10
fatcat:7klth77axveefi6ees765ypfhu
Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015)
2015
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 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 2019; you can also visit the original URL.
The file type is application/pdf.
workshop focuses on programming systems, languages and applications based on actors, active/concurrent objects, agents and -more generally -high-level programming paradigms promoting a mindset of decentralized ...
The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world ...
the main complexities that concern the development of complex concurrent programs, featuring degrees of autonomy, proactivity, and reactivity. ...
doi:10.1145/2814189.2833203
dblp:conf/oopsla/BoixHRV15
fatcat:r2ucoffmybbkzpgry365vbu44u
Semantics of Agent Communication: An Introduction
[chapter]
2002
Lecture Notes in 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 2020; you can also visit the original URL.
The file type is application/pdf.
This is a set because programs can give rise to more than one execution due to non-determinism. For instance, we have: which says that the meaning of the program c ! ...
Matching means speech act 1 (ϕ 1 ) speech act 2 (ϕ 2 ). The semantics [[ ]] of ACPL maps a program to the set of communication histories that it generates. ...
The author would also like to express his gratitude to Frank de Boer, Wiebe van der Hoek and John-Jules Meyer for their valuable cooperation on the subject of agent communication over the years. ...
doi:10.1007/3-540-45634-1_10
fatcat:zkno4mhgobftxkxodyi27w3uom
The Structured Phase of Concurrency
[chapter]
2013
Seminal Contributions to Information Systems 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 2017; you can also visit the original URL.
The file type is application/pdf.
Special attention is devoted to models that allow for the true concurrency semantics. ...
Given a model of a process, the structuring problem deals with answering the question of whether there exists another model that describes the process and is solely composed of structured patterns, such ...
The first author is supported by the ARC Linkage Project LP110100252 "Facilitating Business Process Standardisation and Reuse". ...
doi:10.1007/978-3-642-36926-1_20
fatcat:u3wyf4a5jzerbb5cd66mfi7icu
Comparing the Effect Two Different Concurrent Training Styles on Some Specific Physical Abilities and Technical Performance Level of Junior Squash Players
2021
International Journal of Sports Science and Arts
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 2021; you can also visit the original URL.
The file type is application/pdf.
Program Principles: The researcher followed principles of designing training programs in designing the program using two different concurrent training methods as one of them depends on inter-unit concurrence ...
The Training Program:
Aim: The recommended training program aimed to identify the effects of two different concurrent training methods (inter-unit vs. inter-week) on improving some of the specific physical ...
doi:10.21608/eijssa.2021.67965.1078
fatcat:45dxoq4qvfdrpp2ppbchngc7tq
COSTABS
2012
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12
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 2019; you can also visit the original URL.
The file type is application/pdf.
The analysis bounds provide formal guarantees that the execution of the program will never exceed the inferred amount of resources. ...
, sequential computations; and (2) the imperative sub-language provides flexible concurrency and synchronization mechanisms by means of asynchronous method calls, release points in method definitions, ...
We have presented COSTABS, a cost analyzer of ABS concurrent programs. ...
doi:10.1145/2103746.2103774
dblp:conf/pepm/AlbertAGGP12
fatcat:tf4mrvatora27j56lcdnoocr5u
Performance evaluation of proposed load balancing algorithm with unstable concurrent programs
2019
Indonesian Journal of Electrical Engineering and 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 2021; you can also visit the original URL.
The file type is application/pdf.
One of the encounters allied with this administration is the task partition among the applications, regularly referred as concurrent programs. ...
The proposed algorithm confirms the load balancing and outperforms when processing unstable concurrent programs.</span> ...
The queuing model for the experiment is shown in Figure 4 . The arrival rate of all user programs at the US server shadows Poisson distribution with a mean of 1 intrinsic task per second. ...
doi:10.11591/ijeecs.v14.i3.pp1452-1459
fatcat:nffhxjxmvjhlfhhuwvbn5o4q6m
« Previous
Showing results 1 — 15 out of 529,655 results