c Copyright 2014 Benjamin P. Wood Software and Hardware Support for Data-Race Exceptions

Source URL: homes.cs.washington.edu

• Concurrency
• Communication
• Edsger W. Dijkstra
• Synchronization
• Race condition
• Computer programming
• Parallel computing
• Computing
• Electronic engineering

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy JUNE 2017 VOLUME 75, NUMBER 6

Source URL: www.mississippi.edu

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy APRIL 2017 VOLUME 75, NUMBER 4

Source URL: www.mississippi.edu

AC P M | AC A R R VISION Strengthen the retirement income readiness of Canadians and their families BY PROVIDING RELEVANT INFORMATION SO THAT THEY CAN:

Source URL: retirementliteracy.acpm.com

Knots, three-manifolds and instantons P. B. Kronheimer and T. S. Mrowka Low-dimensional topology is the study of manifolds and cell complexes in dimensions four and below. Input from geometry and analysis has been centra

Source URL: eta.impa.br

• Topology
• Mathematics
• Theoretical physics
• Algebraic topology
• Symplectic topology
• Homology theory
• Fellows of the Royal Society
• Floer homology
• Orbifold
• Manifold
• Low-dimensional topology
• Fundamental group

P .I .C . M . – 2018 Rio de Janeiro, Vol–1234)

Source URL: eta.impa.br

• Geometry
• Group theory
• Mathematics
• Infinite group theory
• Topological groups
• 3-manifolds
• Profinite group
• Hyperbolic geometry
• Kleinian groups
• Residually finite group
• Commensurability
• Differentiable manifold

SMART SENSOR AND PRODUCTION SYSTEMS FOR INDUSTRIAL IOT Ein Trail im Smart Systems Hub aus dem Bereich Industrial IoT Dr. Jan Reimann (Fraunhofer IWU), Dr. Martina Vogel (Fraunhofer ENAS), Björn Schuster (N+P) Life-ID

Source URL: www.smart-systems-hub.de

Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Computing
• Functional languages
• Scheme
• Source code
• Object-oriented programming languages
• Hygienic macro
• Racket features
• Macro
• Racket
• Syntax