Délégation GPU des perceptions agents: intégration itérative et modulaire du GPGPU dans les simulations multi-agents: Application sur la plate-forme TurtleKit 3 = GPU delegation of agent perceptions: A modular and iterative approach for using GPGPU in multi-agent based simulations. The TurtleKit 3 platform case studyMICHEL, Fabien.Revue d'intelligence artificielle. 2014, Vol 28, Num 4, pp 485-510, issn 0992-499X, 26 p.Conference Paper

A Data-Centric Approach to SynchronizationDOLBY, Julian; HAMMER, Christian; MARINO, Daniel et al.ACM transactions on programming languages and systems. 2012, Vol 34, Num 1, issn 0164-0925, 4.1-4.48Article

Improved Device Driver Reliability Through Hardware Verification ReuseRYZHYK, Leonid; KEYS, John; MIRLA, Balachandra et al.ACM SIGPLAN notices. 2011, Vol 46, Num 3, pp 133-144, issn 1523-2867, 12 p.Conference Paper

WYSINWYX: What You See Is Not What You eXecuteBALAKRISHNAN, Gogul; REPS, Thomas.ACM transactions on programming languages and systems. 2010, Vol 32, Num 6, issn 0164-0925, 1749612.1-1749612.84Article

Tools for scalable parallel program analysis: Vampir NG, MARMOT, and DeWizBRUNST, Holger; KRANZLMÜLLER, Dieter; MÜLLER, Matthias S et al.International journal of computational science and engineering (Print). 2009, Vol 4, Num 3, pp 149-161, issn 1742-7185, 13 p.Article

UML based performance modeling of distributed systemsMIRANDOLA, Raffaela; CORTELLESSA, Vittorio.Lecture notes in computer science. 2000, pp 178-193, issn 0302-9743, isbn 3-540-41133-XConference Paper

Exécution répartie de programmes ESTEREL = Distributed execution of ESTEREL programsGherardi, Guido.1992, 29 p.Report

JIT Compilation Policy for Modern MachinesKULKARNI, Prasad A.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 773-787, issn 1523-2867, 15 p.Conference Paper

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating SystemYANG, Jean; HAWBLITZEL, Chris.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 99-110, issn 1523-2867, 12 p.Conference Paper

Examples of monitoring and program analysis activities with DeWizKOBLER, Rene; AICHINGER, Bernhard; KRANZLMÜLLER, Dieter et al.International journal of computational science and engineering (Print). 2009, Vol 4, Num 3, pp 162-170, issn 1742-7185, 9 p.Article

Information sharing based on shaped object modelYOKOTA, M.NEC research & development. 1996, Vol 37, Num 4, pp 517-527, issn 0547-051XArticle

Tutorial on message sequence chartsRUDOLPH, E; GRAUBMANN, P; GRABOWSKI, J et al.Computer networks and ISDN systems. 1996, Vol 28, Num 12, pp 1629-1641, issn 0169-7552Article

Methodology for real time systemsREED, R.Computer networks and ISDN systems. 1996, Vol 28, Num 12, pp 1685-1701, issn 0169-7552Article

Where do operations come from ? A multiparadigm specification techniqueZAVE, P; JACKSON, M.IEEE transactions on software engineering. 1996, Vol 22, Num 7, pp 508-528, issn 0098-5589Conference Paper

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating SystemYANG, Jean; HAWBLITZEL, Chris.Communications of the ACM. 2011, Vol 54, Num 12, pp 123-131, issn 0001-0782, 9 p.Article

Simulating adaptive service-oriented software systemsMUQSITH, Mohammed A; SARJOUGHIAN, Hessam S; DAZHI HUANG et al.Simulation (San Diego, Calif.). 2011, Vol 87, Num 11, pp 915-931, issn 0037-5497, 17 p.Article

Implicit Invocation Meets Safe, Implicit ConcurrencyYUHENG LONG; MOONEY, Sean L; SONDAG, Tyler et al.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 63-72, issn 1523-2867, 10 p.Conference Paper

Exploiting Bit and GPU-Thread Level Parallelism in Construction of Generalized Minimum Aberration DesignsCHONGLEI MEI; RUIPENG LI; HONG ZHOU et al.Parallel and distributed processing techniques and applications. International conferenceWorldComp'2010. 2010, pp 235-240, isbn 1-60132-156-2 1-60132-157-0 1-60132-158-9, 6 p.Conference Paper

Proving thread terminationCOOK, Byron; PODELSKI, Andreas; RYBALCHENKO, Andrey et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 320-330, issn 1523-2867, 11 p.Conference Paper

BOX: Un modèle et un langage à objets pour la programmation parallèle et distribuée = BOX: A model and an object-oriented language for distributed and concurrent programmingGransart, Christophe; Geib, J.-M.1995, 218 p.Thesis

Processor power estimation techniques: a surveySULTAN, Hameedah; ANANTHANARAYANAN, Gayathri; SARANGI, Smruti R et al.International journal of high performance systems architecture (Print). 2014, Vol 5, Num 2, pp 93-114, issn 1751-6528, 22 p.Article

Configuration Coverage in the Analysis of Large-Scale System SoftwareTARTLER, Reinhard; LOHMANN, Daniel; DIETRICH, Christian et al.Operating systems review. 2011, Vol 45, Num 3, pp 10-14, issn 0163-5980, 5 p.Conference Paper

Variability-Aware Parsing in the Presence of Lexical Macros and Conditional CompilationKÄSTNER, Christian; GIARRUSSO, Paolo G; RENDEL, Tillmann et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 805-824, issn 1523-2867, 20 p.Conference Paper

ParaLog: Enabling and Accelerating Online Parallel Monitoring of Multithreaded ApplicationsVLACHOS, Evangelos; GOODSTEIN, Michelle L; KOZUCH, Michael A et al.ACM SIGPLAN notices. 2010, Vol 45, Num 3, pp 271-283, issn 1523-2867, 13 p.Conference Paper

Design, Realization and Evaluation of a Component-based, Compositional Network Simulation EnvironmentTYAN, Hung-ying; SOBEIH, Ahmed; HOU, Jennifer C et al.Simulation (San Diego, Calif.). 2009, Vol 85, Num 3, pp 159-181, issn 0037-5497, 23 p.Article