Filters








7 Hits in 3.9 sec

Cooking the Books: Formalizing JMM Implementation Recipes

Gustavo Petri, Jan Vitek, Suresh Jagannathan, Marc Herbstritt
2015 European Conference on Object-Oriented Programming  
In this paper, we present the first formalization of the cookbook, providing a semantic basis upon which the relationship between the recipes defined by the cookbook and the guarantees enforced by the  ...  The goal of the cookbook is to give compiler writers a relatively simple, yet reasonably e cient, set of reordering-based recipes that satisfy JMM constraints.  ...  Finally we thank the anonymous reviewers whose recommendations have improved the quality of the paper.  ... 
doi:10.4230/lipics.ecoop.2015.445 dblp:conf/ecoop/PetriVJ15 fatcat:vwqlcnl2fjapjizxz6gmizsdbm

Cooking the Books: Formalizing JMM Implementation Recipes *

Gustavo Petri, Jan Vitek, Suresh Jagannathan
unpublished
In this paper, we present the first formalization of the cookbook, providing a semantic basis upon which the relationship between the recipes defined by the cookbook and the guarantees enforced by the  ...  justifies our belief in the need for formally provable definitions to reason about sophisticated (and racy) concurrency patterns in Java, and their implementation on modern-day relaxed-memory hardware.  ...  Finally we thank the anonymous reviewers whose recommendations have improved the quality of the paper.  ... 
fatcat:hkwupfvbt5ettiba3yymo23kvm

Recent Progress in the Zimmer program

Aaron Brown
2018 Notices of the American Mathematical Society  
by the advertiser.  ...  He is grateful to Wuchen Li and Yupeng Li for drawing the figures incorporated in the manuscript.  ...  He tells the Notices: "I am currently on paternity leave with my second child. In my rapidly shrinking free time I enjoy cooking and reading comic books."  ... 
doi:10.1090/noti1643 fatcat:zwf4v65k7vcqtdwwpdfyfuy2oq

Women's History Month

Margaret A. Readdy, Christine Taylor, Joan Birman, Melody Chan, Alice Chang, Maria Chudnovsky, Carina Curto, Ingrid Daubechies, Irene Fonseca, Carolyn Gordon, Fan Chung Graham, Rosemary Guzman (+17 others)
2018 Notices of the American Mathematical Society  
In addition to mathematics, she enjoys gardening, cooking with her family, and exploring the Finger Lakes.  ...  Synopsis of Research In Joan Birman's first formal meeting with her PhD thesis advisor, Wilhelm Magnus, she learned that the mapping class group of the twice-punctured torus was well understood and that  ... 
doi:10.1090/noti1653 fatcat:dyx3b6pfn5fofjxeotijkjolby

SINO-IRANICA: Chinese Contributions to the History of Civilization in Ancient Iran

Berthold Laufer
1919 Publications of the Field Museum of Natural History. Anthropological Series  
for cooking and lighting purposes."  ...  tne . (" Book of Alex?  ...  Swords and other implements made from this metal are polished by means of gold threads, and then these pat? terns become visible; the price of this metal exceeds that of silver.  ... 
fatcat:gh4yywevb5gw3c36cgxgkpia6e

Nonverbal Communication During Human-Robot Object Handover. Improving Predictability of Humanoid Robots by Gaze and Gestures in Close Interaction

Sebastian Meyer zu Borgsen
2020
In this work I present how nonverbal communication can be implemented in robots to facilitate smooth handovers.  ...  Handing an object has a special movement trajectory itself which has not only the purpose of bringing the object or hand to the position of exchange but also of socially signalizing the intention to exchange  ...  Besides the recipes and supporting templates there are distributions. A distribution is a collection of recipes and specified versions.  ... 
doi:10.4119/unibi/2943731 fatcat:7g2cjlvnezevpmyiqv46ghnsle

When going digital is inevitable: a multidimensional view of newspaper managers' responses to newswork change [article]

Wei Shao, University Of Canterbury
2018
Media management focuses predominantly on the business and audience aspects of the newspaper's operation, with less attention to the professional and social aspects of managing newswork.  ...  The results show that there is a recurring story in the three cases — namely change is emergent, and people's views on change impact the strategic performance of newspaper organisations.  ...  The boundary among industries, as well as the shared recipe of the industry no longer worked.  ... 
doi:10.26021/5093 fatcat:r5extcf34rav7bd544uqudxqk4