GForge - PDFSEARCH.IO - Document Search Engine

GForge
Results: 481

#	Item
131	Introduction to Smalltalk - Chapter 12 - Developing user interfaces  Ivan TomekChapter 12 - Developing user interfaces Overview The group of classes supporting graphical user interfaces (GUIs) is one of the m Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software System software Graphical user interfaces User interface techniques VisualWorks Smalltalk User interface Mouse button Virtual desktop Button Active window Window manager
132	SIMGRID AS A GRID/CLOUD SIMULATOR ___Want to do some experiments on unavailable large-scale production platforms? _________Your advisor asked you to do a scheduling project? ______Want to assess the performance of your l Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-03-05 04:19:39 Computing Concurrent computing Cloud infrastructure Parallel computing Distributed computing architecture Computer performance Cloud computing Simulation MapReduce Latency
133	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
134	Polyphemus Users’ Guide Version 1 for Polyphemus 0.2 CEREA – ENPC / EDF R&D Denis Qu´ Add to Reading List Source URL: gforge.inria.fr Language: English Branchiopoda Polyphemus Atmospheric dispersion modeling Environmental engineering Polyphem Configuration file Database
135	Tracing and Visualization 101 Getting Started with Tracing/Visualization in SimGrid Da SimGrid Team June 10, 2015 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2016-04-06 06:35:42 Debugging Infographics Computational science Computer graphics Tracing Simulation Visualization
136	Polyphemus 1.4 User’s Guide ENPC – INRIA – EDF R&D Meryem Ahmed de Biasi, Vivien Mallet, Pierre Tran, Ir` Add to Reading List Source URL: gforge.inria.fr Language: English Air pollution Atmospheric dispersion modeling Environmental engineering Climate modeling Preprocessor Configuration file Data file Particulates
137	SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Formal methods Logic in computer science Model checking Theoretical computer science Formal verification Safety Liveness Device driver synthesis and verification
138	Using SimGrid 101 Getting Started to Use SimGrid Da SimGrid Team June 3, 2014 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2016-07-04 11:48:51 Cross-platform software Object-oriented programming languages Scripting languages Lua Pontifical Catholic University of Rio de Janeiro D Java Git Ruby SimGrid
139	Polyphemus 1.9 User’s Guide ENPC – INRIA – EDF R&D Meryem Ahmed de Biasi, Vivien Mallet, Pierre Tran, Ir` Add to Reading List Source URL: gforge.inria.fr Language: English Air pollution Atmospheric dispersion modeling Environmental engineering Climate modeling Data file Configuration file Particulates Preprocessor
140	SIMGRID INTERNALS __________Want to know what is under the hood? _____Feels like a future developer? _______________Hey, it’s open source! ;) Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-03-05 04:19:39 Computer networking Modeling and simulation Network simulation Telecommunications engineering SimGrid

UPDATE