529,655 Hits in 3.2 sec

The meaning of concurrent programs [article]

Victor Yodaiken
2008 arXiv   pre-print
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

Leslie Lamport
1985 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85  
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

Z Letko, M Seeman, D Lodrová, J Šimko, M Kopf
2013 unpublished
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  ... 

Discriminative stimulus control and the effects of concurrent operants

S Leigland
1987 Journal of The Experimental Analysis of Behavior  
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

Hamdallat Taiwo Yusuf
2022 Indonesian Journal on Learning and Advanced Education (IJOLAE)  
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

Erin L. Winstanley, Amanda Stover, Yifan Zhang, Rebecca Mashni, Judith Feinberg
2019 Addictive Behaviours  
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

Chanintorn Jittawiriyanukoon, Hikaru Nakanishi, Yoshikazu Tezuka, Takashi Watanabe
1989 Systems and Computers in Japan  
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

P.B. Hansen
1977 IEEE Transactions on Software Engineering  
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

Vijay Saraswat, Douig Lea
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
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)

Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos Varela
2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015  
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]

Rogier M. van Eijk
2002 Lecture Notes in Computer Science  
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]

Artem Polyvyanyy, Christoph Bussler
2013 Seminal Contributions to Information Systems Engineering  
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

sherif saleh
2021 International Journal of Sports Science and Arts  
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


Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12  
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

Chanintorn Jittawiriyanukoon
2019 Indonesian Journal of Electrical Engineering and Computer Science  
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