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

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

Respec: Efficient Online Multiprocessor Replay via Speculation and External DeterminismLEE, Dongyoon; WESTER, Benjamin; VEERARAGHAVAN, Kaushik et al.ACM SIGPLAN notices. 2010, Vol 45, Num 3, pp 77-89, issn 1523-2867, 13 p.Conference Paper

Server virtualization in autonomic management of heterogeneous workloads : System Work at IBM ResearchSTEINDER, Malgorzata; WHALLEY, Ian; CHESS, David et al.Operating systems review. 2008, Vol 42, Num 1, pp 94-95, issn 0163-5980, 2 p.Article

Modeling and simulation of software architecture in discrete event system specification for quality evaluationBOGADO, Verónica; GONNET, Silvio; LEONE, Horacio et al.Simulation (San Diego, Calif.). 2014, Vol 90, Num 3, pp 290-319, issn 0037-5497, 30 p.Article

Compilation pour cibles hétérogènes: Le cas Terapix = Compilation for heterogenous targets. The Terapix caseGUELTON, Serge; IRIGOIN, François; KERYELL, Ronan et al.TSI. Technique et science informatiques. 2013, Vol 32, Num 6, issn 0752-4072, 669, 699-723 [26 p.]Article

Concurrent usability evaluation and design of software component: a digraph and matrix approachUPADHYAY, N; DESHPANDE, B. M; AGRAWAL, V. P et al.IET software (Print). 2011, Vol 5, Num 2, pp 188-200, issn 1751-8806, 13 p.Article

Copperhead: Compiling an Embedded Data Parallel LanguageCATANZARO, Bryan; GARLAND, Michael; KEUTZER, Kurt et al.ACM SIGPLAN notices. 2011, Vol 46, Num 8, pp 47-56, issn 1523-2867, 10 p.Conference Paper

Kismet: Parallel Speedup Estimates for Serial ProgramsJEON, Donghwan; GARCIA, Saturnino; LOUIE, Chris et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 519-536, issn 1523-2867, 18 p.Conference Paper

Synthesizing Concurrent Schedulers for Irregular AlgorithmsNGUYEN, Donald; PINGALI, Keshav.ACM SIGPLAN notices. 2011, Vol 46, Num 3, pp 333-344, issn 1523-2867, 12 p.Conference Paper

A Context-free Markup Language for Semi-structured TextQIAN XI; WALKER, David.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 221-232, issn 1523-2867, 12 p.Conference Paper

The Kepler Science Operations Center pipeline framework extensionsKLAUS, Todd C; COTE, Miles T; JENKINS, Jon M et al.Proceedings of SPIE, the International Society for Optical Engineering. 2010, Vol 7740, issn 0277-786X, isbn 978-0-8194-8230-3 0-8194-8230-7, 2Vol, 774018.1-774018.11, 2Conference Paper

Mostly Static Program Partitioning of Binary ExecutablesYARDIMCI, Efe; FRANZ, Michael.ACM transactions on programming languages and systems. 2009, Vol 31, Num 5, issn 0164-0925, 17.1-17.46Article

The verified software repository : a step towards the verifying compilerBICARREGUI, J. C; HOARE, C. A. R; WOODCOCK, J. C. P et al.Formal aspects of computing. 2006, Vol 18, Num 2, pp 143-151, issn 0934-5043, 9 p.Article