LIP6 - PDFSEARCH.IO - Document Search Engine

LIP6
Results: 384

#	Item
141	Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2013-12-21 16:12:48
142	Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:25:22
143	Syst`emes Bilin´eaires et Vari´et´es D´eterminantielles : Algorithmes, Complexit´e et Applications. Pierre-Jean Spaenlehauer Travail commun avec Jean-Charles Faug`ere et Mohab Safey El Din UPMC, Univ Paris 06, LIP6 Add to Reading List Source URL: jncf.math.cnrs.fr Language: French - Date: 2010-03-17 13:14:41
144	Language Technology for Internet-Telephony Service Creation Laurent Burgy∗ Charles Consel∗ Fabien Latry∗ Julia Lawall† Nicolas Palix∗ Laurent Réveillère∗ ∗ † Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:26:03
145	Vérification automatique de propriétés d’ordonnanceurs Bossa J.-P. Bodeveix, M. Filali IRIT Université Paul Sabatier 118 route de Narbonne FToulouse cedex Add to Reading List Source URL: pages.lip6.fr Language: French - Date: 2011-12-17 11:25:19
146	Faults in Linux: Ten Years Later Nicolas Palix ∗ DIKU, University of Copenhagen Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:25:28
147	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation Gilles Muller Obasco Group, EMN-INRIA, LINANantes Cedex 3, France Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:26:27
148	Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location Yoosef Abushark ∗ Add to Reading List Source URL: aamas2014.lip6.fr Language: English - Date: 2014-04-28 03:36:49
149	3L: Learning Linux Logging (Extended Abstract for BENEVOL’15) Peter Senna Tschudin Julia Lawall Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2015-12-08 10:02:27
150	G-DUR A Middleware for Assembling, Analyzing, and Improving Transactional Protocols Masoud Saeida Ardekani, INRIA & UPMC-Lip6 Pierre Sutra, Université de Neuchâtel Add to Reading List Source URL: www.masoud.io Language: English* - Date: 2015-12-01 10:14:47

UPDATE