NEOSYNTEZ is an EDMS (Engineering Data Management System) tool for reducing the complexity of understanding operations at industrial and civil construction facilities. Our software stores, accesses, and analyses data dur

Source URL: www.neolant.com

Multi-Stage Construction of a Global Static Analyzer (in G LOBAL G CC project) Basile Starynkevitch CEA LIST (Software Reliability Lab.)

Source URL: www.starynkevitch.net

Automatic Performance Model Construction for the Fast Software Exploration of New Hardware Designs John Cavazos, Christophe Dubach, Felix Agakov, Edwin Bonilla, Michael F.P. O’Boyle Member of HiPEAC

Source URL: homepages.inf.ed.ac.uk

Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations Kyle Headley Matthew A. Hammer

Source URL: conf.researchr.org

Fazendas de café brasileiras: construção de uma taxonomia no software memória virtual (MV) Brazilian coffee farm: construction of a taxonomy for Virtual Memory software. Luciana de Souza Gracioso (1), Maria da Graç

Source URL: www.iskoiberico.org

WHAT IS PROCORE? Procore provides cloud-based construction management software to over half of a million registered users. Procore offers a secure management platform for all types of construction projects including ind

Source URL: procore.com

Building Information Modelling Case study: Implementing integrated construction design Building Information Modelling (BIM) uses software to create a model of a building and is designed to make an integrated and collabor

Source URL: www.gcu.ac.uk

Accurate prediction of the behavior of multithreaded applications in shared caches

Source URL: www.des.udc.es

• Computer programming
• Software engineering
• Computing
• Cache
• Compiler optimizations
• Computer memory
• Parallel computing
• Compiler construction
• Optimizing compiler
• OpenMP
• Locality of reference
• For loop

Towards User-Friendly Projectional Editors Markus Voelter1 , Janet Siegmund2 , Thorsten Berger3 , and Bernd Kolb4 1 2 3

Source URL: mbeddr.com

• Computing
• Software
• Formal languages
• Compiler construction
• Language workbench
• Markup languages
• Technical communication
• Structure editor
• Syntax
• JetBrains MPS
• Parsing
• Abstract syntax tree

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification