Filters








188 Hits in 4.7 sec

Synthesizing memory models from framework sketches and Litmus tests

James Bornholt, Emina Torlak
2017 SIGPLAN notices  
MemSynth takes as input a set of litmus tests and a framework sketch that defines a class of memory models. The sketch comprises a set of axioms with missing expressions (or holes).  ...  We show that MemSynth can synthesize specifications for x86 in under two seconds, and for PowerPC in 12 seconds from 768 litmus tests.  ...  Acknowledgments We thank Dan Grossman, Xi Wang, Luis Ceze, John Wickerson, our shepherd Swarat Chaudhuri, and the anonymous reviewers for their feedback on this work.  ... 
doi:10.1145/3140587.3062353 fatcat:bcbdqnjnpjcqpeq4drclsrndcy

Synthesizing memory models from framework sketches and Litmus tests

James Bornholt, Emina Torlak
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
MemSynth takes as input a set of litmus tests and a framework sketch that defines a class of memory models. The sketch comprises a set of axioms with missing expressions (or holes).  ...  We show that MemSynth can synthesize specifications for x86 in under two seconds, and for PowerPC in 12 seconds from 768 litmus tests.  ...  Acknowledgments We thank Dan Grossman, Xi Wang, Luis Ceze, John Wickerson, our shepherd Swarat Chaudhuri, and the anonymous reviewers for their feedback on this work.  ... 
doi:10.1145/3062341.3062353 dblp:conf/pldi/BornholtT17 fatcat:lez4mnybdjdhbgfgf3iydij3we

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis [article]

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2021 Zenodo  
and combinations of axiomatic and operational modeling, demonstrations on new problem classes, and a more robust implementation.  ...  UCLID5 is a tool for the multi-modal formal modeling, verification,and synthesis of systems.  ...  A given litmus test outcome can be verified on a microarchitecture by grounding the axioms over the instructions and outcome of that litmus test and asking a SMT solver to search for an acyclic µhb graph  ... 
doi:10.5281/zenodo.6557711 fatcat:si6njrzuorexhdskw4q4srzpeq

Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462)

Eiko Yoneki, Amitabha Roy, Derek Murray, Marc Herbstritt
2015 Dagstuhl Reports  
The seminar was a successful gathering of computer scientists from the domains of systems, algorithms, architecture and databases all of whom are interested in graph processing.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14462 "Systems and Algorithms for Large-scale Graph Analytics".  ...  We also thank Karthik Nilakant and Valentin Dalibard for their help with editing the report.  ... 
doi:10.4230/dagrep.4.11.59 dblp:journals/dagstuhl-reports/Yoneki0M14 fatcat:dilicps65jgipetfid3udj2q4i

Causality in qualitative and quantitative research

Jacques Tacq
2010 Quality & Quantity: International Journal of Methodology  
A historical framework is also outlined for the opposition between quantitative and qualitative research, in which French positivism and British empiricism are opposed to German neo-kantianism and neo-hegelianism  ...  David Collier and "QCA" of Charles Ragin.  ...  The link with the issue of causality will especially become clear in the historical framework, of which I will now gave a brief sketch.  ... 
doi:10.1007/s11135-009-9293-0 fatcat:hvd5xgbp2vcl7gq5mupschry64

InterNoC: Unified Deterministic Communication For Distributed NoC-based Man y-Core

Eleftherios Kyriakakis, Jens Sparso, Martin Schoeberl
2019 Zenodo  
In this paper, we sketch our coordination language and scheduling approach to enable ETSaware applications.  ...  ACKNOWLEDGMENT The project has received funding from the European Unions Horizon2020 research and innovation programme under grant agreement No 779882.  ...  The hardware implementation of Lipsi is written in Chisel [5] , and it has been synthesized to the DE2-115 FPGA board.  ... 
doi:10.5281/zenodo.5851207 fatcat:rpvcg7lr6vfvheufpbfxl2kpv4

Intelligence and Cognitive Control [chapter]

Adam Chuderski, Edward Nęcka
2010 Handbook of Individual Differences in Cognition  
We suggest that a functional framework of this kind may benefit from the consideration of an additional "integration" function .  ...  Recent attempts to provide more comprehensive measurement models for WM functions come from studies using latent variable analysis (see Orzechowski, this volume, for detailed and critical review).  ...  The Function of Consciousness and Its Role in Cognition In this section, I sketch a model of the functions of conscious awareness, and then in later sections show how this model can be put to use in explaining  ... 
doi:10.1007/978-1-4419-1210-7_16 fatcat:itedvhvceratlgg74gnnweasbm

Dancing with ambiguity: Causality behavior, design thinking, and triple-loop-learning

Larry J. Leifer, Martin Steinert
2011 Information, Knowledge, Systems Management  
This human-centric methodology integrates expertise from design, social sciences, business and engineering.  ...  Over the past thirty years, a powerful methodology for innovation has emerged from engineering and design thinkers in Silicon Valley.  ...  Fig. 8 . 8 Tangible 3D prototypes, right, facilitate associative memory, analog thinking, and exploration better than 2D sketches (J. Edelman & Currano, 2011) .164 L. Leifer and M.  ... 
doi:10.3233/iks-2012-0191 fatcat:6mlrwenkrrd2hmnqtponexlth4

Dancing with Ambiguity: Causality Behavior, Design Thinking, and Triple-Loop-Learning [chapter]

Larry J. Leifer, Martin Steinert
2013 Management of the Fuzzy Front End of Innovation  
This human-centric methodology integrates expertise from design, social sciences, business and engineering.  ...  Over the past thirty years, a powerful methodology for innovation has emerged from engineering and design thinkers in Silicon Valley.  ...  Fig. 8 . 8 Tangible 3D prototypes, right, facilitate associative memory, analog thinking, and exploration better than 2D sketches (J. Edelman & Currano, 2011) .164 L. Leifer and M.  ... 
doi:10.1007/978-3-319-01056-4_11 fatcat:gz4pl72zhne57lfwvapncuttu4

Reading Poison: Science and Story in Nazi Children's Propaganda

Daniel Feldman
2021 Children's Literature in Education  
This analysis of Nazi nonfiction for children demonstrates how science and story can be exploited to promote a racist agenda.  ...  prove that a society can venerate science to the point of making biology the organizing principle of its educational system yet nevertheless produce children's literature shot through with fabrication and  ...  In short, the consensus among historians of science is that we should not impose an anachronistic litmus test of what qualifies as science.  ... 
doi:10.1007/s10583-021-09454-9 pmid:35602573 pmcid:PMC8146176 fatcat:nctsjk36uzfa5apdtjf3pr5k3i

The Neural Basis of the Dynamic Unconscious

Heather A. Berlin
2011 Neuropsychoanalysis  
organized within a conceptual framework.  ...  The processes that keep unwanted thoughts from entering consciousness include repression, suppression, and dissociation.  ...  Berlin's analysis serves almost as a litmus test for both the advances and perhaps foibles of modern studies of the unconscious, a growing field full of ambiguities, especially when it comes to how affective  ... 
doi:10.1080/15294145.2011.10773654 fatcat:xohf3pe54bbbddsnjm54b3rm64

Download Complete Issue: CP68 (8MB)

Full Issue
2011 Cartographic Perspectives  
What litmus divides the radical from the conventional?  ...  In it, we see an ancient Egyptian drawing class, sketching a model.  ...  This map tells the story of the Chernobyl disaster from both a European and Ukrainian perspective.  ... 
doi:10.14714/cp68.38 fatcat:msmzk5rmhzeapgtssx5pz5gddq

Niche construction, biological evolution, and cultural change

Kevin N. Laland, John Odling-Smee, Marcus W. Feldman
2000 Behavioral and Brain Sciences  
In this model, phenotypes have a much more active role in evolution than generally conceived. This sheds light on hominid evolution, on the evolution of culture, and on altruism and cooperation.  ...  We propose a conceptual model that maps the causal pathways relating biological evolution to cultural change.  ...  ACKNOWLEDGMENTS We are grateful to Aaron Hirsh and Ben Kerr for helpful comments on earlier drafts of our response to the commentaries.  ... 
doi:10.1017/s0140525x00002417 fatcat:wtewxngqsbal7ecay3erytg2pq

Economic institutions as ecological niches

Samuel Bowles
2000 Behavioral and Brain Sciences  
In this model, phenotypes have a much more active role in evolution than generally conceived. This sheds light on hominid evolution, on the evolution of culture, and on altruism and cooperation.  ...  We propose a conceptual model that maps the causal pathways relating biological evolution to cultural change.  ...  ACKNOWLEDGMENTS We are grateful to Aaron Hirsh and Ben Kerr for helpful comments on earlier drafts of our response to the commentaries.  ... 
doi:10.1017/s0140525x00252412 fatcat:z6b36iexbzeslebdpshdgcegwq

Our shared species-typical evolutionary psychology

Jerome H. Barkow
2000 Behavioral and Brain Sciences  
In this model, phenotypes have a much more active role in evolution than generally conceived. This sheds light on hominid evolution, on the evolution of culture, and on altruism and cooperation.  ...  We propose a conceptual model that maps the causal pathways relating biological evolution to cultural change.  ...  ACKNOWLEDGMENTS We are grateful to Aaron Hirsh and Ben Kerr for helpful comments on earlier drafts of our response to the commentaries.  ... 
doi:10.1017/s0140525x00242416 fatcat:ookpuabi4jbhtobtoor5koz7xm
« Previous Showing results 1 — 15 out of 188 results