Results 21 to 30 of about 13,975 (278)
Business Strategy and the Environment, Volume 32, Issue 1, Page 353-368, January 2023., 2023 Abstract Impact investments have the dual goals of generating profit and environmental and/or social impact from the same project or enterprise. This article examines recent impact investments in biodiversity conservation—specifically, debt finance in the form of conventional bonds and impact bonds.
Benjamin S. Thompson
wiley +1 more source
Proceedings of the ACM on Programming Languages 6, OOPSLA2,
Article 137 (October 2022), 2022 The size of a data structure (i.e., the number of elements in it) is a widely used property of a data set. However, for concurrent programs, obtaining a correct size efficiently is non-trivial. In fact, the literature does not offer a mechanism to obtain a correct (linearizable) size of a concurrent data set without resorting to inefficient solutions ...
arxiv +1 more source
Standard Type Soundness for Agents and Artifacts [PDF]
Scientific Annals of Computer Science, 2012 Formal models, core calculi, and type systems, are important tools for rigorously stating the more subtle details of a language, to characterise and study its features and the correctness properties of its programs.
F. Damiani +3 more
doaj +1 more source
Revocation techniques for Java concurrency [PDF]
Concurrency and Computation: Practice and Experience, 2006 This paper proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions—the ability to undo their effects automatically and transparently. These new techniques alleviate many of the constraints that inhibit construction of transparently scalable and robust concurrent ...
Suresh Jagannathan +2 more
openaire +2 more sources
Human Resource Management, Volume 62, Issue 1, Page 97-115, January/February 2023., 2023 Abstract Analyzing multiple data sources from a global information technology (IT) consulting multinational enterprise (MNE), this research unpacks the configuration of a digitalized HR ecosystem of artificial intelligence(AI)‐assisted human resource management (HRM) applications and HR platforms.
Ashish Malik +3 more
wiley +1 more source
EURASIP Journal on Advances in Signal Processing, 2021 Nowadays, with the rapid growth of data volume, massive data has become one of the factors that plague the development of enterprises. How to effectively process data and reduce the concurrency pressure of data access has become the driving force for the
Dajun Chang +3 more
doaj +1 more source
Ibrain, EarlyView., 2023 This study compared the clinical effectiveness and treatment satisfaction of Pregabalin and Gabapentin triple therapy for neuropathic pain in a real‐world setting. The primary outcome measured the reduction in mean Self‐Administered Leeds Assessment of Neuropathic Symptoms and Signs pain score value from baseline to 12 weeks posttreatment.
Nithya Raju +7 more
wiley +1 more source
Applying dynamic analysis to programs running in interpreted environments
Труды Института системного программирования РАН, 2018 The present-day trends in software engineering include the steady increase of code and design complexity which reinforces the high demand in automated software testing and analysis tools.
S. P. Vartanov +2 more
doaj +1 more source
Concurrency and synchronization in Java programs
Science of Computer Programming, 2005 This special issue of the Science of Computer Programming grew out of a workshop on concurrency and synchronization in Java programs (CSJP 2004) that was held July 25–26, 2004 in conjunction with the 23rd Annual ACM Symposium on the Principles of Distributed Computing (PODC) in St. John’s, Newfoundland, Canada.
Jan Vitek, Mark Moir, Nir Shavit
openaire +2 more sources
Dynamic program analysis for error detection using goal-seeking input data generation
Труды Института системного программирования РАН, 2018 This paper describes the principles of program dynamic analysis for defect detection using input data generation. Techniques of program transformation allowing execution trace extraction, data flow tracing and input data generation for execution path ...
S. P. Vartanov, A. Y. Gerasimov
doaj +1 more source