LIP6 - PDFSEARCH.IO - Document Search Engine

LIP6
Results: 384

#	Item
261	Faults in Linux: Ten Years Later Nicolas Palix ∗ DIKU, University of Copenhagen Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:28 Linux Computing platforms Linux kernel Stat Source lines of code Fault Kernel Ring Ext4 Computing Software Computer architecture
262	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Mads Chr. Olesen1 , Ren´e Rydhof Hansen1 , Julia L. Lawall2 , Nicolas Palix2 1 rrh,, http://www.cs Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:19 Data types Primitive types C programming language Coccinelle Code refactoring Software bugs Pointer C OCaml Software engineering Computing Computer programming
263	Automatic Generation of Network Protocol Gateways Y´erom-David Bromberg1 , Laurent R´eveill`ere1 , Julia L. Lawall2 , and Gilles Muller3 1 Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:08 Videotelephony Session Initiation Protocol Universal Plug and Play Real Time Streaming Protocol Simple Mail Transfer Protocol SIMPLE IP Multimedia Subsystem Message Session Relay Protocol Computing Technology Computer-mediated communication
264	WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen, Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:56 Data types Coccinelle Code refactoring Null Pointer Software bug C Python Application programming interface Computing Software engineering Computer programming
265	How Often do Experts Make Mistakes? Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:26 Cross-platform software Memory management Linux Linux kernel C Operating system Pointer Memory leak Application programming interface Computing Computer programming Software
266	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation Gilles Muller Julia L. Lawall Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:03 System software Process Concurrent computing Real-time computing Planning Scheduling Linux kernel Thread Kernel Scheduling algorithms Computing Computer architecture
267	PDF Document Add to Reading List Source URL: www-poleia.lip6.fr - Date: 1997-11-06 11:45:07
268	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: pagesperso-systeme.lip6.fr Language: French - Date: 2011-12-17 11:25:19
269	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: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:03 Computing Telephony Session Initiation Protocol Call Control eXtensible Markup Language Java APIs for Integrated Networks JSLEE IP Multimedia Subsystem Videotelephony Electronic engineering Electronics
270	Formal Methods Meet Domain Speciﬁc Languages Jean-Paul Bodeveix1 , Mamoun Filali1 , Julia Lawall2 , and Gilles Muller3 1 3 Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:04 Process Operations research Planning Process state Real-time operating system Blocking Computing Concurrent computing Scheduling

UPDATE