3,131 Hits in 3.6 sec

Concurrency Among Strangers [chapter]

Mark S. Miller, E. Dean Tribble, Jonathan Shapiro
2005 Lecture Notes in Computer Science  
Several projects are adapting these insights to existing platforms.  ...  For concurrent computation, this paper shows how hard it is to use locking to prevent plans from interfering without also destroying their ability to cooperate.  ...  Acknowledgements We are especially grateful to Ka-Ping Yee and David Hopwood for a wide variety of assistance.  ... 
doi:10.1007/11580850_12 fatcat:bsw3h64wqncnzcoi5t7k7ti5wq


Sergey Bykov, Alan Geller, Gabriel Kliot, James R. Larus, Ravi Pandya, Jorgen Thelin
2011 Proceedings of the 2nd ACM Symposium on Cloud Computing - SOCC '11  
Within a grain, promises are the mechanism for managing both asynchronous messages and local task-based concurrency.  ...  Isolated state and a constrained execution model allow Orleans to persist, migrate, replicate, and reconcile grain state.  ...  The composite promise is resolved when all of the joined promises resolve. If any of the individual promises are broken, the composite promise breaks as well.  ... 
doi:10.1145/2038916.2038932 dblp:conf/cloud/BykovGKLPT11 fatcat:arihyjt77beibftccue4ac5ute

Exploration of the Dendritic Cell Algorithm Using the Duration Calculus [chapter]

Feng Gu, Julie Greensmith, Uwe Aickelin
2009 Lecture Notes in Computer Science  
To assess such capability, formal methods in the research of real-time systems can be employed. The findings of the assessment can provide guideline for the future development of the algorithm.  ...  Since the DCA can be seen as many such cells operating in parallel, it is potentially capable of performing real-time detection.  ...  Such delays can be problematic for applications with strict time constraints, as they are often speed-critical.  ... 
doi:10.1007/978-3-642-03246-2_10 fatcat:5nozinmporbcrlwfzmwb6y3v2m

Exploration Of The Dendritic Cell Algorithm Using The Duration Calculus [article]

Feng Gu, Julie Greensmith, Uwe Aickelin
2010 arXiv   pre-print
To assess such capability, formal methods in the research of rea-time systems can be employed. The findings of the assessment can provide guideline for the future development of the algorithm.  ...  Since the DCA can be seen as many such cells operating in parallel, it is potentially capable of performing real-time detection.  ...  Such delays can be problematic for applications with strict time constraints, as they are often speed-critical.  ... 
arXiv:1003.0404v1 fatcat:cl5cpxc6lfbl5pxxh2mblhgkgi

Program analysis and transformation for data-intensive system evolution

Anthony Cleve
2010 2010 IEEE International Conference on Software Maintenance  
Data-intensive software systems are generally made of a database (sometimes in the form of a set of files) and a collection of application programs in strong interaction with the former.  ...  d(r) = null d (E) = d(E) ∪ {r} r ∈ E s ,d [[E(cond)]] s = s[V arr] Delete primitive S s,d [[delete V ar(cond)]] = r ∈ E s,d [[E(cond)]] → (s , d ), (s, d) where r = s(V ar) E = type(V ar) s = s[V ar  ...  (f) We will note type(V ar) the type of variable V ar.B.2.5 Semantics of Expressions (for record selection)Attribute-based conditionE s,d [[E(: A = exp)]] = {rR : r ∈ d(E) ∧ d E (r)(A) = E s,d [[exp  ... 
doi:10.1109/icsm.2010.5609724 dblp:conf/icsm/Cleve10 fatcat:6koz3b7verbffoli553tpd37vy

Supporting automatic recovery in offloaded distributed programming models through MPI-3 techniques

Antonio J. Peña, Vicenç Beltran, Carsten Clauss, Thomas Moschny
2017 Proceedings of the International Conference on Supercomputing - ICS '17  
Using ParaStation MPI, a production MPI-3.1 implementation, we explore the features that, being standard compliant, an MPI stack must support to provide the necessary fault tolerance guarantees, based  ...  In this paper we describe the design of fault tolerance capabilities for general-purpose offload semantics, based on the OmpSs programming model.  ...  CheCUDA [12] and CheCL [13] are C/R solutions for CUDA and OpenCL applications, respectively. Snapify provides C/R, migration, and swapping services for Intel ® Xeon Phi™ coprocessors [6] .  ... 
doi:10.1145/3079079.3079093 dblp:conf/ics/PenaBCM17 fatcat:ealhsmdha5hodimimkdldxyy7i

Crossing the Divide: Foundations of a Theology of Migration and Refugees

Daniel G. Groody
2009 Theological Studies  
He observes that "for humankind to be united in one . . . the web of hatred, injustice, and sin has to be broken. . . .  ...  It stresses that the economy is made for human beings, not human beings for the economy.  ... 
doi:10.1177/004056390907000306 fatcat:dfk5uttpczdvdm4jut2awqubhq

Semantic Capital: Its Nature, Value, and Curation

Luciano Floridi
2018 Philosophy & Technology  
Several meetings enabled me to test some of the ideas presented here, and I am really very grateful to the organisers for such valuable opportunities, many thanks to: Anna Sexton and Eirini Goudarouli,  ...  for a keynote at the National Archives, to inaugurate the new Annual Digital Lecture Lecture Series (London, 7 June 2018); Massimiliano Bucchi for a Lectio Magistralis at the University of Trento, to  ...  would be too strict.  ... 
doi:10.1007/s13347-018-0335-1 fatcat:536oh57a2vhvfmyqtl67j44le4

Gradual typing embedded securely in JavaScript

Nikhil Swamy, Cedric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman
2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14  
After type-checking, the compiler instruments the program with various checks to ensure the type safety of TS despite its interactions with arbitrary JavaScript contexts, which are free to use eval, stack  ...  JavaScript's flexible semantics makes writing correct code hard and writing secure code extremely difficult.  ...  Acknowledgments Many thanks to Martín Abadi, Antoine Delignat-Lavaud, Jeremy Siek, Phil Wadler, and all the anonymous reviewers.  ... 
doi:10.1145/2535838.2535889 dblp:conf/popl/SwamyFRBCSB14 fatcat:ijdjwahimvfxdkguhpo6k62kli

Wishful thinking. The attitude of Polish government towards immigration after 2015

Anita Adamczyk
2019 Przegląd Politologiczny  
The purpose of this article is to analyze Polish migration policy after 2015. The author would like to show discrepancies between the political declarations and reality.  ...  Its purpose is also to show the position of the Law and Justice government regarding the EU's policy on solving the migration crisis and Poland's openness to admitting refugees/immigrants.  ...  Poland declared a payment of €4 million in 2019, and made no promises for the following year.  ... 
doi:10.14746/pp.2019.24.4.9 fatcat:ky2qs42fwnaupoipk4t3ajgxya

Automated assistance for program restructuring

William G. Griswold, David Notkin
1993 ACM Transactions on Software Engineering and Methodology  
Finally, if the user compensations are not meaning preserving, and they are global, then interfaces of the changed object are not being made any more robust; future change is not likely to be  ...  Most of these are strict equivalence rules, so their inverses apply as well. 4.4 Example: Using the Model to Design var-to-expr How are the globalization skeleton and the substitution rules used  ... 
doi:10.1145/152388.152389 fatcat:msk6e4fhuzff3e4m5mc7osybku

Future Directions for Semantic Systems [chapter]

John F. Sowa
2011 Intelligent Systems Reference Library  
Linked data systems with lightweight semantics are easy to develop, but they can't interpret the data they link.  ...  For over thirty years, the complexity of knowledge acquisition has been the greatest obstacle to widespread use of semantic systems.  ...  The legacy re-engineering project shows that formal semantics derived from software can be used to interpret reports and manuals about the software.  ... 
doi:10.1007/978-3-642-17931-0_2 fatcat:eyl7rmkql5aajb327cx5duksx4

Aboutness from a commonsense perspective

P. D. Bruza, D. W. Song, K. F. Wong
2000 Journal of the American Society for Information Science  
Special attention is paid to the rules prescribing conservative behaviour of aboutness with respect to information composition.  ...  In addition, some properties are only sound within the context of a given IR model, but are not sound from the perspective of the user.  ...  The first author would like to thank Gianni Amati, Theo Huibers, Bernd van Linder and Keith van Rijsbergen for the interesting discussions in the topic area of this paper.  ... 
doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1026>;2-y fatcat:rmehmotjpjg6nfyi4jhpt5ebzu

The Latent Precariousness of Migrant Workers: a Study of Ukrainians Legally Employed in Poland

Kamil Filipek, Dominika Polkowska
2019 Journal of International Migration and Integration  
Social comparison theory has been used to explain critical problems related to the extent of precariousness among migrants.  ...  The global rise in migration has captured academic attention and spurred discussions around migrants-their living and working conditions, status, relations with the host community, future plans, etc.  ...  the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s12134-019-00708-6 fatcat:sjg66ecmknct7kovch24y3iu6a

Managing software evolution through semantic history slicing

Yi Li
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Managing Software Evolution Through Semantic History Slicing Software change histories are results of incremental updates made by developers.  ...  However, traditional commit-based sequential organization of version histories lacks semantic structure and thus is insufficient for many development tasks that require high-level, semantic understanding  ...  Back-porting is one example of such a migration, when changes made in a newer version of software are ported to an earlier one in order to provide the updated functionality to all users.  ... 
doi:10.1109/ase.2017.8115722 dblp:conf/kbse/Li17 fatcat:zkrpia6wbfdglcxvcv57ladsda
« Previous Showing results 1 — 15 out of 3,131 results