Filters








44 Hits in 9.2 sec

VERMEER: A Tool for Tracing and Explaining Faulty C Programs

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schaf, Thomas Wies
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
VERMEER combines two functionalities: (1) a dynamic tracer that produces a linearized trace from a faulty C program and a given test input; and (2) a static analyzer that explains why the trace fails.  ...  We present VERMEER, a new automated debugging tool for C.  ...  To improve automated debugging support, we present VERMEER, a tool that automatically traces individual faulty executions of C programs and produces an explanation of the faulty behavior.  ... 
doi:10.1109/icse.2015.236 dblp:conf/icse/Schwartz-Narbonne15 fatcat:nrsbm3rkkvhbxdecug2ujxkjkq

The power of "why" and "why not": enriching scenario exploration with provenance

Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017  
They can help to verify properties and, more generally, aid in exploring a system's behavior.  ...  We also evaluate Amalgam's algorithmics on a variety of both textbook and real-world examples.  ...  ACKNOWLEDGMENTS We are grateful to Daniel Jackson, Emina Torlak, and the Alloy team. This work was partially supported by the US NSF.  ... 
doi:10.1145/3106237.3106272 dblp:conf/sigsoft/NelsonDDK17 fatcat:hzsio7nbmncsfbnlh3bvirxg5q

Using model checkers in an introductory course on operating systems

Roelof Hamberg, Frits Vaandrager
2008 ACM SIGOPS Operating Systems Review  
The course uses model checkers as a tool to explain, visualize and solve concurrency problems.  ...  In this article, we report on our experiences in the classroom, explain how mutual exclusion algorithms, semaphores and monitors can conveniently be modeled in Uppaal, and present some results on properties  ...  The language for the new version Uppaal 4.0 features a subset of the C programming language, a graphical user interface for specifying networks of extended finite state machines (EFSMs), and syntax for  ... 
doi:10.1145/1453775.1453793 fatcat:g7pl5ijv5vbutnyisqtazrrh3a

Reading Between the Lines and Against the Grain: English Language Arts and Social Reproduction in Alberta

Leslie A. Vermeer
2012
the hegemonic action of the dominant ideology and reveal a space for transformative social change.  ...  This dissertation is dedicated to the memory of Timothy James Beechey , who represented for me everything that teaching and learning are and can be; and to Bruce Keith and Zachary Keith, because no one  ...  In rooting my dissertation in the sociology of education, I am addressing both classroom teachers and those who teach them, for as Lauder, Brown, and Halsey explain in tracing the history of sociology  ... 
doi:10.7939/r3t022 fatcat:aq5pmwt5cjejhgz5zexkhimjvy

A Defense of (s)crappy Robots [article]

Ryan Jenkins, Mairéad Hurley, Eva Durall, Sebastian Martin
2020 Zenodo  
We'll use recycled materials, hobby motors, batteries and homemade switches in the construction process and show some possibilities for adding programming or digital tools to the mix.  ...  As makerspaces and STEAM learning environments have become more and more common, many commercial kits for robotics, electric circuits and digital technology have been created for schools and individual  ...  The games were programmed by Cauldron.  ... 
doi:10.5281/zenodo.5501878 fatcat:snjtztj37fbbpeszscwhk63uj4

Contents

2002 Chemistry International  
Unlike previous symposia which consisted of invited lectures and papers given in non-overlapping sessions, this symposium was accompanied by a Workshop on Solubility Phenomena-Application for Environmental  ...  Improvement, whose sessions were held in parallel with the symposium, except for one joint session.  ...  It explains, step by step, with compelling logic, that Vermeer used a camera obscura for his paintings, in which room this happened, and which dimensions lens the camera had, how the painter employed them  ... 
doi:10.1515/ci.2002.24.6.1 fatcat:pk7g7swazvgazesenakihupmai

Active learning in optics and photonics: experiences in Africa

M. Alarcon, E. Arthurs, Z. Ben Lakhdar, I. Culaba, V. Lakshminarayanan, J. Maquiling, A. Mazzolini, J. Niemela, D. Sokoloff, François Flory
2005 Ninth International Topical Meeting on Education and Training in Optics and Photonics  
The spectral emission of a laser, the Zeeman effect on the laser frequencies, the frequency stabilisation of a laser and the Lamb dip are the subjects chosen to virtually illustrate the properties of a  ...  The student is under the conditions he can find in the real laboratory and can spend as long as he wishes, at any time.  ...  u l l a n d a c t i v e s u p p o r t wi t h o u t wh i c h , t h i s activity would not have taken place.  ... 
doi:10.1117/12.2207699 fatcat:so5wxhilsvfbxafbjfvbiw64fu

Methodologies for data quality assessment and improvement

Carlo Batini, Cinzia Cappiello, Chiara Francalanci, Andrea Maurino
2009 ACM Computing Surveys  
The literature provides a wide range of techniques to assess and improve the quality of data.  ...  The goal of this article is to provide a systematic and comparative description of such methodologies.  ...  Other contributions in the literature that provide tools for quality-based query processing and instance-level conflict resolution for cooperative information systems are 16:26 C. Batini et al.  ... 
doi:10.1145/1541880.1541883 fatcat:xlstbbgxnng2npc2sq6ou3kvbm

Truth & Beauty Bombs: The personal/political/poetics of online communication in #archaeology. #PATC Keynote, April 27th 2017

Colleen Morgan
2017 Epoiesen: A Journal for Creative Engagement in History and Archaeology  
The digital artist draws or paints with a set of programmed tools: the application itself, rhe various toolboxes from which the application is composed, and the computer's operating system.  ...  Different programs, representing different media, can appear in each window-a word processing document in one, a digital photograph in another, digitized video in a third-while clickable tools activate  ...  Kath Hayles (1993) has explained one important strategy for denial, she describes what Bourdieu and many others advocate as "embo knowledge": To look at thought in this way [as Bourdieu doer] is to  ... 
doi:10.22215/epoiesen/2017.12 fatcat:imta2rayurctllvmv4gelwai2u

Narrative and Identity Formation: An Analysis of Media Personal Accounts from Patients of Cosmetic Plastic Surgery [chapter]

D�bora de Carvalho Figueiredo
2009 Genre in a Changing World  
, teaching writing, administering writing programs, and studying writing in its various forms.  ...  Consistent with the wide ranging approaches characteristic of teaching and scholarship in writing across the curriculum, the series presents works that take divergent perspectives on working as a writer  ...  For the Genette Transitions: Writing in academic and workplace settings (pp. 31 -60). Cresskills, New Jersey: Hampton Press. Freedman, A., Adam, C., & Smart, G. (1994).  ... 
doi:10.37514/per-b.2009.2324.2.13 fatcat:zoc5rugwang5biqp5d53xtfd2a

C. Wright Mills. Letters and Autobiographical Writings. Edited by, Kathryn Mills and Pamela Mills. Introduction by, Dan Wakefield. xxviii + 378 pp., illus., apps., bibl., index.Berkeley/Los Angeles/London: University of California Press, 2000. $34.95

Robert C. Bannister
2002 Isis  
Keller argues for chickens. The most important idea in the book is Keller's distinction between a developmental program and a genetic program.  ...  k as an experimental tool.  ...  Despite a surface bravado, he was also deeply sensitive to criticism. As "Charlie" of Texas becomes "C.  ... 
doi:10.1086/343331 fatcat:7dzhwm44gbgcjkqdtqhlsyu6om

Richard F. Wetzell. Inventing the Criminal: A History of German Criminology, 1880–1945. (Studies in Legal History.) xvi + 348 pp., bibl., index.Chapel Hill/London: University of North Carolina Press, 2000. $39.95

Andre Wakefield
2002 Isis  
Keller argues for chickens. The most important idea in the book is Keller's distinction between a developmental program and a genetic program.  ...  C.  ...  program of the University of California at Santa Cruz, where she was appointed to the first position in feminist theory in the United States and where she has trained multitudes of students, both graduates  ... 
doi:10.1086/343270 fatcat:cwunlznmpvba5f7mibgfrqmfam

Effective Communication of Product Information: A Copy Writing Methodology

Dandeswar Bisoyi
2013 IOSR Journal of Humanities and Social Science  
For copywriting to be effective, one has to be original and interesting in order to influence the buying decisions of millions.  ...  Copy writing is a process where advertisers convey the product information to customers. Copy is created to fulfill the needs of its user.  ...  This attitude of his causes a temporary rebellion as it breeds resentment (see Kurunmi, p.39). As a contemporary play Rotimi rejects Kurunmi for not being a good leader.  ... 
doi:10.9790/0837-0640103 fatcat:wmbxz7tkkbc77pxfknnobo2r3e

Representations of black people in the Slovenian translations of Karl May's novels

Janko Trupej
2017 FORUM: Revue internationale d?interprétation et de traduction / International Journal of Interpretation and Translation  
A substantial amount of neutralization of pejorative racial terminology occurred in both pre- and post-War translations, and translators in both eras also used similar strategies for translating black  ...  The article discusses how black people were portrayed in the Slovenian translations of the novels Winnetou, Old Surehand and Der Schatz im Silbersee, which have all been translated into Slovenian several  ...  A very warm thank you goes to Nadja Grbić and her precious assistance, for swiftly lending us a hand in times of trouble.  ... 
doi:10.1075/forum.15.1.07tru fatcat:zsqeye5p5begfkbwrokc3nqrj4

TBHEB 2021-2 Vol 78 Full Printed Journal

Utku ERCÖMERT
2021 Turkish Bulletin of Hygiene and Experimental Biology  
Coffee drinking and cancer of the panceras (Editorial). Br Med J, 1981; 283:628. -Dergi eki için örnek: Frumin AM, Nussbaum J, Esposito M.  ...  Daha detaylı bilgi için "Uniform Requirements for Manuscripts submitted to Biomedical Journals" (J Am Med Assoc 1997; 277: 927-934) (http://www.nejm.org/) bakılmalıdır.  ...  The Turkish Bulletin of Hygiene and Experimental Biology (Turk Hij Den Biyol Derg) is taken part in Index ACKNOWLEDGMENT The authors declare no conflict of interest.  ... 
doi:10.5505/turkhijyen.2021.58672 fatcat:q2sjucldxfaclmsopmcxaw5fku
« Previous Showing results 1 — 15 out of 44 results