LIP6

Results: 384



#Item
251Control flow / Exception handling / Error code / Python / Resource Acquisition Is Initialization / C / Kernel / Linux kernel / Ioctl / Computing / Software engineering / Computer programming

Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2013-12-21 16:12:48
252Procedural programming languages / Concurrency control / Linux / Linux kernel / Kernel / Exception handling / Ioctl / Ring / C / Computing / Software / Computer architecture

Finding Resource-Release Omission Faults in Linux Suman Saha Julia Lawall Gilles Muller

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2011-12-17 11:26:11
253Linux / Linux kernel / HAL / Udev / Coccinelle / Operating system / Device driver / Stat / Application programming interface / Software / Computing / System software

Enforcing the Use of API Functions in Linux Code Julia L. Lawall DIKU, University of Copenhagen Denmark

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2011-12-17 11:25:26
254Mathematics / Static single assignment form / Golden ratio / Applied mathematics / Philosophy of mathematics / Linear temporal logic / Temporal logic / Logic in computer science / Computation tree logic

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2011-12-17 11:26:12
255Technology / Session Initiation Protocol / IP Multimedia Subsystem / SIMPLE / Voice over IP / Videotelephony / Electronic engineering

A Stepwise Approach to Developing Languages for SIP Telephony Service Creation Nicolas Palix Charles Consel Laurent Réveillère INRIA / LaBRI / ENSEIRB

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2011-12-17 11:26:04
256Tf*idf / Vector space model / Latent semantic indexing / Software bug / Cosine similarity / Bug tracking system / Genetic algorithm / TeX / IDF / Information science / Information retrieval / Science

2014 IEEE International Conference on Software Maintenance and Evolution Compositional Vector Space Models for Improved Bug Localization 1

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2014-11-21 12:16:48
257

PDF Document

Add to Reading List

Source URL: www-poleia.lip6.fr

- Date: 1996-10-09 11:07:35
    258Semantic similarity / WordNet / Word-sense disambiguation / Lexical database / Natural language processing / Computational linguistics / Linguistics / Science

    Automated Construction of a Software-Specific Word Similarity Database Yuan Tian1 , David Lo1 , and Julia Lawall2 1

    Add to Reading List

    Source URL: pagesperso-systeme.lip6.fr

    Language: English - Date: 2014-01-18 11:24:43
    259Unix / Linux / Ioctl / Computing platforms / Linux kernel / Device driver / Kernel / Operating system / I²C / Computing / Software / Computer architecture

    Tarantula: Killing Driver Bugs Before They Hatch Julia L. Lawall DIKU, University of Copenhagen 2100 Copenhagen Ø, Denmark

    Add to Reading List

    Source URL: pagesperso-systeme.lip6.fr

    Language: English - Date: 2011-12-17 11:25:25
    260Process / Operations research / Planning / Process state / Modularity / Kernel / Blocking / Aspect-oriented software development / Real-time computing / Computing / Scheduling / Concurrent computing

    Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language Julia L. Lawall,1 Herv´e Duchesne,2 Gilles Muller,2 Anne-Fran¸coise Le Meur3 1 DIKU, University of Copenhagen, Denmark

    Add to Reading List

    Source URL: pagesperso-systeme.lip6.fr

    Language: English - Date: 2011-12-17 11:25:21
    UPDATE