Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London 4 November, 2010

Source URL: www.llvm.org

• C programming language
• Cross-platform software
• Elementary mathematics
• C++
• Sizeof
• SIMD
• C
• Function
• Array programming
• Computer programming
• Computing
• Software engineering

CALL FOR PAPERS TOWERS 6: THE ‘FUNCTIONAL’ TOWER 9-12 APRIL 2015, MARKSBURG, BRAUBACH, GERMANY Much of the emphasis in studies of the tower in medieval elite residence has been placed on the symbolic or ceremonial as

Source URL: www.borgforskning.org

• Marksburg
• Braubach
• Germany
• Tower
• Rheinsteig
• Geography of Germany
• States of Germany

Checking for Race Conditions in File Accesses Matt Bishop, Michael Dilger Department of Computer Science University of California at Davis Davis, CAAbstract

Source URL: www.scs.stanford.edu

• Time of check to time of use
• Computing
• File descriptor
• Passwd
• File system
• Open
• Symbolic link
• Library
• Rlogin
• System software
• Unix
• Software

Journal of Consumer Research, Inc. How Marketplace Performances Produce Interdependent Status Games and Contested Forms of Symbolic Capital Author(s): Tuba Üstüner and Craig J. Thompson Reviewed work(s):

Source URL: www.ejcr.org

• Science
• Capital
• Community building
• Hairdressing
• Pierre Bourdieu
• Social status
• Hairdresser
• Cultural capital
• Taste
• Sociological terms
• Anthropology
• Sociology

Institute of Social Sciences Ivo Pilar, Split regional office and Department of Sociology, University of Zurich announce a call for papers for the international conference “FREEDOM & NECESSITY: CLASS DIFFERENCES, LIFES

Source URL: www.pilar.hr

• Social anthropology
• Symbolic anthropology
• Social science
• Sociology
• Economic inequality
• Anthropology
• Cultural anthropology
• Pierre Bourdieu

SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce :

Source URL: www-circa.mcs.st-and.ac.uk

• Cross-platform software
• Functional languages
• Grid computing
• Symbolic computation
• Mathematica
• Composability
• Research Institute for Symbolic Computation
• Service-oriented architecture
• Maple
• Software
• Mathematical software
• Computing

The Administrative State and the Symbolic (Re-)construction of the Troubled Family

Source URL: www.social-policy.org.uk

POST OFFICE INFORMATION SLIPS (3) REPUBLIC OF CHINA Ai Li-shan This series of four slips have the text in black and the post office logo and shaking hands in dark red. The shaking hands is symbolic of the cooperation bet

Source URL: www.chinafilatelie.nl

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions Serdar Erbatur1 , Santiago Escobar2 , Deepak Kapur3 , Zhiqiang Liu4 , Christopher Lynch4 , Catherine Meadows5 , Jos´e Meseguer6 , Paliath Nar

Source URL: csf2012.seas.harvard.edu

• Unification
• Irreducibility
• Universal algebra
• Science
• Philosophy
• Artificial intelligence
• Automated theorem proving
• Cognitive science
• Protocol analysis

Sage Reference Manual: Symbolic Calculus Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org